Commit Graph

5489 Commits

Author SHA1 Message Date
Lesenechal Remi
69d125b667 fix evaluate-value and added tests 2020-01-23 14:29:04 +01:00
Rémi Lesenechal
74c57776d8 Merge branch 'bugfix/bytes-constructors' into 'dev'
Fixed semantic conflict (split bytes into several constructor functions)

See merge request ligolang/ligo!354
2020-01-23 12:23:49 +00:00
Suzanne Dupéron
1592404e03 Merge commit '4977c18e' into bugfix/new-typer 2020-01-23 11:56:02 +01:00
Suzanne Dupéron
4977c18e05 Fixed semantic conflict (split bytes into several constructor functions) 2020-01-23 11:43:43 +01:00
John David Pressman
f166748757 Merge branch 'gardening/e-bytes-split' into 'dev'
[LIGO-374] Split e_bytes into e_bytes_hex, e_bytes_raw and e_bytes_string

See merge request ligolang/ligo!336
2020-01-23 08:35:30 +00:00
John David Pressman
d260e831d1 Add failing interval advance test for repeating timelock contract 2020-01-22 23:05:41 -08:00
John David Pressman
dd47d709bd Merge branch 'docs/reasonligo-tuple-param' into 'dev'
Change ReasonLIGO and CameLIGO doc examples to use tuple param destructuring

See merge request ligolang/ligo!352
2020-01-23 06:05:51 +00:00
John David Pressman
f17388bd80 Change ReasonLIGO and CameLIGO examples to use tuple param destructuring 2020-01-22 21:37:22 -08:00
John David Pressman
eba4901a76 Merge branch 'docs/update-front-page-examples-2' into 'dev'
Update CameLIGO and ReasonLIGO examples on front page so they're usable in the IDE

See merge request ligolang/ligo!347
2020-01-23 03:19:46 +00:00
Suzanne Dupéron
ef6f46db5b typer: bugfix: stray leftover attempt to typecheck the old way in the new typer 2020-01-22 15:30:38 +01:00
Suzanne Dupéron
c5190ac91d typer: bugfix: missing case for E_skip 2020-01-22 15:30:29 +01:00
Suzanne Dupéron
d97044b581 typer: bugfix: arrow is now a built-in type constructor 2020-01-22 15:30:18 +01:00
Suzanne Dupéron
0f420eaaf5 typer: bugfix: tuple is now a built-in type constructor 2020-01-22 15:17:10 +01:00
Christian Rinderknecht
7828b57636 Merge branch 'rinderknecht-dev' into 'dev'
Refactoring of the front-end

See merge request ligolang/ligo!332
2020-01-22 13:52:03 +00:00
Suzanne Dupéron
30dac09494 typer: bugfix: use "String.equal", not "=" 2020-01-22 13:49:32 +01:00
Suzanne Dupéron
77fdb739b6 typer: typecheck expression and subst (used e.g. to typecheck arguments of contracts) 2020-01-22 13:49:32 +01:00
Christian Rinderknecht
a2a35cc953 Fixed helpers.ml and promoted negative test of reserved name for PascaLIGO. 2020-01-22 12:47:11 +01:00
Christian Rinderknecht
d46d95ee90 Fixed CameLIGO parsing of -> vs *
Fixed reserved_name.ligo ("arguments" instead of "args").
2020-01-22 12:33:29 +01:00
John David Pressman
9781a1c8ff Add rough draft of repeating timelock contract 2020-01-22 03:01:21 -08:00
Christian Rinderknecht
7437d6ae1a Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev 2020-01-22 11:43:35 +01:00
John David Pressman
b50479b96b Merge branch 'docs/michelson-specific' into 'dev'
[LIGO-358] Add Tezos-specific LIGO features docs

See merge request ligolang/ligo!335
2020-01-22 09:58:46 +00:00
John David Pressman
d878387424 Add salt to hashlock contract 2020-01-22 01:40:23 -08:00
John David Pressman
7756bfda93 Add rough draft of hashlock contract 2020-01-22 01:30:04 -08:00
John David Pressman
69ee6d0521 Update CameLIGO and ReasonLIGO examples on front page so they're usable in the IDE 2020-01-21 14:49:42 -08:00
John David Pressman
f39e006cf9 Change warning about top level use of self_address in docs 2020-01-21 14:08:26 -08:00
John David Pressman
c8ea510f18 Merge branch 'fix-tuples-reasonligo' into 'dev'
Add support for tuple destructuring in ReasonLIGO

