On Tue, Oct 23, 2018 at 10:05 AM Brandon Barker
<brandon.bar...@gmail.com> wrote:
> Though I imagine for more "complicated" scripts typechecking/constraint
> solving may become the predominant portion of time spent among compiling and
> running code (at least in some cases). Though in this case, it probably is
> less likely to qualify as a script ;-).
>From a thread that Julian linked to, it looks like constraint checking
can be turned off for scripts:
-------------8<--------------
In case one wants to use ATS as a scripting language,
please include the following comment in the file containing
scripting code written in ATS:
(*
##myatsccdef=\
patsopt --constraint-ignore --dynamic $1 | \
tcc -run -DATS_MEMALLOC_LIBC -I${PATSHOME} -I${PATSHOME}/ccomp/runtime
- $arglst(2)
*)
-------------8<--------------
I'd imagine leaving it on when writing it, but deploying it with
turned off for speed.
--
http://bluishcoder.co.nz
--
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-users+unsubscr...@googlegroups.com.
To post to this group, send email to ats-lang-users@googlegroups.com.
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/CALn1vHEaiDFfnSeNELSLWxamXqsTzBTJ0Cx4YEKtuPNaoANOCA%40mail.gmail.com.
