Help with Templates, cannot find missing implementation somewhere...

d4v3y_5c0n3s

unread,

Nov 30, 2021, 10:52:47 AM11/30/21

to ats-lang-users

Okay, so I've been struggling with my use of templates for a while now, and I'm making this post to get some more eyes on the issue. I've been getting really frustrated, because nothing I've tried seems to work, and I have no way to understand what is going wrong whatsoever besides becoming familiar with compiler internals (which could take who knows how long to learn.)

Here's my code:

datavtype BUCKET (a:vt@ype) =
| bucket_empty of ()
| bucket_filled of (Strptr1, a, BUCKET(a))

vtypedef bucket(a:vt@ype) = BUCKET(a)

sortdef dsz = {s:int | s > 0}

vtypedef dict(a:vt@ype, n:int) =
@{
    size=int n,
    buckets=arrayptr(bucket(a), n)
}

extern fn{a:vt@ype} dict_new {s:dsz} ( int s ) : dict(a, s)
extern fn{a:t@ype} dict_delete {s:dsz} ( d: dict(a, s) ) : void
extern fn{a:vt@ype} dict_delete_lin {s:dsz} ( d: dict(a, s) ) : void

extern fun{a:vt@ype} bucket_delete_recursive ( b: bucket(a) ) : void
extern fn{a:vt@ype} bucket_item$delete ( x: a ): void

implement{a} dict_new {s} ( size ) = let
    val size_st = size_of_int(size)
    val bucket_arr = arrayptr_make_uninitized<bucket(a)>(size_st)
    implmnt array_initize$init<bucket(a)> (i, x) = x := bucket_empty()
    val () = arrayptr_initize<bucket(a)>(bucket_arr, size_st)
in
    @{size=size, buckets=bucket_arr}:dict(a, s)
end

implmnt{a} dict_delete ( d ) = let
implmnt(a2:t@ype) bucket_item$delete<a2> ( x ) = ()
in
dict_delete_lin<a>(d)
end

implmnt{a} bucket_delete_recursive ( b ) =
    case+ b of
    | ~bucket_empty() => ()
    | ~bucket_filled(str, x, next_bucket) => let
        val () = strptr_free(str)
        val () = bucket_item$delete<a>(x)
    in
        bucket_delete_recursive<a>(next_bucket)
    end

implmnt{a} dict_delete_lin ( d ) = let
implmnt array_uninitize$clear<bucket(a)> (i, x) = bucket_delete_recursive<a>(x)
in
arrayptr_freelin(d.buckets, size_of_int(d.size))
end

implmnt main0 () = let
var d = dict_new<int>(13)
in
dict_delete(d)
end

Here's the output:

$ patscc --gline dict_test.dats
In file included from dict_test_dats.c:15:
/home/tmj90/Goldelish-Engine/source/data/dict_test.dats: In function ‘_057_home_057_tmj90_057_Goldelish_055_Engine_057_source_057_data_057_dict_test_056_dats__dict_new__0__1’:
/home/tmj90/Goldelish-Engine/source/data/dict_test.dats:24:21: error: ‘PMVtmpltcstmat’ undeclared (first use in this function)
   24 |     val bucket_arr = arrayptr_make_uninitized<bucket(a)>(size_st)
      |                     ^~~~~~~~~~~~~~
/usr/local/lib/ats2-postiats-0.4.2/ccomp/runtime/pats_ccomp_instrset.h:276:37: note: in definition of macro ‘ATSINSmove’
276 | #define ATSINSmove(tmp, val) (tmp = val)
      |                                     ^~~
/home/tmj90/Goldelish-Engine/source/data/dict_test.dats:24:21: note: each undeclared identifier is reported only once for each function it appears in
   24 |     val bucket_arr = arrayptr_make_uninitized<bucket(a)>(size_st)
      |                     ^~~~~~~~~~~~~~
