Giuseppe Lomurno
df4f990b3c
PTerm and error intial prettyprinting
2020-08-18 19:25:36 +01:00
Alex Humphreys
f47d9cfef2
Add integer paser and extra test
...
Signed-off-by: Alex Humphreys <alex.humphreys@here.com>
2020-08-10 13:26:20 +02:00
Alex Humphreys
d4cbb8a620
Move natural and digit combinators
...
Signed-off-by: Alex Humphreys <alex.humphreys@here.com>
2020-08-07 19:20:32 +02:00
Alex Humphreys
40427bd527
Move combinators to Data.String.Parser
2020-08-06 13:16:47 +02:00
Alex Humphreys
97b41d1ad9
Rename BuildExpressionParser to Parser.Expression
...
Signed-off-by: Alex Humphreys <alex.humphreys@here.com>
2020-08-06 12:42:38 +02:00
Alex Humphreys
29e49a74c5
Add BuildExpressionParser to contrib
...
Signed-off-by: Alex Humphreys <alex.humphreys@here.com>
2020-08-06 08:59:57 +02:00
G. Allais
0a7ea69df5
[ refactor ] introduce List1 to remove impossible case ( #520 )
2020-08-04 20:03:18 +01:00
Niklas Larsson
8a210d536e
Merge pull request #408 from melted/buffer_api
...
Add concatBuffers and splitBuffer to Data.Buffer
2020-07-21 10:43:17 +02:00
Niklas Larsson
52c6db09d1
Add <?> for replacing error messages
2020-07-06 14:13:56 +02:00
Niklas Larsson
af83c9303b
Add test and documentation
2020-07-05 21:51:12 +02:00
Niklas Larsson
ce3096f919
Add concatBuffers and splitBuffer to Data.Buffer
...
Expand the buffer test.
2020-07-04 02:25:41 +02:00
Edwin Brady
1e6314c4cc
Merge pull request #345 from edwinb/hasio
...
HasIO interface for IO actions
2020-06-21 20:24:29 +01:00
Edwin Brady
1b15463746
Update libraries and docs with HasIO/MonadIO
2020-06-21 15:25:40 +01:00
Christian Rasmussen
3cbcdec4a0
Add test for builddir and outputdir fields
2020-06-20 17:24:05 +02:00
Edwin Brady
ab03249d49
Add Data.STRef and a generic Ref interface
2020-06-20 00:46:20 +01:00
Kamil Shakirov
4f0c262ddc
Add support for OpenBSD
...
and probably for other *BSD operating systems with minor tweaks
2020-06-17 15:14:54 +06:00
Niklas Larsson
2e8f618f00
Apparently overwrite should report success
2020-06-16 14:02:04 +02:00
Niklas Larsson
24715a8fd0
Overwrite should be true in the first call
...
In case anybody has that defined in their environment.
2020-06-16 13:48:31 +02:00
Niklas Larsson
8540728202
Handle overwrite on windows
...
Expand test to test overwrite
2020-06-16 13:44:10 +02:00
Niklas Larsson
6974b318a3
Add test for setenv and unsetenv
2020-06-16 12:36:39 +02:00
Giuseppe Lomurno
788ae023e3
Merge remote-tracking branch 'upstream/master' into code-in-errors
2020-06-15 15:12:49 +02:00
Giuseppe Lomurno
778d930f95
Updated tests
2020-06-13 16:51:05 +02:00
Tim Süberkrüb
e9a80891b7
Extend Control.App.FileIO
2020-06-12 17:30:54 +02:00
Giuseppe Lomurno
e9d46a2650
Fixed tests
2020-06-11 22:46:36 +02:00
Niklas Larsson
b5f67b94ae
Use constants instead of calculation for upper bounds
...
Add wrapping to 8-bit adding.
This is a workaround to fix the bootstrap
Fixes #268
2020-06-11 14:23:41 +02:00
Edwin Brady
ca28dab1d7
Add finalisers for Racket back end
...
Like Chez, we also need an explicit call to the garbage collector at the
end to ensure that all the finalisers get run on exit.
2020-06-08 22:13:24 +01:00
Edwin Brady
e32f039227
Fix includes in chez022 test
2020-06-08 20:46:25 +01:00
Edwin Brady
d60feaace0
Add finalisers to Chez back end
...
This involves new primitives GCPtr and GCAnyPtr which are pointer types
that have finalisers attached. The finalisers are run when the
associated pointer goes out of scope.
In the test, I am assuming that the GC will only be called once, right
at the end. Otherwise, the output isn't guaranteed to be deterministic!
Let's see how this assumption holds...
This is currently Chez only. I think it'll be easy enough to add to
the Racket and Gambit back ends too.
2020-06-08 20:34:23 +01:00
Edwin Brady
2eb2ce6097
Add Bits primitives
...
Including appropriate casts, and Num/Eq/Ord/Show implementations.
Also includes new primitives in Data.Buffer, and calls to foreign
functions in C as 'unsigned'.
2020-06-01 11:48:03 +01:00
Tim Süberkrüb
42a1522a3b
Try to make Windows happy with backslashes
2020-05-28 16:42:56 +02:00
Tim Süberkrüb
c2dfe7de7f
Add popen and pclose from Idris 1
2020-05-28 12:58:03 +02:00
Edwin Brady
498421a236
All functions now need to be covering by default
...
This has caught a couple of things in the Idris 2 code base itself. Some
tests needed partial annotations too.
2020-05-24 19:58:20 +01:00
Niklas Larsson
709ca9d152
Unbreak Windows bootstrap
2020-05-23 20:00:15 +02:00
Niklas Larsson
4f97e0822b
Fix comparison in gen_expected.sh
2020-05-23 15:34:41 +02:00
Edwin Brady
1524b865c0
Remove needless %cg directives
...
These now refer to an old library file that is no longer used since the
network library was ported to the new FFI
2020-05-23 13:06:39 +01:00
Niklas Larsson
2160d7297c
Fix chez014
2020-05-23 11:08:25 +02:00
Niklas Larsson
99f407f1ab
Simplify chez017 after changing test runner
2020-05-23 11:08:25 +02:00
Niklas Larsson
09ea6af22f
Fix chez017 for Windows
2020-05-23 11:08:25 +02:00
Edwin Brady
8291c8bbeb
Add runtime error for unhandled cases
...
Should have done this ages ago, it was much easier than I expected...
this adds an explicit error clause before running the pattern match
compiler for runtime case trees, but only if the coverage checker finds
there are missing cases.
2020-05-21 10:54:22 +01:00
Edwin Brady
4d7f122375
Merge pull request #7 from chrrasmussen/fix-chez016
...
Fix chez016 test
2020-05-20 11:48:06 +01:00
Kamil Shakirov
880981d5b4
More fixes and improvements
...
* Ignore build artifacts in 'tests' directory
* Remove unused variables in makefiles
* Add 'bootstrap-clean' rule to delete build artifacts from 'bootstrap' directory
* Add 'distclean' rule to delete all build artifacts from the source tree
2020-05-20 15:31:30 +06:00
Christian Rasmussen
5281de93e0
Fix chez016 test
2020-05-19 22:02:15 +02:00
Edwin Brady
bd6a4903b5
Finish tests
2020-05-19 20:06:37 +01:00
Edwin Brady
a972778eab
Add test script
...
They don't all pass yet, for minor reasons. Coming shortly...
Unfortunately the startup overhead for chez is really noticeable here!
2020-05-19 18:25:18 +01:00
