55df0fb · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Change lines of code of JavaScript to 60 for Hello World example in docs

A simple hello world program now produces about 60 lines of code: ``` ~/projects/learn-idris ξ cat hello.idr main : IO () main = putStrLn "Hello, world!" ~/projects/learn-idris ξ idris --codegen javascript hello.idr -o hello.js ~/projects/learn-idris ξ wc -l hello.js 61 hello.js ``` Far from 1500! Hooray :)

commit55df0fb8946c680b4773c33a90910f2d245e1524 authorWilliam Wennerström <william@optmzr.se> dateMon 27 Jan 2020, 18:58 (7 years ago) parent53f6fc9

1 file changed+4−4

compare with master

unifiedsplit

docs/reference/codegen.rst+4−4

docs/reference/codegen.rst+4−4

@@ -36,10 +36,10 @@ issue the following command:

3636 $ idris --codegen javascript hello.idr -o hello.js

3737

3838

39−Idris can produce very big chunks of JavaScript code (hello world

40−weighs in at 1500 lines). However, the generated code can be minified

41−using the `closure-compiler

42−<https://developers.google.com/closure/compiler/>`__ from Google.

39+Idris can produce big chunks of JavaScript code (hello world weighs in at about

40+60 lines). However, the generated code can be minified using the

41+`closure-compiler <https://developers.google.com/closure/compiler/>`__ from

42+Google.

4343

4444::

4545