/usr/local/lib/ats2-postiats-0.4.2/ccomp/runtime/pats_ccomp_instrset.h:276:37: note: in definition of macro ‘ATSINSmove’
276 | #define ATSINSmove(tmp, val) (tmp = val)
      |                                     ^~~
/home/tmj90/Goldelish-Engine/source/data/dict_test.dats:24:39: error: ‘arrayptr_make_uninitized’ undeclared (first use in this function)
   24 |     val bucket_arr = arrayptr_make_uninitized<bucket(a)>(size_st)
      |                                       ^~~~~~~~~~~~~~~~~~~~~~~~
/usr/local/lib/ats2-postiats-0.4.2/ccomp/runtime/pats_ccomp_instrset.h:276:37: note: in definition of macro ‘ATSINSmove’
276 | #define ATSINSmove(tmp, val) (tmp = val)
      |                                     ^~~
/home/tmj90/Goldelish-Engine/source/data/dict_test.dats:24:64: warning: implicit declaration of function ‘S2Eapp’ [-Wimplicit-function-declaration]
   24 |     val bucket_arr = arrayptr_make_uninitized<bucket(a)>(size_st)
      |                                                                ^~
/usr/local/lib/ats2-postiats-0.4.2/ccomp/runtime/pats_ccomp_instrset.h:276:37: note: in definition of macro ‘ATSINSmove’
276 | #define ATSINSmove(tmp, val) (tmp = val)
      |                                     ^~~
/home/tmj90/Goldelish-Engine/source/data/dict_test.dats:24:71: warning: implicit declaration of function ‘S2Ecst’ [-Wimplicit-function-declaration]
   24 |     val bucket_arr = arrayptr_make_uninitized<bucket(a)>(size_st)
      |                                                                       ^
/usr/local/lib/ats2-postiats-0.4.2/ccomp/runtime/pats_ccomp_instrset.h:276:37: note: in definition of macro ‘ATSINSmove’
276 | #define ATSINSmove(tmp, val) (tmp = val)
      |                                     ^~~
/home/tmj90/Goldelish-Engine/source/data/dict_test.dats:24:78: error: ‘BUCKET’ undeclared (first use in this function)
   24 |     val bucket_arr = arrayptr_make_uninitized<bucket(a)>(size_st)
      |                                                                              ^
/usr/local/lib/ats2-postiats-0.4.2/ccomp/runtime/pats_ccomp_instrset.h:276:37: note: in definition of macro ‘ATSINSmove’
276 | #define ATSINSmove(tmp, val) (tmp = val)
      |                                     ^~~
/home/tmj90/Goldelish-Engine/source/data/dict_test.dats:24:85: error: expected ‘)’ before ‘;’ token
   24 |     val bucket_arr = arrayptr_make_uninitized<bucket(a)>(size_st)
      |                                                                                     ^
/usr/local/lib/ats2-postiats-0.4.2/ccomp/runtime/pats_ccomp_instrset.h:276:37: note: in definition of macro ‘ATSINSmove’
276 | #define ATSINSmove(tmp, val) (tmp = val)
      |                                     ^~~
/home/tmj90/Goldelish-Engine/source/data/dict_test.dats:24:141: error: expected expression before ‘)’ token
   24 |     val bucket_arr = arrayptr_make_uninitized<bucket(a)>(size_st)
      |                                                                                                                                             ^
/usr/local/lib/ats2-postiats-0.4.2/ccomp/runtime/pats_ccomp_instrset.h:276:37: note: in definition of macro ‘ATSINSmove’
276 | #define ATSINSmove(tmp, val) (tmp = val)
      |                                     ^~~
/home/tmj90/Goldelish-Engine/source/data/dict_test.dats:26:44: error: ‘arrayptr_initize’ undeclared (first use in this function)
   26 |     val () = arrayptr_initize<bucket(a)>(bucket_arr, size_st)
      |                                            ^~~~~~~~~~~~~~~~
