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 |
|
Lesenechal Remi
|
c8339ed2ef
|
first try
|
2019-12-31 14:23:51 +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 |
|
Suzanne Dupéron
|
40b318eff6
|
Rename 4-typer to 4-typer-old (part 2: make changes)
|
2019-11-04 18:40:49 +00:00 |
|
Suzanne Dupéron
|
f41625ceb3
|
Rename 4-typer to 4-typer-old (part 1: move files)
|
2019-11-04 18:39:56 +00:00 |
|
Suzanne Dupéron
|
45347e3e88
|
Bring back copy of the old typer (part 2: changes)
|
2019-10-31 18:19:01 -04:00 |
|
Suzanne Dupéron
|
d57a87a3ea
|
Moving new typer to separate folder
|
2019-10-31 17:43:44 -04:00 |
|
Suzanne Dupéron
|
5c3e1ad642
|
Hack for E_constant with loops shouldn't be necessary in new typer, thanks to typeclasses?
|
2019-10-31 17:19:01 -04: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 |
|
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
|
3f0b9346a5
|
More but not enough of the fold. Filled in holes with failwith, need to implement enough that it passes a test.
|
2019-10-29 20:14:42 -04:00 |
|
Lesenechal Remi
|
e16eac77a6
|
fixes for loop on map.
Untested because of issue with deep tuple access (LIGO-131 LIGO-134)
An error message is in the simplifier
|
2019-10-28 20:52:14 +01:00 |
|
Lesenechal Remi
|
5a77b08aa7
|
cleaning & documenting
|
2019-10-28 20:52:14 +01:00 |
|
Lesenechal Remi
|
a3deccf352
|
changing the name of the lambda to 'arguments' make its arguments available
|
2019-10-28 20:52:14 +01:00 |
|
Lesenechal Remi
|
164e88e818
|
remove shadowing of lambda name over the constant name
|
2019-10-28 20:52:14 +01:00 |
|
Lesenechal Remi
|
91d92e048d
|
special case for pascaligo generated LIST/SET/MAP_FOLD
|
2019-10-28 20:52:14 +01:00 |
|
Suzanne Dupéron
|
dcf5a975d4
|
More of subst
|
2019-10-28 01:10:26 -04:00 |
|
Suzanne Dupéron
|
174c028406
|
Fixing issues in the new typer
|
2019-10-27 23:24:21 -04:00 |
|
Suzanne Dupéron
|
1dc690bbba
|
Bugfix: only one propagator was called. Now they are all (both of them so far) called in turn.
|
2019-10-25 22:30:20 -04:00 |
|
Suzanne Dupéron
|
c4e996d5aa
|
Fixed module issue, thanks Christian
|
2019-10-23 12:17:18 -04:00 |
|
Suzanne Dupéron
|
535c291b3f
|
blabla
|
2019-10-23 10:45:48 -04:00 |
|
Suzanne Dupéron
|
10362426aa
|
blabla
|
2019-10-23 10:41:36 -04:00 |
|
Suzanne Dupéron
|
79967e9067
|
Hit a module problem in OCaml.
|
2019-10-22 08:50:21 -04:00 |
|
Suzanne Dupéron
|
81ab0267f5
|
cleanup
|
2019-10-16 22:19:32 -04:00 |
|
Suzanne Dupéron
|
3bbb8bfd8b
|
Fixed merge issues with new merge of dev
|
2019-10-11 17:01:28 -04:00 |
|
Suzanne Dupéron
|
5a58559edc
|
Merge remote-tracking branch 'origin/dev' into HEAD
|
2019-10-11 16:59:45 -04:00 |
|
Suzanne Dupéron
|
9e2c057edb
|
dune build passes, but not dune build @ligo-test. Threaded the typechecker's state in a bunch of places where it's likely not needed, because I don't know which parts are entrypoints and which parts are intermediate functions, and the role of the state between program fragments is not yet 100% clear to me.
|
2019-10-11 15:21:28 -04:00 |
|
Suzanne Dupéron
|
1356159281
|
WIP on integrating typer with the bin / CLI, fixed last API change
|
2019-10-11 04:08:12 -04:00 |
|
Suzanne Dupéron
|
2a39aa2949
|
Revert "Builds (commented out a few issues, just to check that there are no compilation errors left)"
This reverts commit 581babb459.
|
2019-10-10 03:55:15 -04:00 |
|
Suzanne Dupéron
|
581babb459
|
Builds (commented out a few issues, just to check that there are no compilation errors left)
|
2019-10-10 03:55:08 -04:00 |
|
Suzanne Dupéron
|
acfbd7eb15
|
Nearly builds, only one small API change and integration errors left
|
2019-10-10 03:52:43 -04:00 |
|
Suzanne Dupéron
|
4fa54dd2c1
|
More progress on merging new typer and new dev
|
2019-10-10 01:23:55 -04:00 |
|
Suzanne Dupéron
|
5de98259dc
|
Trying to merge new typer and new dev
|
2019-10-09 00:51:29 -04:00 |
|
Tom Jack
|
e2c831a231
|
Simplify more
|
2019-10-07 16:54:28 +02:00 |
|
Tom Jack
|
3a14ef26ef
|
Simplify?
|
2019-10-07 16:54:28 +02:00 |
|
Lesenechal Remi
|
08a3e08f57
|
add a new T_constant in ast_simplified and ast_typed
|
2019-10-07 16:54:28 +02:00 |
|
Pierre-Emmanuel Wulfman
|
59cb210b83
|
Interface for Ocaml code
|
2019-10-07 14:18:32 +00:00 |
|
Georges Dupéron
|
c1ca3184af
|
WIP: fixing the build errors
|
2019-09-29 18:28:19 -04:00 |
|
Georges Dupéron
|
2b5b23f266
|
WIP: fixing the build errors + missing non-merged code
|
2019-09-29 18:25:02 -04:00 |
|
Georges Dupéron
|
74a09c5ba6
|
WIP: cleaning up some TODOs
|
2019-09-29 00:06:28 +01:00 |
|
Georges Dupéron
|
4dbd2d5873
|
revert indentation change
|
2019-09-29 00:05:54 +01:00 |
|
Georges Dupéron
|
fc80c627fd
|
WIP : instantiation of foralls in some cases
|
2019-09-28 20:26:02 +01:00 |
|
Pierre-Emmanuel Wulfman
|
271a524920
|
WIP; commenting
|
2019-09-28 20:10:30 +01:00 |
|
Pierre-Emmanuel Wulfman
|
e4e77da97c
|
add change for typer.ml
|
2019-09-28 01:56:09 +02:00 |
|
Pierre-Emmanuel Wulfman
|
f657c71753
|
Merge done and repo build with no error
|
2019-09-27 14:55:09 +02:00 |
|
galfour
|
7974469159
|
remove fail
|
2019-09-26 19:30:17 +02:00 |
|
galfour
|
ef2f6060d5
|
deprecate fail
|
2019-09-26 19:13:25 +02:00 |
|
galfour
|
e6ac10f0ce
|
switch from tz to mtz
|
2019-09-24 14:29:18 +02:00 |
|
galfour
|
720ef99c69
|
solve conflict
|
2019-09-22 22:17:28 +02:00 |
|
galfour
|
ad79188c4f
|
add list pattern matching
|
2019-09-21 09:12:00 +02:00 |
|