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, GSIGNAL_CANCELLED, $GLIB.G_CALLBACK(foo), p) } ``` I get: ``` **SHOWTYPE[UP]**(/data/devel/cacaoweb/folders/libfm/base/DATS/folders.dats: 664(line=31, offs=23) -- 665(line=31, offs=24)): S2Ecst(gpointer): S2RTbas(S2RTBASimp(0; type)) /data/devel/cacaoweb/folders/libfm/base/DATS/folders.dats: 755(line=32, offs=90) -- 756(line=32, offs=91): error(3): the dynamic expression cannot be assigned the type [S2Ecst(gpointer)]. /data/devel/cacaoweb/folders/libfm/base/DATS/folders.dats: 755(line=32, offs=90) -- 756(line=32, offs=91): error(3): mismatch of static terms (tyleq): The actual term is: S2Ecst(gpointer) The needed term is: S2Ecst(gpointer) ``` -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAHjn2KxgmRqw9vsZKdTAh6ygegsEKb8mQhPgN9zXepGAR8QJOg%40mail.gmail.com.
