Commits · master · curry-packages / curry-repl

10 Aug, 2022 2 commits
- Fixes w.r.t. legacy mode · 58384346
  Michael Hanus authored Aug 10, 2022
  
  58384346
- Merge branch 'kmcc_changes' into 'master' · 71a580c7
  Michael Hanus authored Aug 10, 2022
```
Changes to improve printing of variables

See merge request !1
```
  71a580c7
01 Aug, 2022 1 commit
- Add passing variable names via cmd, default type before adding show · d6e5de2b
  Kai Prott authored Aug 01, 2022
  
  d6e5de2b
13 Jul, 2022 2 commits
- Add clean main module in case of errors · 109ed7cb
  Michael Hanus authored Jul 13, 2022
  
  109ed7cb
- Improve README · 44ba03f0
  Michael Hanus authored Jul 13, 2022
  
  44ba03f0
06 Feb, 2022 2 commits
- Add verbose show of exec shell script · 0ed73063
  Michael Hanus authored Feb 06, 2022
  
  0ed73063
- Add verbose show of exec shell script · 7f034395
  Michael Hanus authored Feb 06, 2022
  
  7f034395
03 Feb, 2022 2 commits
- Fix word · 4959d190
  Michael Hanus authored Feb 03, 2022
  
  4959d190
- Add REPL compiler parameter to describe additional options for invoking the... · 5f98327e
  Michael Hanus authored Feb 03, 2022
```
Add REPL compiler parameter to describe additional options for invoking the REPL. This description is shown with the `--help` option.
```
  5f98327e
22 Oct, 2021 1 commit
- Add `>>= return` to main expression if it is of type `IO ...` · 9a16577a
  Michael Hanus authored Oct 22, 2021
  
  9a16577a
15 Oct, 2021 1 commit
- Fix printing of types, default `MonadFail` · 5889b76e
  Michael Hanus authored Oct 15, 2021
  
  5889b76e
12 Oct, 2021 1 commit
- Add --using option · 8907e037
  Michael Hanus authored Oct 12, 2021
  
  8907e037
08 Oct, 2021 1 commit
- Add defaulting of Floating to Float · 577de1db
  Michael Hanus authored Oct 08, 2021
  
  577de1db
07 Oct, 2021 1 commit
- Code refactored · 4a99b199
  Michael Hanus authored Oct 07, 2021
  
  4a99b199
06 Oct, 2021 1 commit
- Improve Ctrl-C handling to remove auxiliary files · e82b9ce6
  Michael Hanus authored Oct 06, 2021
  
  e82b9ce6
05 Oct, 2021 1 commit
- Fix option setting · 5bbf9a3b
  Michael Hanus authored Oct 05, 2021
  
  5bbf9a3b
01 Oct, 2021 1 commit
- Support for compiler options with parameters added and structure of option specifications changed · 96979ee2
  Michael Hanus authored Oct 01, 2021
  
  96979ee2
14 Sep, 2021 2 commits
- Code refactoring · 38f1f818
  Michael Hanus authored Sep 14, 2021
  
  38f1f818
- Exit status output improved · a9a7eac8
  Michael Hanus authored Sep 14, 2021
  
  a9a7eac8
09 Sep, 2021 2 commits
- status output changed · 1b8b285e
  Michael Hanus authored Sep 09, 2021
  
  1b8b285e
- Option `timeout` added · 6670871a
  Michael Hanus authored Sep 09, 2021
  
  6670871a
14 Jul, 2021 1 commit
- Code refactoring · 89b09589
  Michael Hanus authored Jul 14, 2021
  
  89b09589
13 Jul, 2021 1 commit
- Add REPL option `echo`, improve option show · 2d4889e9
  Michael Hanus authored Jul 13, 2021
  
  2d4889e9
05 Jul, 2021 1 commit
- Add options -n|-q|--quiet · 19d65ced
  Michael Hanus authored Jul 05, 2021
  
  19d65ced
22 Jun, 2021 2 commits
- Adapt examples · 0299d519
  Michael Hanus authored Jun 22, 2021
  
  0299d519
- REPL parameterized over front-end executable · 8cc8d00b
  Michael Hanus authored Jun 22, 2021
  
  8cc8d00b
16 Jun, 2021 1 commit
- Improve deletion of auxiliary files · b5e6d6e7
  Michael Hanus authored Jun 16, 2021
  
  b5e6d6e7
08 Jun, 2021 1 commit
- Avoid Prelude compilation when another program is initially loaded · 5aad52f8
  Michael Hanus authored Jun 08, 2021
  
  5aad52f8
07 Jun, 2021 2 commits
- Initial prompt updated · f25f0fa5
  Michael Hanus authored Jun 07, 2021
  
  f25f0fa5
- Modify option to specify that "load" command compiles the main program · d59590b6
  Michael Hanus authored Jun 07, 2021
  
  d59590b6
02 Jun, 2021 1 commit
- Qualification of "main" in initial expression improved · dac6d40d
  Michael Hanus authored Jun 02, 2021
  
  dac6d40d
19 Apr, 2021 1 commit
- getline improved for better EOF termination w.r.t. Curry2Go · 64941490
  Michael Hanus authored Apr 19, 2021
  
  64941490
15 Apr, 2021 1 commit
- Option parsing improved, few fixes · 939c1f02
  Michael Hanus authored Apr 15, 2021
  
  939c1f02
14 Apr, 2021 2 commits
- RC file handling and option processing improved · 67d6426e
  Michael Hanus authored Apr 14, 2021
  
  67d6426e
- Better handling of rc file, new command ":modules" · d44376e8
  Michael Hanus authored Apr 14, 2021
  
  d44376e8
12 Apr, 2021 1 commit
- Add generic script to invoke a Curry REPL · 6221dd41
  Michael Hanus authored Apr 12, 2021
  
  6221dd41
01 Apr, 2021 1 commit
- Comments and explanations updated · a3380c1f
  Michael Hanus authored Apr 01, 2021
  
  a3380c1f
19 Mar, 2021 1 commit

Compiler version add to compiler specification, usage of auxiliary files... · 701232b1

Michael Hanus authored Mar 19, 2021

Compiler version add to compiler specification, usage of auxiliary files (AbstractCurry) parameterized over compiler specification

701232b1

04 Mar, 2021 1 commit
- Fix output of bindings · a05fd6a4
  Michael Hanus authored Mar 04, 2021
  
  a05fd6a4
03 Mar, 2021 1 commit
- Usage of show option improved, Monad constraint defaulted to IO · 380836a0
  Michael Hanus authored Mar 03, 2021
  
  380836a0