Re: Solving compiler error

2020-08-31 Thread Hongwei Xi
*'#include' means copy/paste. It is not meant to be used* *in the following manner:* *```glib-ext.sats* *#include "contrib/glib/SATS/glib.sats"#include "contrib/glib/SATS/glib-object.sats" (* staloads glib.sats *)* *```* *You can create glib-ext.hats containing the following lines:*

Re: Solving compiler error

2020-08-31 Thread Dambaev Alexander
*Kiwamu: *wow, thanks for your trust, but after my quick view of your wiki page http://jats-ug.metasepi.org/doc/ATS2/ATS_Foundations/showtype.html and at the moment, I don't think, that I can add much more to it *Hongwei: thanks, you are right. glib's bindings provide 2

Re: Solving compiler error

2020-08-30 Thread Hongwei Xi
This means that gpointer is declared more than once in your code. You need to check various 'staload' declarations in your code. On Sun, Aug 30, 2020 at 9:47 PM Dambaev Alexander wrote: > Hi > Usually, I am able to parse and solve compiler errors, but now I need help: > > ``` > macdef

Re: Solving compiler error

2020-08-30 Thread Kiwamu Okabe
Dear Dambaev, On Mon, Aug 31, 2020 at 10:47 AM Dambaev Alexander wrote: > Usually, I am able to parse and solve compiler errors, but now I need help: I think you are the best person to write Wiki page about $showtype: > https://github.com/githwxi/ATS-Postiats/wiki > * Debug: with assertloc,

Solving compiler error

2020-08-30 Thread Dambaev Alexander
Hi Usually, I am able to parse and solve compiler errors, but now I need help: ``` macdef GSIGNAL_CANCELLED = $extval( $GLIB.gsignal, "cancelled") fn foo( p: $GLIB.gpointer): void = () val p = $GLIB.gpointer the_null_ptr prval _ = $showtype p val _ = $GLIB.g_signal_connect( cancellable,