See merge request ligolang/ligo!342
2020-01-21 22:04:27 +00:00
Sander Spies
da53758d85 Merge 2020-01-21 21:26:52 +01:00
Sander Spies
f104b5e512 Handle parentheses when destructuring. 2020-01-21 21:23:31 +01:00
Lesenechal Remi
8237947c4d monad fix 2020-01-21 19:04:51 +01:00
Christian Rinderknecht
786b183d40 [WIP]
* Reverted [pos.mli] to the previous signature, except [Pos.min]
  that now takes a labelled parameter [file].
* Reverted [ParserAPI.ml] to the previous signature.
* Reexported [shor_error] in [ParserUnit].
* Changed the modules [LexToken] so that they export one function
  to make attributes, the first, additional paramater being "[@"
  or "[@@" (and invalid in PascaLIGO).
* Added support in all [ParserLog] for attributes (pretty-printings).
* Added AST nodes [Attr] and [AttrDecl] to PascaLIGO. The simplifier
  takes care of hooking them with their respective declarations
  or discarding them. (In the future, we should issue a warning for detached
  attributes.)
2020-01-21 18:35:36 +01:00
Sander Spies
483f591f62 Typo 2020-01-21 14:57:13 +01:00
Pierre-Emmanuel Wulfman
5ba2144f0f Merge branch 'new-typer-bugfix1' into 'dev'
Implemented some missing cases of the subst in the new typer.

See merge request ligolang/ligo!334
2020-01-21 13:53:27 +00:00
Rémi Lesenechal
78c740b341 Merge branch 'feature/check-pass' into 'dev'
detect self in lambda

See merge request ligolang/ligo!343
2020-01-21 13:20:33 +00:00
Sander Spies
95205609f8 Merge. 2020-01-21 14:14:23 +01:00
Lesenechal Remi
a2c51ddbcf better description for bad_contract error message 2020-01-21 13:26:38 +01:00
Lesenechal Remi
f1977b12aa self in lambda negative test 2020-01-21 13:26:38 +01:00
Lesenechal Remi
57aeb4e931 detect self_address when not at top level 2020-01-21 13:26:38 +01:00
Suzanne Dupéron
93d16b4b6a typer: do multiple substitutions at once (pass a sort of map from free variables to their substitution) 2020-01-21 13:25:04 +01:00
Sander
b8af818457 Merge branch 'print-cst-ast' into 'dev'
Print different stages from command line.

See merge request ligolang/ligo!341
2020-01-21 12:24:51 +00:00
Sander
3223f9cfe1 Add sub commands to print different stages. 2020-01-21 12:24:51 +00:00
John David Pressman
c811f0058e Change 'touples' to 'tuples' in docs 2020-01-21 03:13:57 -08:00
John David Pressman
dd44c0d621 Add self_address docs, fix warning for PACK and UNPACK 2020-01-21 02:45:38 -08:00
John David Pressman
56135ac711 Merge branch 'docs/front-page-example-update' into 'dev'
Fix examples on front page of ligolang.org, add reminder to change in future

See merge request ligolang/ligo!345
2020-01-21 10:18:43 +00:00
John David Pressman
44dd39dcb2 Fix examples on front page of ligolang.org, add reminder to change in future 2020-01-20 19:42:22 -08:00
Suzanne Dupéron
614970d2d7 Implemented some missing cases of the subst. First kinda actual typer test passes! 2020-01-20 21:19:37 +01:00
Suzanne Dupéron
688a636251 typer: cleanup 2020-01-20 21:19:37 +01:00
Sander Spies
e959ef4f6f Forgot to add test file. 2020-01-20 19:04:02 +01:00
Sander Spies
fbb622cc03 Add support for tuple destructuring in ReasonLIGO 2020-01-20 19:03:00 +01:00
Christian Rinderknecht
8384e3d1f7 [WIP] Refactoring of front-end. 2020-01-20 10:57:07 +01:00
Christian Rinderknecht
d351d585b0 Merge branch 'docs/pascaligo-only' into 'dev'
[LIGO-398] Add CameLIGO and ReasonLIGO examples to docs where they didn't already exist

See merge request ligolang/ligo!339
2020-01-18 10:41:47 +00:00