koka-options and koka-editor have a dash in their name which makes them quite unusable in most unix shell environments.
I'd propose the usual naming KOKA_OPTIONS and KOKA_EDITOR.
Id #13 | Release:
| Updated: Jun 11, 2016 at 3:24 PM by lethalman | Created: Jun 11, 2016 at 3:24 PM by lethalman
Running koka -i/absolute/path/to/lib does not work, apparently the first slash gets stripped along with some normalization process.
Id #12 | Release:
| Updated: Jun 11, 2016 at 3:12 PM by lethalman | Created: Jun 11, 2016 at 3:12 PM by lethalman
➜ koka jake
build: koka 0.6.0-dev (debug version)
mkdir -p out/debug/Platform
ghc -c src/Platform/cpp/Platform/cconsole.c -fwarn-incomplete-patterns -io...
ghc -c src/Platform/cpp/Platform/Confi...
Id #11 | Release:
| Updated: Apr 29, 2016 at 7:38 PM by daan | Created: Apr 27, 2016 at 6:05 AM by anaderi
Hello. My installation process is dying (near the end I think) during the jake command like this:
... everthing builds fine, then:
ghc -c src/Compiler/Compile.hs -fwarn-incomplete-patterns -O2 -io...
Id #8 | Release:
| Updated: Jan 6, 2015 at 2:31 PM by chritcu | Created: May 30, 2014 at 10:02 AM by lambdatoast
I build release version of koka compiler, because i faced with troubles when make debug version(i don't have Parsec lib profiled version).
When i run koka console as
Id #7 | Release:
| Updated: Jul 31, 2013 at 2:32 PM by irezvov | Created: Jul 31, 2013 at 2:31 PM by irezvov
Newer versions of directory use time.UTCTime instead of old-time.ClockTime. This especially affects the new Haskell-platform.
Rewrite Common.File to use the ne...
Id #6 | Release:
| Updated: Jul 8, 2013 at 9:12 PM by lpeterse | Created: Jul 8, 2013 at 9:11 PM by lpeterse
run : ( application : () -> <console,time,timeout,dom> (), show-console: bool = False ) -> browser ()
chatbot: () -> <console, exn, ndet> ()
Does not wo...
Id #3 | Release:
| Updated: Sep 11, 2012 at 7:20 PM by lpeterse | Created: Sep 11, 2012 at 7:18 PM by lpeterse