idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-25 20:51:43 +03:00
Code Issues Projects Releases Wiki Activity
2,216 Commits 6 Branches 9 Tags 115 MiB
62586627d8
Commit Graph

104 Commits

Author SHA1 Message Date
Alex Gryzlov
ef5299733a
refactor Data.String.Parser (#579) 2020-08-22 08:13:34 +01:00
lodi
3b49b10832
add extraRuntime option for Scheme backends (#578) 2020-08-21 09:34:57 +01:00
karroffel
7d046652d8
add support for more casts from and to BitsN types (#548) 
Co-authored-by: Guillaume ALLAIS <guillaume.allais@ens-lyon.org>
 2020-08-20 15:01:09 +01:00
Kamil Shakirov
8544e80076 Use the same naming convention for foreign primitives 2020-08-19 14:05:28 +01:00
Kamil Shakirov
1d601384ce Rename --consolewidth option to --console-width for consistency 2020-08-19 11:59:31 +01:00
Giuseppe Lomurno
63c15352f4 Prettyprinting hole context 2020-08-18 19:25:36 +01:00
Giuseppe Lomurno
42404c2d9d Automatic console width detection 2020-08-18 19:25:36 +01:00
Giuseppe Lomurno
f658ce357f More improvements 
- More migrations from String to Doc
- File context in parser errors
 2020-08-18 19:25:36 +01:00
Giuseppe Lomurno
6298a6741d Adds bounds to compiler parser 
- Added primitive to compiler parser for precise text boundaries
- Reworked parser with the new primitive
 2020-08-18 19:25:36 +01:00
Giuseppe Lomurno
5e9837828a Implementations and errors 
- Added initial implementations for terms and values
- Error messages converted to pretty printer
- Colorization for error messages
- Color and console width option both as command line and repl command
 2020-08-18 19:25:36 +01:00
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