Christian Rinderknecht
9618a48848
Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht@michelson
2020-04-25 20:51:33 +02:00
Christian Rinderknecht
f3777b4af8
The preprocessor library depends now on the kinds of comments
...
instead of a closed set of languages. I also removed the offsets:
I simply use the current region to determine whether the
preprocessing directie starts at the beginning of a line. I also
removed scanning line indicators, to make the lexer simpler.
LexToken.mll: Moved the function [check_right_context] that
checks stylistic constraints from Lexer.mll to
LexToken.mll. While this triplicates code (as CameLIGO, PascaLIGO
and ReasonLIGO share the same constraints), the benefit is that
Lexer.mll becomes more generic and the signature for the TOKEN
module is simpler (no more exporting predicates, except for
EOF). In accordance with the change of the preprocessor, the
lexers and parsers for LIGO now depend on the kind of comments,
not a fixed set of syntaxes. This gives more versatility when
adding a new language: only the kinds of its comments are needed,
although Lexer.mll and Preproc.mll may have to be modified if
they do not already know the comment delimiters, for example line
comments starting with #.
****************************************************************
BUG: The exceptions coming from LexToken.mll when a stylistic
constraint is broken in [LexToken.check_right_context] are not
caught yet.
****************************************************************
Lexer.mll: I moved out as much as I could from the header into a
new module LexerLib. The aim is to make it easy to reuse as much
as possible of the lexer machinerie, when it cannot be used as
is.
2020-04-24 21:06:18 +02:00
Pierre-Emmanuel Wulfman
8dfc8a0469
reorder generated variable in for_each
2020-04-23 18:01:07 +02:00
Pierre-Emmanuel Wulfman
30f2581f8b
done
2020-04-23 17:53:10 +02:00
Pierre-Emmanuel Wulfman
ca3549bdee
Merge branch 'optim/nested_record_update' into 'dev'
...
Optimize transpilation of nested record update
See merge request ligolang/ligo!510
2020-04-23 10:01:47 +00:00
Christian Rinderknecht
0e452ffbf1
Merge branch 'small-reasonligo-record-punning-improvement' into 'dev'
...
Make it possible to pun the first argument of a record.
See merge request ligolang/ligo!570
2020-04-22 17:13:01 +00:00
Tom Jack
c58e3220a7
fix bad sed
2020-04-22 12:04:21 -05:00
Tom Jack
b47b5b1c37
s/expression_eq/equal_variables/ to match the behavior
2020-04-22 11:44:57 -05:00
Pierre-Emmanuel Wulfman
2a8edb53da
reduce expression_eq to equal variable
2020-04-22 11:42:53 -05:00
Pierre-Emmanuel Wulfman
1cbadbc7cf
add expression_eq in ast_typed
2020-04-22 11:42:52 -05:00
Pierre-Emmanuel Wulfman
79f2df2314
optim for record
2020-04-22 11:41:33 -05:00
Tom Jack
1fbbc09313
promote (until-clean) (only *) ?
2020-04-22 11:38:40 -05:00
Pierre-Emmanuel Wulfman
3cb72f8ec2
add test
2020-04-22 15:05:33 +02:00
Pierre-Emmanuel Wulfman
c46210b656
fix order
2020-04-22 15:04:12 +02:00
Sander Spies
eafbe83151
Also promote ParErr.ml
2020-04-22 11:50:46 +02:00
Sander Spies
bd8cf09f9e
Promote generated error files by dune.
2020-04-22 11:50:46 +02:00
Tom Jack
f67bd010c4
Treat transaction environment operators as impure
2020-04-22 10:30:57 +02:00
Pierre-Emmanuel Wulfman
54dadc33d6
move Var.reset_counter () to run_ligo
2020-04-21 18:06:19 +02:00
Pierre-Emmanuel Wulfman
0bf6d09e85
reset Var counter at the begening of cli run
2020-04-21 18:06:17 +02:00
Tom Jack
8066e4df26
Allow to failwith an int (or nat)
2020-04-21 15:35:41 +00:00
Tom Jack
5df005f4b7
Add print-mini-c --optimize=entrypoint to print optimized mini_c
2020-04-21 13:28:39 +00:00
Lesenechal Remi
5323475097
empty string singleton is not annotated anymore
2020-04-20 20:21:49 +02:00
Pierre-Emmanuel Wulfman
173a0c4031
Replace function that returns result by function that returns option
2020-04-20 17:39:36 +02:00
Lesenechal Remi
5622b52a36
updating tests
2020-04-19 15:20:02 +02:00
Lesenechal Remi
5bed9dadef
WIP: michelson_pair
2020-04-19 15:18:46 +02:00
Lesenechal Remi
e94f445a51
michelson_or custom layout and annotations
2020-04-19 15:18:46 +02:00
Lesenechal Remi
5d35aaec58
add fold for ast_core
2020-04-19 15:18:46 +02:00
Tom Jack
f2a23029bd
Always inline variable-for-variable lets in Self_mini_c
2020-04-16 14:18:35 -05:00
Tom Jack
6acf91a3f2
Perform basic eta contraction in Self_mini_c
2020-04-16 14:17:30 -05:00
Suzanne Dupéron
8848226b85
Merge branch 'bugfix-url-errors' into 'dev'
...
Fix link to docs in error message, closes LIGO-547
Closes LIGO-547
See merge request ligolang/ligo!573
2020-04-15 17:22:32 +00:00
Pierre-Emmanuel Wulfman
7a18cbd8fc
Merge branch 'srcloc_for_types' into 'dev'
...
Add srcloc for Types
See merge request ligolang/ligo!562
2020-04-15 16:41:27 +00:00
Suzanne Dupéron
f547caa80f
Fix link to docs in error message, closes LIGO-547
2020-04-15 18:04:43 +02:00
Pierre-Emmanuel Wulfman
7c29b075bb
add srcloc for types
2020-04-15 17:38:42 +02:00
Sander Spies
2a24290ed0
Fix error messages.
2020-04-15 17:25:32 +02:00
Pierre-Emmanuel Wulfman
9796cd2e8f
for loop have a optional step parameter
2020-04-15 17:25:31 +02:00
Sander Spies
990ae0e3a8
Make it possible to pun the first argument of a record.
2020-04-14 21:15:12 +02:00
Suzanne Dupéron
b7c3e77c82
Remove trailing whitespace while parsing in ADT generator
2020-04-14 17:11:50 +02:00
Sander Spies
422623ce1e
Fix build.
2020-04-14 13:13:07 +02:00
Sander Spies
3e447c40b7
Merge
2020-04-14 13:11:44 +02:00
Suzanne Dupéron
741bfcf9b4
Merge branch 'feature/new-typer-rough-cleanup' into 'dev'
...
Rough cleanup of the new typer
See merge request ligolang/ligo!561
2020-04-14 11:10:26 +00:00
Christian Rinderknecht
f8c16e5764
Merge branch 'reasonligo-record-improvement' into 'dev'
...
Add support for record expressions of only one field.
See merge request ligolang/ligo!553
2020-04-14 11:01:11 +00:00
Christian Rinderknecht
5f4c5299d8
Merge branch 'more-api' into 'dev'
...
More api documentation improvements
See merge request ligolang/ligo!548
2020-04-14 10:53:11 +00:00
Sander Spies
2b82a74d93
Merge
2020-04-14 10:32:12 +02:00
Suzanne Dupéron
9e21123de0
Generic PP: use PPF, split test for parentheses to separate fold
2020-04-13 23:10:01 +02:00
Suzanne Dupéron
22fce03844
Improve a typer print
2020-04-13 23:10:01 +02:00
Suzanne Dupéron
1f0ab67baa
Moved new typer's wrap module to a separate file
2020-04-13 23:10:01 +02:00
Suzanne Dupéron
93063d8c70
More cleanup new of the typer
2020-04-13 23:10:01 +02:00
Suzanne Dupéron
1b710bd952
Very rough cleanup new of the typer
2020-04-13 23:10:01 +02:00
Suzanne Dupéron
e001154714
with_xxx shorthands for fold configurations
2020-04-13 19:23:12 +02:00
Suzanne Dupéron
b536d3f591
Remove early Perl 5 and Python versions of the ADT generator
2020-04-13 19:23:12 +02:00
