Tom Jack
047065f8ee
Delete vestigial local repo stuff
2019-10-11 15:12:07 +00:00
Tom Jack
f06161ea42
Merge branch 'feature/dry-run-sender-source' into 'dev'
...
Accept fake values for SENDER/SOURCE in dry-run
See merge request ligolang/ligo!130
2019-10-11 15:09:16 +00:00
Tom Jack
039d82a18f
Merge branch 'feature/LIGO-27-improve-packaging-and-distribution' into 'dev'
...
Add build & packaging scripts for multiplatform ligo binary distribution
See merge request ligolang/ligo!114
2019-10-11 02:26:03 +00:00
John David Pressman
49ffe00466
Remove unsupported_map_patch error in PascaLIGO simplifier
2019-10-10 18:35:39 -07:00
John David Pressman
c181ec1cac
Upload rough draft of map patch functionality with test
...
Right now I'm concerned that the way this generates the code is inefficient, in particular this line:
`in ok @@ (access_path, key', value', loc)`
Since the comments [on my code for the set patch](https://gitlab.com/ligolang/ligo/merge_requests/127 )
warned that repeated generation of the access path is a bad idea(?). In any case this does work, so
it's something I can improve on.
2019-10-10 18:26:28 -07:00
John David Pressman
0de17f4b57
Add empty set patches, add test for empty set patches
2019-10-10 13:35:38 -07:00
John David Pressman
c82076281f
Add test for set patch functionality
...
Resolves LIGO-127
2019-10-09 23:13:25 -07:00
John David Pressman
2f60c85aa8
Add rough draft of set patch functionality
2019-10-09 17:08:58 -07:00
Rémi Lesenechal
dfe6f144bb
Merge branch 'feature/unsupported-deep-map-ops' into 'dev'
...
fix unsupported deep_map assignements and remove. add tests
See merge request ligolang/ligo!125
2019-10-09 19:57:17 +00:00
Tom Jack
e8afba9581
Accept fake values for SENDER/SOURCE in dry-run
2019-10-09 12:08:02 -05:00
Christian Rinderknecht
cbaac2d124
Merge branch 'rinderknecht-dev' into 'dev'
...
Printing of tokens from the AST is now done in a Buffer.t
See merge request ligolang/ligo!128
2019-10-09 16:18:04 +00:00
Christian Rinderknecht
bcf73d01bf
Printing of tokens from the AST is now done in a Buffer.t
2019-10-09 16:07:13 +02:00
Lesenechal Remi
8c29dc6df3
cleaning (using name return by simpl_path which is equivalent)
2019-10-09 11:54:48 +02:00
Lesenechal Remi
54662db2f6
use simpl_projection to build accessor
2019-10-09 11:54:48 +02:00
Lesenechal Remi
d59cd771c9
fix unsupported deep_map assignements and remove. add tests
2019-10-09 11:54:48 +02:00
John David Pressman
f990dc8a0f
Merge branch 'dev' of gitlab.com:ligolang/ligo into gardening/code-comments
2019-10-08 13:46:25 -07:00
Sander
8dfb2a967f
Merge branch 'feature/pascaligo-remove-simplify' into 'dev'
...
Add test for PascaLIGO remove syntax which appears to work
See merge request ligolang/ligo!126
2019-10-08 19:35:09 +00:00
John David Pressman
88de350264
Add test for PascaLIGO remove syntax which appears to work
2019-10-08 11:54:49 -07:00
Christian Rinderknecht
a4ad62ad16
Merge branch 'rinderknecht-dev' into 'dev'
...
Made big_map a keyword, like map.
See merge request ligolang/ligo!124
2019-10-08 11:37:31 +00:00
Christian Rinderknecht
aa3b035c9f
Merge branch 'feature/pascaligo-remove-simplify' into 'dev'
...
[LIGO-121] Add simplified AST representation of PascaLIGO's set remove syntax
See merge request ligolang/ligo!122
2019-10-08 10:32:03 +00:00
Christian Rinderknecht
1362fbae9e
Made big_map a keyword, like map.
2019-10-08 12:24:56 +02:00
John David Pressman
7cf75c54c8
Untested rough draft of pascaligo set removal
2019-10-07 21:41:36 -07:00
Tom Jack
be88b546a4
Merge branch 'docker-rm' into 'dev'
...
Adding `--rm` to ligo.sh
See merge request ligolang/ligo!123
2019-10-07 23:44:02 +00:00
Rodrigo Quelhas
0c756a4a46
Adding --rm to ligo.sh
2019-10-07 18:02:00 -05:00
Tom Jack
fdf0640e28
Merge branch 'fix-dev' into 'dev'
...
Resolve mli merge conflict
See merge request ligolang/ligo!121
2019-10-07 19:37:38 +00:00
Tom Jack
4a5e41faa4
Resolve mli merge conflict
2019-10-07 13:56:48 -05:00
Christian Rinderknecht
6f414a8ad2
Merge branch 'feature/unsupported_ass_None' into 'dev'
...
Feature/unsupported_ass_none
See merge request ligolang/ligo!118
2019-10-07 16:31:19 +00:00
Christian Rinderknecht
9c1be8f3a3
Merge branch 'feature/unsupported-string-catenation' into 'dev'
...
feature/unsupported_string_catenation
See merge request ligolang/ligo!120
2019-10-07 16:30:39 +00:00
Christian Rinderknecht
76b4fa3f47
Merge branch 'rinderknecht-dev' into 'dev'
...
Gardening for Ligodity and update of the documentation of PascaLIGO.
See merge request ligolang/ligo!119
2019-10-07 15:44:36 +00:00
Lesenechal Remi
44767c4b8e
Simplifier now emit CONCAT constant
2019-10-07 17:16:03 +02:00
Tom Jack
36ec771adf
Remove singleton inductive type
2019-10-07 16:54:28 +02:00
Tom Jack
e2c831a231
Simplify more
2019-10-07 16:54:28 +02:00
Tom Jack
1c2c6cbc43
Delete unused NoneExpr
2019-10-07 16:54:28 +02:00
Tom Jack
3a14ef26ef
Simplify?
2019-10-07 16:54:28 +02:00
Lesenechal Remi
3a3cfa341a
cleaning
2019-10-07 16:54:28 +02:00
Lesenechal Remi
08a3e08f57
add a new T_constant in ast_simplified and ast_typed
2019-10-07 16:54:28 +02:00
Lesenechal Remi
1401d03d62
Parser patch from Christian
2019-10-07 16:54:28 +02:00
Christian Rinderknecht
ff9584c7b7
Gardening.
2019-10-07 16:37:33 +02:00
Christian Rinderknecht
bb86ba6ad0
Merge branch 'pew-interface' into 'dev'
...
Interface for Ocaml code
See merge request ligolang/ligo!63
2019-10-07 14:18:33 +00:00
Pierre-Emmanuel Wulfman
59cb210b83
Interface for Ocaml code
2019-10-07 14:18:32 +00:00
John David Pressman
0207d1f88f
Add .mli for SAST pretty printer with minimal comments
2019-10-04 15:33:50 -07:00
John David Pressman
fcfbbcb9c1
Delete dead code and add .mli docs to simplify/pascaligo.ml
2019-10-03 15:32:16 -07:00
John David Pressman
c2489fd310
ocamldoc-ify Markup.mli
2019-10-03 14:07:12 -07:00
John David Pressman
30d25ee247
Convert top comment in LexToken.mli to ocamldoc comment
2019-10-03 13:59:53 -07:00
John David Pressman
211d5ea37f
Add explanation of AST relationship to Parser.mly to AST.mli
2019-10-03 13:42:33 -07:00
John David Pressman
51e6c441f2
Add documentation for pascaligo parser interface as .mli
2019-10-03 13:32:43 -07:00
John David Pressman
e3c581ff02
Fix typo in transpiler.ml explanation
2019-10-03 11:47:09 -07:00
John David Pressman
b02c241a01
Add short explanation to transpiler.ml
2019-10-03 11:37:07 -07:00
Rémi Lesenechal
0c7bfbdecd
Merge branch 'feature/LIGO-GITLAB-ISSUE-23-HIGHER-ORDER' into 'dev'
...
Issue 23 : Higher-order functions with more than one argument give weird errors
See merge request ligolang/ligo!103
2019-10-03 17:16:21 +00:00
Lesenechal Remi
c1845c2bfe
Only look at arg.type_value instead of arg.content
2019-10-03 18:35:11 +02:00
