Suzanne Dupéron
|
de56e170ee
|
Merge branch '33-duplicated-variant-case-gives-missing-case-error' into 'dev'
Resolve "Duplicated variant case gives "missing case" error"
Closes #33
See merge request ligolang/ligo!275
|
2019-12-20 13:05:44 +00:00 |
|
Lesenechal Remi
|
638b45611d
|
fix message of redundant_match_case error
|
2019-12-20 12:17:47 +00:00 |
|
Rémi Lesenechal
|
a465e54340
|
Merge branch 'contract-time-lock' into 'dev'
Contract time lock
See merge request ligolang/ligo!269
|
2019-12-20 12:05:41 +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 |
|
Lesenechal Remi
|
92523bc4a5
|
exposing context type to be able to modify the timestamps in the tests
|
2019-12-20 12:18:36 +01:00 |
|
Tom Jack
|
d71ac66f07
|
Merge branch 'dune-ignore' into 'dev'
Adjust dune ignores
See merge request ligolang/ligo!267
|
2019-12-19 20:41:00 +00:00 |
|
Tom Jack
|
8374d4a316
|
Ignore ligo.install
|
2019-12-19 19:53:10 +00:00 |
|
Tom Jack
|
d7bea52d44
|
Unignore dune-project
|
2019-12-19 19:53:10 +00:00 |
|
Tom Jack
|
40411c39ea
|
Merge branch 'feature/hex-printing' into 'dev'
Fix one hex printing bug
See merge request ligolang/ligo!274
|
2019-12-19 19:53:07 +00:00 |
|
Tom Jack
|
71e2670572
|
Fix one hex printing bug
|
2019-12-19 13:05:30 -06:00 |
|
Suzanne Dupéron
|
a59499e4bc
|
Merge branch 'feature/typer-error-messages' into 'dev'
Better typer error messages
See merge request ligolang/ligo!268
|
2019-12-19 18:15:25 +00: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
|
7ea6aadc2c
|
Move to Trace.error instead of simple_error.
|
2019-12-19 13:50:57 +00:00 |
|
Sander
|
600ae2d4f6
|
Move to Trace.error instead of simple_error.
|
2019-12-19 13:50:57 +00:00 |
|
Christian Rinderknecht
|
32c5fcd6b4
|
Merge branch 'rinderknecht-dev' into 'dev'
Another step towards harnessing Menhir
See merge request ligolang/ligo!270
|
2019-12-18 23:07:28 +00:00 |
|
Christian Rinderknecht
|
3add77eba5
|
Adding the build of the unlexer by dune.
|
2019-12-18 22:17:49 +00:00 |
|
Christian Rinderknecht
|
9512992d2b
|
Generating .msg files and extracting from them LIGO source files.
|
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
|
8f4db0fcd3
|
Merge branch 'warning-45' into 'dev'
Reuse Pervasives.result for Trace
See merge request ligolang/ligo!253
|
2019-12-18 22:08:51 +00:00 |
|
Tom Jack
|
172038cef0
|
Kill warning 45 by reusing Pervasives.result for Trace
|
2019-12-18 21:20:35 +00:00 |
|
Christian Rinderknecht
|
c46bf008c8
|
Adding the build of the unlexer by dune.
|
2019-12-18 21:32:12 +01:00 |
|
Christian Rinderknecht
|
dfcdc54965
|
Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev
|
2019-12-18 21:22:38 +01:00 |
|
Christian Rinderknecht
|
00f2e253f3
|
Generating .msg files and extracting from them LIGO source files.
|
2019-12-18 21:21:39 +01:00 |
|
Rémi Lesenechal
|
6d55d23628
|
Merge branch '75-cli-compile-storage-compile-parameter-does-not-validate-input-type' into 'dev'
Resolve "CLI compile-storage/compile-parameter does not validate input type"
Closes #75
See merge request ligolang/ligo!258
|
2019-12-18 16:35:09 +00:00 |
|
Christian Rinderknecht
|
64f04b8c40
|
Fixed a tag file (local build of PascaLIGO with my Makefile).
|
2019-12-18 16:53:32 +01: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
|
a8fdbbfd84
|
Merge branch 'rinderknecht-dev' into 'dev'
Removed [Error.mli]
See merge request ligolang/ligo!260
|
2019-12-18 15:42:56 +00: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 |
|
Christian Rinderknecht
|
f497ba4aba
|
Merge branch 'reasonligo-improvemtns' into 'dev'
ReasonLIGO improvements
See merge request ligolang/ligo!266
|
2019-12-18 10:50:15 +00: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
|
09a1db2fcb
|
Merge branch 'feature/cameligo-type-tuple-destruct' into 'dev'
[LIGO-286] Tuple destructuring doesn't do left hand type inference in CameLIGO
Closes LIGO-286
See merge request ligolang/ligo!252
|
2019-12-17 21:04:54 +00: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
|
56001384b5
|
Merge branch 'feature/typer-error-messages' into 'dev'
First negative tests for the old typer & improvement of error messages
See merge request ligolang/ligo!261
|
2019-12-17 19:07:44 +00: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 |
|
Christian Rinderknecht
|
7ae8d9340b
|
Merge remote-tracking branch 'origin/dev' into rinderknecht-dev
|
2019-12-17 17:04:59 +01:00 |
|