Suzanne Dupéron
bd8a57df44
Add a pretty-printer to the heuristics
2020-06-24 02:07:02 +01:00
Suzanne Dupéron
018e269b2e
Have separate ppf and Yojson modules for PP_json
2020-06-24 02:07:02 +01:00
Rémi Lesenechal
2351dda44e
Apply 1 suggestion(s) to 1 file(s)
2020-06-23 23:19:24 +01:00
Rémi Lesenechal
362e33c7f9
Apply 1 suggestion(s) to 1 file(s)
2020-06-23 23:19:24 +01:00
Rémi Lesenechal
27d7856e52
Apply 1 suggestion(s) to 1 file(s)
2020-06-23 23:19:24 +01:00
Rémi Lesenechal
d743605aee
Apply 1 suggestion(s) to 1 file(s)
2020-06-23 23:19:24 +01:00
Lesenechal Remi
b4bf0ae159
using yojson to print typed AST program
2020-06-23 23:19:24 +01:00
Suzanne Dupéron
db051e7d3b
Generic JSON pretty-printer for the typer's AST
2020-06-23 23:19:24 +01:00
Suzanne Dupéron
64c6b8896d
comment
2020-06-23 18:38:22 +02:00
Suzanne Dupéron
424a0b0ba7
Bugfix: equality
2020-06-23 18:38:22 +02:00
Suzanne Dupéron
2c5f1f0e2b
Bugfix in printer
2020-06-23 18:38:22 +02:00
Pierre-Emmanuel Wulfman
aa849f6dcb
renaming of passes
2020-06-23 16:35:28 +02:00
Pierre-Emmanuel Wulfman
46bd0315e2
Merge branch 'contract/basic_multisig' into 'dev'
...
Add a basic multisig contrat
See merge request ligolang/ligo!643
2020-06-19 11:24:28 +00:00
Pierre-Emmanuel Wulfman
c2e4f2f36d
Add pp can assert_value_eq for Literal_op
2020-06-18 18:23:16 +02:00
Pierre-Emmanuel Wulfman
c8b8492ed9
remaking PacscaLIGO simplifier
2020-06-18 17:53:00 +02:00
Lesenechal Remi
c6b95bf07a
result monad refactoring:
...
- do not use plain JSON rep for errors and use polymorphic variants instead
- split formatting for human readable and JSON output
- no more simple_errors simple_fails
- much less result bindings used in stages
2020-06-15 14:45:28 +02:00
Pierre-Emmanuel Wulfman
195175287a
review 2
2020-06-11 11:40:45 +02:00
Pierre-Emmanuel Wulfman
dfcccff748
generating good code
2020-06-11 09:14:45 +02:00
Pierre-Emmanuel Wulfman
b044a4fbc5
wip: compiling code that doesn't typecheck
2020-06-11 09:13:29 +02:00
Pierre-Emmanuel Wulfman
fa7cc825eb
parser and test
2020-06-11 09:13:21 +02:00
Pierre-Emmanuel Wulfman
7872a1d4bc
first attempt
2020-06-11 09:10:44 +02:00
Pierre-Emmanuel Wulfman
be9478bec1
Refactor updates and accessors
2020-06-05 18:17:17 +02:00
Pierre-Emmanuel Wulfman
5896b2a63a
Add new matching cases and fix compilation of match_tuples
2020-06-04 16:37:18 +02:00
Pierre-Emmanuel Wulfman
cc615f1c9f
Change type_operator
2020-06-03 14:29:46 +02:00
Suzanne Dupéron
81358db582
Cleanup of solver.ml, separated the heuristic's definition from its state in the solver (propagator_heuristic vs. propagator_state)
2020-06-03 13:07:48 +01:00
Suzanne Dupéron
7257aaaff4
Solver: use a list of heuristics instead of hardcoding them.
2020-06-03 13:07:48 +01:00
Suzanne Dupéron
861ab57a43
move solver_types to typesystem/ (because of dependencies. It should be merged with the AST really)
2020-06-03 13:07:41 +01:00
Suzanne Dupéron
e2bf0f6466
Split the solver into separate files, no meaningful changes to the code.
2020-05-29 21:23:11 +02:00
Suzanne Dupéron
4a860830b9
bugfix: replace very bogus implementation of add_list with a clean one
2020-05-29 21:23:11 +02:00
Suzanne Dupéron
69a007cca9
Describe the reason why a constraint or type was produced for more typer internals
2020-05-29 21:18:57 +02:00
Pierre-Emmanuel Wulfman
b7da8e3fd4
remove unecessary files
2020-05-29 15:30:03 +02:00
Pierre-Emmanuel Wulfman
e661416056
review 1
2020-05-28 10:53:54 +02:00
Gabriel ALFOUR
294e048aff
remove environments from the ast
2020-05-27 23:01:07 +02:00
Lesenechal Remi
705c29aeed
remove old cases in transpiler
2020-05-26 15:39:06 +02:00
Suzanne Dupéron
851132528d
auto-generated folds: have a distinct input and output type for the state
2020-05-25 21:49:00 +01:00
Suzanne Dupéron
ee5e484bf4
Use the auto-generated comparators as the implementations for the typeclass-like requirements for comparison functions
2020-05-25 20:42:16 +01:00
Suzanne Dupéron
008f228ed7
Hide the intermediate functions from PP_generic's signature
2020-05-25 20:42:16 +01:00
Suzanne Dupéron
92069077df
Auto-generated comparator for AST_typed
2020-05-25 20:42:16 +01:00
Suzanne Dupéron
9a017e5f63
ADT generator: Fixes LIGO-656 Generated fold_maps are unusable because some collection types need extra info (e.g. sets need a comparison operator for their elements)
2020-05-25 20:42:16 +01:00
Suzanne Dupéron
b2d80e0154
Rename src/stages/4-ast_typed/types.ml (part 1: does not build)
2020-05-25 20:42:16 +01:00
Pierre-Emmanuel Wulfman
e04918047c
Merge branch 'fix/srloc_in_mini-c' into 'dev'
...
fix/Add srcloc in mini-c
See merge request ligolang/ligo!582
2020-05-19 21:37:40 +00:00
Jev Björsell
e6e1bc5876
Merge branch 'contract/F1.2_example' into 'dev'
...
TZIP-12: FA1.2 example contract
See merge request ligolang/ligo!600
2020-05-19 15:28:02 +00:00
Pierre-Emmanuel Wulfman
551bf176fe
add srcloc in mini-c
2020-05-18 15:47:59 +02:00
Pierre-Emmanuel Wulfman
6c8b76b3de
add verbatim in lexer and parser
2020-05-18 13:28:31 +02:00
Pierre-Emmanuel Wulfman
7bcf46d3bc
Merge branch 'refactoring_mini-c_type' into 'dev'
...
Refactor Mini-c types for conformity with the other stage
See merge request ligolang/ligo!598
2020-05-13 11:01:20 +00:00
galfour
98d49959b7
add a pass to recompute environments
2020-05-09 13:21:19 +02:00
Lesenechal Remi
9eeac11628
some environment cleanup
2020-05-07 16:30:06 +02:00
Rémi Lesenechal
77b5e15088
Merge branch 'feature/fix-michelson-pair-detection' into 'dev'
...
now check the label to detect michelson pairs
Closes #183
See merge request ligolang/ligo!602
2020-05-05 14:47:09 +00:00
Lesenechal Remi
c54d650a2a
now check the label to detect michelson pairs
2020-05-05 15:21:28 +02:00
Rémi Lesenechal
cadd0d66a9
Merge branch 'feature/quickfix-uncapitalize-michelson-or' into 'dev'
...
uncapitalize micheslon_or's %-annotations
See merge request ligolang/ligo!601
2020-05-05 12:40:00 +00:00
