balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
4,728 Commits 2 Branches 0 Tags 65 MiB
76ad9c47ec
Commit Graph

4728 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
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
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
Christian Rinderknecht
673b54e6ae Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev 2020-01-18 11:37:36 +01:00
John David Pressman
dea98d408c Fill in empty sections of Tezos-specific function page 2020-01-17 23:19:49 -08:00
John David Pressman
e8935ffa81 Add CameLIGO and ReasonLIGO examples to docs where they didn't already exist 2020-01-17 22:56:54 -08:00
Rémi Lesenechal
481801ea91 Merge branch '105-on-failwith-and-using-format-json-ligo-return-exit-code-1-and-a-malformed-json-on-stderr' into 'dev' 
Resolve "on failwith and using --format json ligo return exit code 1 and a malformed json on stderr"

Closes #105

See merge request ligolang/ligo!337
 2020-01-17 16:37:03 +00:00
Lesenechal Remi
a30d59121f review request (more regular output) 2020-01-17 17:02:54 +01:00
Lesenechal Remi
4ca9a0243b changelog update 2020-01-17 16:56:21 +01:00
Lesenechal Remi
3081ec477b add test & promote 2020-01-17 16:35:53 +01:00
Lesenechal Remi
600ee51940 running contract or function does not fail on failwiths 2020-01-17 16:35:40 +01:00
Lesenechal Remi
0ad8bde6d1 add missing newlines 2020-01-17 16:29:23 +01:00
John David Pressman
1d485b0242 Add signature checking to tezos specific functions page 2020-01-17 02:08:07 -08:00
John David Pressman
d6000be369 Add ReasonLIGO CHECK_SIGNATURE test to suite 2020-01-17 01:57:07 -08:00