Suzanne Dupéron
|
4f36ff3bcb
|
Replace OCaml tuples with record in ast_typed
|
2020-02-20 14:21:30 +01:00 |
|
Pierre-Emmanuel Wulfman
|
ae82144418
|
removing assign, tuples, sequences,
|
2020-02-09 00:31:30 +01:00 |
|
Lesenechal Remi
|
784c2da81b
|
Remove useless constants:
* C_HASH (removed)
* C_MAP_GET --replaced--> C_MAP_FIND_OPT
* C_MAP_GET_FORCE --replaced--> C_MAP_FIND
|
2020-02-06 18:08:51 +01:00 |
|
Suzanne Dupéron
|
5ff9803989
|
Merge remote-tracking branch 'origin/dev' into dev
|
2020-01-28 22:30:31 +00:00 |
|
Pierre-Emmanuel Wulfman
|
f36d6a01de
|
Modify record update, using path for update
|
2020-01-28 14:12:46 +00: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 |
|
Suzanne Dupéron
|
688a636251
|
typer: cleanup
|
2020-01-20 21:19:37 +01:00 |
|
Sander
|
88159e15b2
|
Add inline attribute
|
2020-01-16 19:36:04 +00:00 |
|
Lesenechal Remi
|
7143b82ba8
|
support for key and signature literals
|
2020-01-13 11:37:10 +01:00 |
|
Pierre-Emmanuel Wulfman
|
812834656a
|
Updates for OcamLIGO and PascaLIGO
|
2020-01-10 13:52:05 +01:00 |
|
Lesenechal Remi
|
c8339ed2ef
|
first try
|
2019-12-31 14:23:51 +01:00 |
|
Tom Jack
|
172038cef0
|
Kill warning 45 by reusing Pervasives.result for Trace
|
2019-12-18 21:20:35 +00:00 |
|
Lesenechal Remi
|
85cffdfc52
|
remove comented function
|
2019-12-10 15:58:53 +01:00 |
|
Pierre-Emmanuel Wulfman
|
034c92a64c
|
Use ADT for types and move type to ast_common
and Making name, type_variable, built-in, constructor, label and string uncompatible types in ligo (weird bug with types in ligodity)
|
2019-12-04 11:40:58 +00:00 |
|
Gabriel Alfour
|
c1dac64af3
|
Merge branch 'feature/inlining2' into 'dev'
Substitution-based inlining
See merge request ligolang/ligo!227
|
2019-11-29 14:17:25 +00:00 |
|
Tom Jack
|
66d2cda107
|
Mini_c: Inlining optimization
|
2019-11-27 09:06:31 -06:00 |
|
Lesenechal Remi
|
c1c551e33f
|
fix and more tests
|
2019-11-26 18:08:53 +01:00 |
|
Rémi Lesenechal
|
c7dfd54f7e
|
Resolve "Error when dry-running a contract (having a storage which contains a lambda)"
|
2019-11-22 20:28:55 +00:00 |
|
Lesenechal Remi
|
88a0f33fca
|
add key_hash type and crypto_key_hash operator to pascaligo
|
2019-11-21 17:21:39 +01:00 |
|
Lesenechal Remi
|
1185b8abda
|
add chain_id type and operator
|
2019-11-21 17:21:39 +01:00 |
|
Lesenechal Remi
|
2fa78bd0bd
|
add key and signature types
|
2019-11-21 17:19:11 +01:00 |
|
Tom Jack
|
81c49f4342
|
Fix/simplify big_maps using Babylon
|
2019-11-21 08:18:18 -06:00 |
|
John David Pressman
|
4270cc0d22
|
[LIGO-229] Change ordering of collection operation args
|
2019-11-20 12:16:31 +00:00 |
|
Pierre-Emmanuel Wulfman
|
f91de985d0
|
remove 'Access_Map'
|
2019-11-12 14:28:58 +00:00 |
|
Pierre-Emmanuel Wulfman
|
e741531041
|
Merge branch 'clean-sts-solver' into 'dev'
New typer in a separate folder along with old typer
See merge request ligolang/ligo!166
|
2019-11-06 11:28:03 +00:00 |
|
Tom Jack
|
e30b7faa9d
|
Mini_c: Remove T_deep_closure and D_function
|
2019-11-02 18:43:46 -05:00 |
|
Suzanne Dupéron
|
1e06c24325
|
Merge branch 'dev' of gitlab.com:ligolang/ligo into clean-sts-solver
|
2019-10-31 17:18:09 -04:00 |
|
Lesenechal Remi
|
f341527aa6
|
add signature type
|
2019-10-31 16:46:07 +01:00 |
|
Suzanne Dupéron
|
c0397f68a0
|
Wrap type names with a constructor Type_name, so that merlin does not think that all strings are type names
|
2019-10-30 12:50:19 -04:00 |
|
Suzanne Dupéron
|
174c028406
|
Fixing issues in the new typer
|
2019-10-27 23:24:21 -04:00 |
|
Lesenechal Remi
|
9f0b61659e
|
we don't need to check for closures in function arguments
|
2019-10-17 17:18:10 +02:00 |
|
Suzanne Dupéron
|
5a58559edc
|
Merge remote-tracking branch 'origin/dev' into HEAD
|
2019-10-11 16:59:45 -04:00 |
|
Suzanne Dupéron
|
5de98259dc
|
Trying to merge new typer and new dev
|
2019-10-09 00:51:29 -04: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 |
|
Pierre-Emmanuel Wulfman
|
59cb210b83
|
Interface for Ocaml code
|
2019-10-07 14:18:32 +00: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 |
|
Lesenechal Remi
|
c1845c2bfe
|
Only look at arg.type_value instead of arg.content
|
2019-10-03 18:35:11 +02:00 |
|
Lesenechal Remi
|
4e333836cb
|
ignore closure error in subexpression of argument
|
2019-10-03 15:36:06 +02:00 |
|
Lesenechal Remi
|
962a98da75
|
emmit a t_function when no variables are captured
|
2019-10-03 10:21:09 +02:00 |
|
Lesenechal Remi
|
6fbe43d28a
|
Check for closure when applying a function and update tests
|
2019-10-02 18:31:15 +02:00 |
|
Lesenechal Remi
|
a7565145d5
|
add map_expression function in self_mini_c pass helpers
|
2019-10-02 18:31:15 +02:00 |
|
Lesenechal Remi
|
ae882c39ef
|
Variable name gardening
|
2019-10-02 18:31:15 +02:00 |
|
Lesenechal Remi
|
2840eb7414
|
Treat env element expression as deep_closure only if they are lambda
|
2019-10-02 18:31:15 +02:00 |
|
Gabriel Alfour
|
0c6f233507
|
Merge branch 'feature/auto-field-annotations' into 'dev'
Generate field annotations for sum/record
See merge request ligolang/ligo!78
|
2019-09-27 07:34:51 +00:00 |
|
galfour
|
7974469159
|
remove fail
|
2019-09-26 19:30:17 +02:00 |
|
galfour
|
c4a4942b09
|
minor merge
|
2019-09-26 11:39:35 -05:00 |
|
Tom Jack
|
09496ce4ca
|
Generate field annotations for sum/record
|
2019-09-26 11:39:35 -05:00 |
|
galfour
|
e6ac10f0ce
|
switch from tz to mtz
|
2019-09-24 14:29:18 +02:00 |
|