Fix environment variable names

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: None | Updated: Jun 11, 2016 at 3:24 PM by lethalman | Created: Jun 11, 2016 at 3:24 PM by lethalman

Absolute paths do not work with -i option

Running koka -i/absolute/path/to/lib does not work, apparently the first slash gets stripped along with some normalization process.

Id #12 | Release: None | Updated: May 14 at 9:45 PM by requisitebits | Created: Jun 11, 2016 at 3:12 PM by lethalman

Error building koka

➜ 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: None | Updated: Apr 29, 2016 at 7:38 PM by daan | Created: Apr 27, 2016 at 6:05 AM by anaderi

OS X 10.9 install error due to missing directory?

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: None | Updated: Jan 6, 2015 at 2:31 PM by chritcu | Created: May 30, 2014 at 10:02 AM by lambdatoast

Trouble with finding modules

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 out/release/koka-0.5.0-dev -il...

Id #7 | Release: None | Updated: Jul 31, 2013 at 2:32 PM by irezvov | Created: Jul 31, 2013 at 2:31 PM by irezvov

Does not build against directory > 1.1.0.2

The problem: Newer versions of directory use time.UTCTime instead of old-time.ClockTime. This especially affects the new Haskell-platform. Proposed solution: Rewrite Common.File to use the ne...

Id #6 | Release: None | Updated: Jul 8, 2013 at 9:12 PM by lpeterse | Created: Jul 8, 2013 at 9:11 PM by lpeterse

Name resolution not properly working when omitting optional arguments

run : ( application : () -> <console,time,timeout,dom> (), show-console: bool = False ) -> browser () chatbot: () -> <console, exn, ndet> () Works: chatbot.run(show-console=True) Does not wo...

Id #3 | Release: None | Updated: Sep 11, 2012 at 7:20 PM by lpeterse | Created: Sep 11, 2012 at 7:18 PM by lpeterse

  • 1-7 of 7 Work Items
    • Previous
    • 1
    • Next
    • Showing
    • All
    • Work Items