atspkg
atspkg copied to clipboard
vmchale
Build tool for ATS.
Hi, I just installed `atspkg` and ats, and tried to build a Hello World program, but I got some errors which I'm pretty sure are from Dhall: $ atspkg run...
This seems like a great effort, thanks! However, I don't quite understand how to use it. Are there any docs or examples, anywhere?
Building `3.4.0.9` from tarball using `cabal v2-build ats-pkg --happy-options='-gcsa' --alex-options='-g'` fails with the following error: ``` [1 of 1] Compiling Development.Shake.C ( src/Development/Shake/C.hs, /atspkg-3.4.0.9/dist-newstyle/build/x86_64-linux/ghc-8.8.3/shake-c-0.4.3.0/opt/build/Development/Shake/C.o ) src/Development/Shake/C.hs:42:1: error: [-Wdodgy-imports, -Werror=dodgy-imports] Module...
Is it possible to use the system compiler if it's already available in `PATH`?
For instance: ```ATS #include "share/atspre_define.hats" #include "share/atspre_staload.hats" val pi: double = 3.14159 fn circleArea (r: double): double = pi * (r * r) fn ringArea (R: double, r: double) =...
Tests for language-ats 17.6.1 are broken in hydra. It seems to me that test failure is legit: ``` Failures: src/Test/Hspec/Dirstream.hs:143:5: 1) pretty-print test/data/wc2.dats expected: Right "Up to date\nstaload \"SATS/wc.sats\"\nstaload \"SATS/memchr.sats\"\nstaload...
I thought I'd try to build polyglot to get a sense of how to use atspkg. There seem to be some character encoding issues. I tried specifying LC_ALL directly but...
`Implementation` is defined as following: ```haskell data Implementation a = Implement { pos :: a -- snip-- , _iExpression :: Either (StaticExpression a) (Expression a) -- ^ Expression (or static...
