Lesenechal Remi
|
d0ea94b472
|
'dune runtest' also execute 'md files tests'
|
2019-12-31 14:23:51 +01:00 |
|
Lesenechal Remi
|
c171ce7ad9
|
fully tested md_files
|
2019-12-31 14:23:51 +01:00 |
|
Lesenechal Remi
|
bddad3f234
|
add missing GE operator (>=) to cameligo
|
2019-12-31 14:23:51 +01:00 |
|
Lesenechal Remi
|
afa61e5825
|
Now have an default group "ungrouped" for all the code blocks without any "group=..."
|
2019-12-31 14:23:51 +01:00 |
|
Lesenechal Remi
|
08471ba246
|
basic architecture for the doc tests
|
2019-12-31 14:23:51 +01:00 |
|
Lesenechal Remi
|
c873350b15
|
no ppx in expect_tests lib
|
2019-12-31 14:23:51 +01:00 |
|
Lesenechal Remi
|
acee34985b
|
remove ppx in tests
|
2019-12-31 14:23:51 +01:00 |
|
Lesenechal Remi
|
6c7440ea79
|
inline magic
|
2019-12-31 14:23:51 +01:00 |
|
Lesenechal Remi
|
61d095ea28
|
also preprocess the executable
|
2019-12-31 14:23:51 +01:00 |
|
Lesenechal Remi
|
6f804a4432
|
exclude parser debug tooling
|
2019-12-31 14:23:51 +01:00 |
|
Lesenechal Remi
|
e8d1e359f4
|
exclude PPs from coverage
|
2019-12-31 14:23:51 +01:00 |
|
Lesenechal Remi
|
c8339ed2ef
|
first try
|
2019-12-31 14:23:51 +01:00 |
|
John David Pressman
|
dcfc8d6391
|
Horrible hack to rewrite CST for tuple param destruct,
Fails because Let In doesn't support multi-bind
|
2019-12-29 01:24:22 +00:00 |
|
John David Pressman
|
3d9489530a
|
Merge branch 'dev' into feature/cameligo-multi-bind-let-in
|
2019-12-27 09:29:30 -08:00 |
|
John David Pressman
|
e1ecb36e61
|
Have let ... in evaluate right hand side first during multi-bind
|
2019-12-26 21:06:24 -08:00 |
|
John David Pressman
|
2d9de2aef0
|
Clean up let ... in multi-bind
|
2019-12-24 15:35:05 -08:00 |
|
John David Pressman
|
48a3bebadd
|
Working rough draft of let ... in multi-bind
|
2019-12-24 14:54:22 -08:00 |
|
John David Pressman
|
7454e8b01f
|
Add let-in multi bind test
|
2019-12-24 13:48:14 -08:00 |
|
Christian Rinderknecht
|
dadf1fbe41
|
Fixed the stratification of "++".
|
2019-12-24 17:01:39 +01:00 |
|
Lesenechal Remi
|
bdd1d09c04
|
t_operator can not throw exceptions
|
2019-12-24 12:43:32 +01:00 |
|
Sander Spies
|
29c96fb021
|
Fix 'dune build ParserMain.exe'.
|
2019-12-24 08:08:50 +01:00 |
|
John David Pressman
|
1bf04574c1
|
Merge branch 'dev' into feature/set-delegate
|
2019-12-20 08:37:01 -08:00 |
|
Lesenechal Remi
|
638b45611d
|
fix message of redundant_match_case error
|
2019-12-20 12:17:47 +00:00 |
|
Lesenechal Remi
|
70977d1f00
|
improve badly annotated timestamp error
|
2019-12-20 12:18:36 +01:00 |
|
Lesenechal Remi
|
e18233434d
|
dune promote
|
2019-12-20 12:18:36 +01:00 |
|
Lesenechal Remi
|
2086dd9ab5
|
add predecessor timestamp to the CLI
|
2019-12-20 12:18:36 +01:00 |
|
Lesenechal Remi
|
e8c8aa4d2b
|
Time lock : contract + tests
|
2019-12-20 12:18:36 +01:00 |
|
Tom Jack
|
71e2670572
|
Fix one hex printing bug
|
2019-12-19 13:05:30 -06:00 |
|
Suzanne Dupéron
|
e5acdc4228
|
All typer errors in ast_typed/misc.ml are covered it seems.
|
2019-12-19 17:27:17 +00:00 |
|
Suzanne Dupéron
|
f7616b7b49
|
Small improvements to negative typer tests
|
2019-12-19 17:27:17 +00:00 |
|
Suzanne Dupéron
|
f9daa64aa7
|
Moved negative tests to a negative/ folder
|
2019-12-19 17:27:17 +00:00 |
|
Suzanne Dupéron
|
a835bc9286
|
Added "did you mean" feature for unbound type names
|
2019-12-19 17:27:17 +00:00 |
|
Suzanne Dupéron
|
2a11c6d180
|
test for typer error message: different keys
|
2019-12-19 17:27:17 +00:00 |
|
Suzanne Dupéron
|
e919a1eba3
|
Fixes unsoundness in old typer (expected type for the expression as a whole was not checked for ascriptions)
|
2019-12-19 17:27:17 +00:00 |
|
Sander
|
600ae2d4f6
|
Move to Trace.error instead of simple_error.
|
2019-12-19 13:50:57 +00:00 |
|
Christian Rinderknecht
|
3add77eba5
|
Adding the build of the unlexer by dune.
|
2019-12-18 22:17:49 +00:00 |
|
Christian Rinderknecht
|
d47ec7cf7c
|
Fixed a tag file (local build of PascaLIGO with my Makefile).
|
2019-12-18 22:17:49 +00:00 |
|
Tom Jack
|
172038cef0
|
Kill warning 45 by reusing Pervasives.result for Trace
|
2019-12-18 21:20:35 +00:00 |
|
Lesenechal Remi
|
be84244d7a
|
add some CLI tests
|
2019-12-18 16:47:23 +01:00 |
|
Lesenechal Remi
|
f9fcf1fbc3
|
Also perform Ast_typed check
|
2019-12-18 16:47:23 +01:00 |
|
Lesenechal Remi
|
ea343760b2
|
compile_parameter and compile_storage CLI commands now gets their input checked
|
2019-12-18 16:47:23 +01:00 |
|
Christian Rinderknecht
|
97a6d7162f
|
Regression.
|
2019-12-18 15:50:42 +01:00 |
|
Christian Rinderknecht
|
c7bd986772
|
Merge remote-tracking branch 'origin/dev' into rinderknecht-dev
|
2019-12-18 14:22:57 +01:00 |
|
Sander Spies
|
7518005532
|
Merge branch 'dev' of https://gitlab.com/ligolang/ligo into reasonligo-improvemtns
|
2019-12-18 09:59:19 +01:00 |
|
John David Pressman
|
310dde6dc9
|
[LIGO-286] Tuple destructuring doesn't do left hand type inference in CameLIGO
|
2019-12-17 21:04:53 +00:00 |
|
John David Pressman
|
7067644b1d
|
Merge branch 'dev' into feature/set-delegate
|
2019-12-17 12:17:02 -08:00 |
|
Suzanne Dupéron
|
1bf3d8f02a
|
First negative tests for the old typer & improvement of error messages
|
2019-12-17 18:18:49 +00:00 |
|
John David Pressman
|
a4b1c9951d
|
Add ReasonLIGO and CameLIGO tests for SET_DELEGATE
|
2019-12-17 09:50:47 -08:00 |
|
John David Pressman
|
fdeb95288d
|
Passing SET_DELEGATE test for PascaLIGO
|
2019-12-17 09:34:05 -08:00 |
|
Christian Rinderknecht
|
078dd06132
|
Merge branch 'rinderknecht-dev' of gitlab.com:ligolang/ligo into rinderknecht-dev
|
2019-12-17 17:07:10 +01:00 |
|