Pierre-Emmanuel Wulfman
734620a179
Keyword add for pasca,came,reason:ligo;typing error in contract
2020-03-12 16:05:17 +01:00
Christian Rinderknecht
b51818bc4e
Fixed parsing and source pretty-printing of recursive functions.
2020-03-12 16:05:17 +01:00
Pierre-Emmanuel Wulfman
68b6e6d3b0
remove option(recursive) in Parser.mly; parse error still
2020-03-12 16:05:17 +01:00
Pierre-Emmanuel Wulfman
b438f065b5
WIP:adding rec keyword
2020-03-12 16:05:17 +01:00
Pierre-Emmanuel Wulfman
1597d1eaf4
WIP: recursion
2020-03-12 16:05:17 +01:00
Sander
f176d36dd8
Merge branch 'api-docs/big_map' into 'dev'
...
Add syntax specific titles to Big_map
See merge request ligolang/ligo!493
2020-03-12 13:05:00 +00:00
Sander Spies
678a3bee59
Fix error messages.
2020-03-10 16:43:29 +01:00
Sander Spies
a94753f720
Re-add error messages.
2020-03-10 16:39:05 +01:00
Sander Spies
d273d0fbfe
Merge.
2020-03-10 16:33:24 +01:00
Sander Spies
31e8035e6a
Remove incorrect Big_map operations.
2020-03-10 14:52:59 +01:00
Sander Spies
978c95fa76
Remove versions.json from docker compose file.
2020-03-10 13:50:36 +01:00
Sander Spies
bcb77c6305
Merge
2020-03-10 12:55:51 +01:00
Sander Spies
608a7b7f95
- Refactor operators.ml to have shared pseudo modules.
...
- Fix tests for big_map
2020-03-10 12:54:18 +01:00
Pierre-Emmanuel Wulfman
4ed4203b46
Merge branch '145-entry-point-name-length-limit' into 'dev'
...
Resolve "Entry point name length limit"
Closes #145
See merge request ligolang/ligo!446
2020-03-09 18:24:09 +00:00
Pierre-Emmanuel Wulfman
1e36c64d42
Merge branch 'ast/loop_into_recursion' into 'dev'
...
Removes loops
See merge request ligolang/ligo!492
2020-03-09 18:24:07 +00:00
Tom Jack
8806b52b68
Merge branch 'add-crypto-check-example' into 'dev'
...
Add working example of Crypto.check
See merge request ligolang/ligo!475
2020-03-09 18:05:59 +00:00
Lesenechal Remi
66aca916bf
mapping over type_operator types is useless
2020-03-09 18:29:07 +01:00
Lesenechal Remi
503d8f771e
add tests for sum type names limit length
2020-03-09 18:29:07 +01:00
Lesenechal Remi
5a15feadc1
now map over type declarations
2020-03-09 18:29:07 +01:00
Lesenechal Remi
bc7a4daa64
add 'mapi' equivalent for label and constructor maps
2020-03-09 18:29:05 +01:00
Sander Spies
5dc6980d46
Merge branch 'dev' of https://gitlab.com/ligolang/ligo into api-docs/big_map
2020-03-09 18:25:49 +01:00
Pierre-Emmanuel Wulfman
e436a0a08a
removes loops
2020-03-09 18:24:02 +01:00
Sander Spies
19848c2f67
Big_map: first example of syntax specific titles.
2020-03-09 18:20:21 +01:00
Sander Spies
6da6fc2e59
Add SyntaxTitle component.
2020-03-09 18:19:46 +01:00
Sander Spies
3f1ee22bbc
Refactor Switch component to be a plugin.
2020-03-09 18:19:31 +01:00
Rémi Lesenechal
a734995bdc
Merge branch 'feature/self' into 'dev'
...
[LIGO-502] add self & make sure it it typechecked against the main function
See merge request ligolang/ligo!453
2020-03-09 11:41:37 +00:00
Lesenechal Remi
25f004844a
self: now reject capitalized entrypoint annotation
2020-03-09 11:23:08 +01:00
Lesenechal Remi
7717ac926e
changelog
2020-03-09 11:23:08 +01:00
Lesenechal Remi
68f562ffc6
add some doc about self in the reference page
2020-03-09 11:23:08 +01:00
Lesenechal Remi
b7c08b78d5
self operator now takes an entrypoint annotation as parameter
2020-03-09 11:23:08 +01:00
Lesenechal Remi
e2776e9849
New checks in the self_ast_typed pass:
...
* Ast_typed stage is now aware of the main function name
* main function type is checked against expected contract types
* Tezos.self (returning contract type) is checked against main function type
* In general, Ast_typed.compile signature has been changed to enable/disable contract-related checks
2020-03-09 11:23:08 +01:00
Lesenechal Remi
f0ad2fed04
new pass : self_ast_typed
2020-03-09 11:23:08 +01:00
Lesenechal Remi
550e6b084b
new constant : add self (michelson SELF)
2020-03-09 11:23:08 +01:00
Pierre-Emmanuel Wulfman
6a09ac866c
Merge branch 'fix-reasonligo-functiontype-parsing' into 'dev'
...
fix annotation for funciton in ReasonLigo
Closes #164
See merge request ligolang/ligo!489
2020-03-08 20:18:10 +00:00
Jev Björsell
b7636e816f
Merge branch 'upgrade-taquito' into 'dev'
...
Upgraded taquito and using carthage network
See merge request ligolang/ligo!488
2020-03-08 04:08:49 +00:00
Jev Björsell
27fc3ffb0d
Merge branch 'rename-entrypoint-fieldname' into 'dev'
...
Renamed entrypoint fieldname
See merge request ligolang/ligo!487
2020-03-08 04:07:46 +00:00
Maksym Bykovskyy
f2e91cbfbe
Updated package lock file
2020-03-07 18:36:16 -08:00
Pierre-Emmanuel Wulfman
49625001b1
Fix simplifyer and test
2020-03-07 02:39:39 +01:00
Pierre-Emmanuel Wulfman
558f3f5e80
fix annotation for funciton in ReasonLigo
2020-03-07 02:00:29 +01:00
Maksym Bykovskyy
c555df3ff7
Renamed entrypoint fieldname
2020-03-06 14:05:56 -08:00
Maksym Bykovskyy
3317e8462e
Upgraded taquito and using carthage network
2020-03-06 13:58:50 -08:00
Jev Björsell
efc06be1f6
Merge branch 'show-storage-after-deploy' into 'dev'
...
Show storage after deploy
See merge request ligolang/ligo!486
2020-03-06 20:59:56 +00:00
Maksym Bykovskyy
e61662af5f
Show storage after deploy
2020-03-06 20:59:56 +00:00
Jev Björsell
8d53bc762c
Merge branch 'improve-readme' into 'dev'
...
Revised README
See merge request ligolang/ligo!469
2020-03-06 17:35:14 +00:00
Maksym Bykovskyy
314b2358db
Revised README
2020-03-06 17:35:14 +00:00
John David Pressman
7bfcadc18f
Merge branch 'docs/ligo-intro-page' into 'dev'
...
[LIGO-504] Change LIGO documentation introduction to be about LIGO
Closes LIGO-504
See merge request ligolang/ligo!456
2020-03-06 08:34:42 +00:00
Sander Spies
c95f4ee02c
Merge
2020-03-06 08:38:07 +01:00
John David Pressman
15b3dc02db
Improve LIGO intro page based on Sander's suggestions
2020-03-05 20:22:43 -08:00
John David Pressman
2b55f3ade5
Merge branch 'contract/pledge-distribute' into 'dev'
...
Add pledge-distribute contract
See merge request ligolang/ligo!481
2020-03-05 23:34:06 +00:00
John David Pressman
0f8c7876cd
Merge branch 'dev' into contract/pledge-distribute
2020-03-05 14:22:41 -08:00