/usr/local/lib/ats2-postiats-0.4.2/ccomp/runtime/pats_ccomp_instrset.h:284:39: note: in definition of macro ‘ATSINSmove_void’
284 | #define ATSINSmove_void(tmp, command) command
      |                                       ^~~~~~~
/home/tmj90/Goldelish-Engine/source/data/dict_test.dats:26:82: error: expected ‘)’ before ‘;’ token
   26 |     val () = arrayptr_initize<bucket(a)>(bucket_arr, size_st)
      |                                                                                  ^
/usr/local/lib/ats2-postiats-0.4.2/ccomp/runtime/pats_ccomp_instrset.h:284:39: note: in definition of macro ‘ATSINSmove_void’
284 | #define ATSINSmove_void(tmp, command) command
      |                                       ^~~~~~~
/home/tmj90/Goldelish-Engine/source/data/dict_test.dats:26:138: error: expected expression before ‘)’ token
   26 |     val () = arrayptr_initize<bucket(a)>(bucket_arr, size_st)
      |                                                                                                                                          ^
/usr/local/lib/ats2-postiats-0.4.2/ccomp/runtime/pats_ccomp_instrset.h:284:39: note: in definition of macro ‘ATSINSmove_void’
284 | #define ATSINSmove_void(tmp, command) command
      |                                       ^~~~~~~
/home/tmj90/Goldelish-Engine/source/data/dict_test.dats: In function ‘_057_home_057_tmj90_057_Goldelish_055_Engine_057_source_057_data_057_dict_test_056_dats__dict_delete_lin__5__1’:
/home/tmj90/Goldelish-Engine/source/data/dict_test.dats:50:30: error: ‘PMVtmpltcstmat’ undeclared (first use in this function)
   50 |   arrayptr_freelin(d.buckets, size_of_int(d.size))
      |                              ^~~~~~~~~~~~~~
/usr/local/lib/ats2-postiats-0.4.2/ccomp/runtime/pats_ccomp_instrset.h:284:39: note: in definition of macro ‘ATSINSmove_void’
284 | #define ATSINSmove_void(tmp, command) command
      |                                       ^~~~~~~
/home/tmj90/Goldelish-Engine/source/data/dict_test.dats:50:48: error: ‘arrayptr_freelin’ undeclared (first use in this function)
   50 |   arrayptr_freelin(d.buckets, size_of_int(d.size))
      |                                                ^~~
/usr/local/lib/ats2-postiats-0.4.2/ccomp/runtime/pats_ccomp_instrset.h:284:39: note: in definition of macro ‘ATSINSmove_void’
284 | #define ATSINSmove_void(tmp, command) command
      |                                       ^~~~~~~
/home/tmj90/Goldelish-Engine/source/data/dict_test.dats:50:79: error: ‘BUCKET’ undeclared (first use in this function)
   50 |   arrayptr_freelin(d.buckets, size_of_int(d.size))
      |                                                                               ^
/usr/local/lib/ats2-postiats-0.4.2/ccomp/runtime/pats_ccomp_instrset.h:284:39: note: in definition of macro ‘ATSINSmove_void’
284 | #define ATSINSmove_void(tmp, command) command
      |                                       ^~~~~~~
/home/tmj90/Goldelish-Engine/source/data/dict_test.dats:50:86: error: expected ‘)’ before ‘;’ token
   50 |   arrayptr_freelin(d.buckets, size_of_int(d.size))
      |                                                                                      ^
/usr/local/lib/ats2-postiats-0.4.2/ccomp/runtime/pats_ccomp_instrset.h:284:39: note: in definition of macro ‘ATSINSmove_void’
284 | #define ATSINSmove_void(tmp, command) command
      |                                       ^~~~~~~
/home/tmj90/Goldelish-Engine/source/data/dict_test.dats:50:142: error: expected expression before ‘)’ token
   50 |   arrayptr_freelin(d.buckets, size_of_int(d.size))
      |                                                                                                                                              ^
