Can you share the original error message as well?
ATS's prelude heavy relies on templates, so I guess you sign yourself to a
pain by disabling prelude. For example, you can check how arithmetic
operators are being defined by issuing
```
find <path_to_ats_prelude> -name '*.sats' -exec grep -s -H "overload +" {}
\; | less
```
just as an example:
integer.sats contains:
```
typedef
g1int_add_type
(tk:tk) =
{i,j:int}
(
g1int(tk, i)
, g1int(tk, j)
) -<fun0> g1int(tk, i+j)
//
fun
{tk:tk}
g1int_add : g1int_add_type(tk)
//
overload + with g1int_add of 20
```
so g1int_add is a template function and you are missing implementation of
this function
you might be interested in
https://groups.google.com/g/ats-lang-users/c/uq02R-L16vo/m/aATk3i3qCQAJ?pli=1
as well
--
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/CAHjn2KzcMY7yQNxthXb-hCa2y0-Cq54FUtdT3oz4kYKCZrH5uA%40mail.gmail.com.
