Galfour
1ccaef23fb
Merge branch '8-reporting-of-error-messages' of gitlab.com:ligolang/ligo into 8-reporting-of-error-messages
2019-06-05 06:43:45 +00:00
Galfour
1fa727061b
add test hierarchy
2019-06-05 06:43:33 +00:00
Christian Rinderknecht
358b2fda83
Merge branch '8-reporting-of-error-messages' of gitlab.com:ligolang/ligo into 8-reporting-of-error-messages
2019-06-04 16:12:39 +02:00
Christian Rinderknecht
97dd2db4b8
I forbade local entry points in Pascaligo (meaningless).
...
I refactored the projections in Ligodity (AST), so they have the
same name and types as in Pascaligo, which will ease the creation
of module CommonErrors in a file.
2019-06-04 16:12:17 +02:00
Georges Dupéron
22f930b531
locations in error messages in typer.ml where possible
2019-06-04 14:24:24 +02:00
Christian Rinderknecht
8562586bbd
Merge branch '8-reporting-of-error-messages' of gitlab.com:ligolang/ligo into 8-reporting-of-error-messages
2019-06-04 13:45:26 +02:00
Christian Rinderknecht
4f60f23769
Finished changing the error reporting.
2019-06-04 13:45:21 +02:00
Galfour
44d6f31a1d
Merge branch '8-reporting-of-error-messages' of gitlab.com:ligolang/ligo into 8-reporting-of-error-messages
2019-06-04 08:21:24 +00:00
Galfour
388c5e6a09
errorm messages for the transpiler
2019-06-04 08:21:13 +00:00
Georges Dupéron
987d65f227
Structured error messages for typer (still needs to print srclocs)
2019-06-04 03:27:29 +02:00
Christian Rinderknecht
fd3460c890
Added more newly styled error message triggering.
2019-06-03 19:23:40 +02:00
Georges Dupéron
8ada684e34
More structured errors
2019-06-03 19:00:00 +02:00
Georges Dupéron
eee4367df9
More structured errors
2019-06-03 17:50:16 +02:00
Christian Rinderknecht
963507ddc0
Fixed the "end of stream" in the Ligodity parser. Started replacing
...
new error reporting in ligodity.ml.
2019-06-03 17:43:25 +02:00
Georges Dupéron
c2643f5b4c
Use structured errors in typer
2019-06-03 16:09:31 +02:00
Georges Dupéron
0e484f5bc1
Started matching errors in typechecker
2019-06-03 14:56:29 +02:00
Galfour
0e17e8b274
minor fixes
2019-06-03 12:23:46 +00:00
Galfour
b65c9ca67f
fix cli
2019-06-03 11:07:24 +00:00
Galfour
8c81432281
modify trace; oldify multifix
2019-06-03 10:33:13 +00:00
Galfour
a7298dc16d
fix cli.ml
2019-06-01 11:51:49 +00:00
Galfour
6febd855c4
fix ligodity; add it to the bin; add source locations; merge
2019-06-01 11:29:31 +00:00
Galfour
8d6f19ac6c
very unstable state
2019-06-01 08:37:43 +00:00
Galfour
055bee804e
fix ligodity issues
2019-05-31 22:03:06 +00:00
Galfour
320d0c1a72
various refactorings to prepare tests; tests for ligodity don't pass
2019-05-31 19:56:51 +00:00
Galfour
009b0331e9
add cameligo to the cli
2019-05-29 22:13:04 +00:00
Galfour
79af0abab3
propagate source-code locations to ast_typed
2019-05-28 17:02:40 +00:00
Galfour
5b42d72e41
propagate source code locations from ligodity
2019-05-28 16:34:53 +00:00
Galfour
79b88ab4ba
Merge branch 'master' of gitlab.com:ligolang/ligo
2019-05-28 15:47:29 +00:00
Gabriel Alfour
9059c3c2f1
Merge branch 'rinderknecht-dev' into 'master'
...
Added simplifications of Ligodity for lambdas, sequences and conditionals.
See merge request ligolang/ligo!5
2019-05-28 15:47:16 +00:00
Galfour
c32ace3afc
propagate source code locations
2019-05-28 15:36:14 +00:00
Christian Rinderknecht
af8e9bd238
Added simplifications of Ligodity for lambdas, sequences and
...
conditionals.
Enabled in parser a type annotation on lambda parameter, and
lifted the existing type annotation in patterns to become that
type annotation.
2019-05-28 17:00:43 +02:00
Galfour
50868302c6
minor rewriting; add docs
2019-05-28 10:46:22 +00:00
Christian Rinderknecht
28b84e1e65
Fixed the translation of let-in.
2019-05-24 19:31:39 +02:00
Georges Dupéron
a0936d8eb5
Moved repository to ligolang namespace
2019-05-24 11:36:39 +02:00
Galfour
0b6f0e03be
add basic doc in operators/operators.ml
2019-05-23 15:43:30 +00:00
Galfour
a852f4997c
rewrote operators
2019-05-23 12:16:12 +00:00
Galfour
6ee5aff962
merge and fix
2019-05-23 07:49:06 +00:00
Galfour
c69c98c7fa
Merge branch 'master' of gitlab.com:gabriel.alfour/ligo
2019-05-23 06:49:21 +00:00
Galfour
c085dae123
remove annotations from ast_simplified; make annotation expression explicit; locally very limited propagation of constraints in binding cases
2019-05-23 06:22:58 +00:00
Christian Rinderknecht
193febc83e
Merge branch 'master' of gitlab.com:gabriel.alfour/ligo
2019-05-22 19:38:40 +02:00
Christian Rinderknecht
24a1068dd4
Refactoring of the parser and AST so "let" constructs bind
...
exactly one variable. (Unfinished)
Fixed minor error in error printing in Lexer.
Added test in ParseMain.ml on --verbose=parser.
2019-05-22 19:38:09 +02:00
Galfour
9d873c382b
remove statements from everywhere (very atomic commit)
2019-05-22 00:46:59 +00:00
Christian Rinderknecht
331b11dcca
Refactored the AST and fixed the symlinks.
2019-05-20 21:42:11 +02:00
Galfour
46d07c55ea
remove statements from mini_c
2019-05-20 16:26:55 +00:00
Galfour
2a091edbc0
transpile to mini_c expressions
2019-05-20 16:17:26 +00:00
Galfour
e48a5fde28
preparing removal of statements in Mini_c
2019-05-20 08:38:38 +00:00
Galfour
2dd7e2668c
merge
2019-05-17 17:55:46 +00:00
Galfour
97adaad836
preparations for statements removal
2019-05-17 17:36:57 +00:00
Georges Dupéron
c773fe61ce
revert let_in as lambda and add let_in
2019-05-17 19:14:00 +02:00
Galfour
ccdbd5bbd0
fix
2019-05-17 16:18:03 +00:00