/usr/local/lib/ats2-postiats-0.4.2/ccomp/runtime/pats_ccomp_instrset.h:284:39: note: in definition of macro ‘ATSINSmove_void’
284 | #define ATSINSmove_void(tmp, command) command
      |                                       ^~~~~~~

Any help is greatly appreciated, and let me know if you have any questions. Thank you.

Hongwei Xi

unread,

Nov 30, 2021, 11:28:47 AM11/30/21

to ats-lan...@googlegroups.com

I tried your code and it compiled without any issue.

Did you have the following line at the top:

#include "share/atspre_staload.hats"

The error messages you showed indicate that many template implementations were not

available to the compiler (patsopt).

--Hongwei

--
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 ats-lang-user...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/d42e5377-0287-4311-9b39-716235b7a0c3n%40googlegroups.com.

d4v3y_5c0n3s

unread,

Nov 30, 2021, 1:39:39 PM11/30/21

to ats-lang-users

You are right, including " share/atspre_staload.hats" causes the code to compile. However, I'm still having issues. You see, the code I provided I had taken from a static (.sats) and dynamic (.dats) file in order to make it more presentable when asking for help. Your fix only fixes the issue in the single-file version, and when including the external static file it doesn't work. Do you know what might be going wrong? I'll provide the (simplified) contents of each of these files below.

dict.sats:

#include "share/atspre_staload.hats"

datavtype BUCKET (a:vt@ype) =
| bucket_empty of ()
| bucket_filled of (Strptr1, a, BUCKET(a))

vtypedef bucket(a:vt@ype) = BUCKET(a)

fn{a:vt@ype} bucket_item$delete ( x: a ): void

fun{a:vt@ype} bucket_delete_recursive ( b: bucket(a) ) : void

sortdef dsz = {s:int | s > 0}

vtypedef dict(a:vt@ype, n:int) =
@{
size=int n,
buckets=arrayptr(bucket(a), n)
}

fn{a:vt@ype} dict_new {s:dsz} ( int s ) : dict(a, s)

fn{a:t@ype} dict_delete {s:dsz} ( d: dict(a, s) ) : void

fn{a:vt@ype} dict_delete_lin {s:dsz} ( d: dict(a, s) ) : void

dict.dats:

#include "share/atspre_staload.hats"

staload "./dict.sats"

local
in

end

dict_test.dats, where main is:

#include "share/atspre_staload.hats"

staload "./dict.sats"

implmnt main0 () = let
var d = dict_new<int>(13)
in
dict_delete(d)
end

My output:

$ patscc --gline -DATS_MEMALLOC_LIBC dict_test.dats

In file included from dict_test_dats.c:15:

/home/tmj90/Goldelish-Engine/source/data/dict_test.dats: In function ‘mainats_0_void’:
/home/tmj90/Goldelish-Engine/source/data/dict_test.dats:58:21: error: ‘PMVtmpltcstmat’ undeclared (first use in this function)
58 | var d = dict_new<int>(13)
| ^~~~~~~

/usr/local/lib/ats2-postiats-0.4.2/ccomp/runtime/pats_ccomp_instrset.h:276:37: note: in definition of macro ‘ATSINSmove’
276 | #define ATSINSmove(tmp, val) (tmp = val)
| ^~~

/home/tmj90/Goldelish-Engine/source/data/dict_test.dats:58:21: note: each undeclared identifier is reported only once for each function it appears in
58 | var d = dict_new<int>(13)
| ^~~~~~~

/usr/local/lib/ats2-postiats-0.4.2/ccomp/runtime/pats_ccomp_instrset.h:276:37: note: in definition of macro ‘ATSINSmove’
276 | #define ATSINSmove(tmp, val) (tmp = val)
| ^~~

/home/tmj90/Goldelish-Engine/source/data/dict_test.dats:58:39: error: ‘dict_new’ undeclared (first use in this function)
58 | var d = dict_new<int>(13)