a6ed7c3 · Idris-dev · git.iko.soy

CHANGELOG+1−1

@@ -22,7 +22,7 @@ User visible changes:

22* Added System.Concurrency modules

23* Added 'postulate' declarations

24* Allow type annotations on 'let' tactic

25−* EXPERIMENTAL JavaScript generation, with --javascript option

25+* EXPERIMENTAL JavaScript generation, with '--target javascript' option

26

27Internal changes:

28

src/Idris/REPL.hs−1

@@ -430,7 +430,6 @@ parseArgs ("--noprelude":ns) = NoPrelude : (parseArgs ns)

430parseArgs ("--check":ns) = NoREPL : (parseArgs ns)

431parseArgs ("-o":n:ns) = NoREPL : Output n : (parseArgs ns)

432parseArgs ("-no":n:ns) = NoREPL : NewOutput n : (parseArgs ns)

433−parseArgs ("--javascript":ns) = UseTarget ToJavaScript : (parseArgs ns)

434parseArgs ("--typecase":ns) = TypeCase : (parseArgs ns)

433parseArgs ("--typecase":ns) = TypeCase : (parseArgs ns)

435parseArgs ("--typeintype":ns) = TypeInType : (parseArgs ns)

434parseArgs ("--typeintype":ns) = TypeInType : (parseArgs ns)

436parseArgs ("--total":ns) = DefaultTotal : (parseArgs ns)

435parseArgs ("--total":ns) = DefaultTotal : (parseArgs ns)

src/Main.hs+1−2

@@ -92,5 +92,4 @@ usagemsg = "Idris version " ++ ver ++ "\n" ++

92 "\t--libdir Show library install directory and exit\n" ++

93 "\t--link Show C library directories and exit (for C linking)\n" ++

94 "\t--include Show C include directories and exit (for C linking)\n" ++

95− "\t--target [target] Type the target: C, Java, bytecode\n" ++

95+ "\t--target [target] Type the target: C, Java, bytecode, javascript\n"

96− "\t--javascript Compile to JavaScript rather than to native code\n"