Edwin Brady
85459814ef
Support foreign callbacks in Racket back end
2019-09-29 19:37:30 +01:00
Edwin Brady
c6039e4fe5
Support callbacks in foreign calls to C
...
Currently Chez backend only
2019-09-29 17:25:26 +01:00
Edwin Brady
78e44a4353
Reading/writing buffers can fail
...
So, make them return and Either and wrap the scheme definitions in an
exception handler that returns an error code on failure
2019-09-28 18:33:46 +01:00
Edwin Brady
1a4f424259
Support UTF8 strings
...
When writing to ttc, need to take the length in bytes rather than the
length in characters. Also need to write to scheme in the appropriate
format for each scheme system.
While we're at it, Idris 1 supports unicode identifiers (although we
don't encourage it :)) so this allows any characeter >127 in an
identifier.
2019-09-28 14:08:23 +01:00
Kamil Shakirov
0722b96fef
Add '--no-banner' option
2019-09-24 20:26:25 +06:00
Arnaud Bailly
2f8daa7cf2
Merge branch 'master' of https://github.com/edwinb/Idris2 into add-version-command
2019-09-22 22:39:36 +02:00
Arnaud Bailly
9c1f8b6f02
Merge branch 'master' into add-version-command
2019-09-22 15:50:13 +02:00
Edwin Brady
9b639eee35
Nat optimisation needs to look under lambda
...
Names are saturated, so there might be a lambda in the term we're
optimising. Fixes #62
2019-09-18 10:00:30 +01:00
Arnaud Bailly
558776c4c4
remove version number from banner at REPL startup
...
otherwise all tests will need to change every time version changes...
2019-08-29 14:37:04 +02:00
Edwin Brady
f37da6c5b7
Start adding tests for TypeDD book
...
Also detailing any changes needed to the code. Added primitives for
Doubles, and repl/replWith to get Chapter 2 code to work.
2019-06-30 15:50:58 +01:00
Edwin Brady
2f4cdf857d
Make typecase on -> work
2019-06-29 22:43:06 +01:00
Edwin Brady
f9ea1ff329
Updating typecase, add tests
2019-06-29 21:32:19 +01:00
Edwin Brady
7b504e7a9e
More Chez tests
2019-06-25 21:27:46 +01:00
Edwin Brady
69199639cf
Fix Nat hack
...
And add chez scheme section to tests, with one initial test
2019-06-25 14:05:54 +01:00
