a6ed7c3 · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

javascript: got rid of --javascript use --target

commita6ed7c3a956231eb61c0a98668f78bcbe6ace1dd authorraichoo <raichoo@googlemail.com> dateWed 16 Jan 2013, 21:40 (14 years ago) parent45adece

3 files changed+2−4

unifiedsplit

CHANGELOG+1−1

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

2222* Added System.Concurrency modules

2323* Added 'postulate' declarations

2424* Allow type annotations on 'let' tactic

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

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

2626

2727Internal changes:

2828

src/Idris/REPL.hs−1

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

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

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

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

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

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

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

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

src/Main.hs+1−2

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

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

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

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

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

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

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