Georges Dupéron
02785aa754
Added failwith to camligo
2019-06-05 19:21:15 +02:00
Georges Dupéron
da4e3e5b80
improved --help docs
2019-06-05 19:21:15 +02:00
Georges Dupéron
347774e42b
Improved error messages
2019-06-05 19:21:15 +02:00
Christian Rinderknecht
0e01353c7d
Finished upgrading the error reporting for Pascaligo.
2019-06-05 17:51:06 +02:00
Matej Sima
0e82c183ec
Update CI config to create & deploy 'next' version of docs
2019-06-05 16:46:00 +02:00
Georges Dupéron
e0228f352c
fix build (my bad)
2019-06-05 14:26:01 +02:00
Georges Dupéron
64e848b2de
structured errors for ast_typed/misc.ml
2019-06-05 11:48:33 +02:00
Georges Dupéron
24db060dae
Use internal_assertion_fail instead of the simple_error that are just assertions
2019-06-05 11:38:59 +02:00
Georges Dupéron
1750895a65
removed simple_fail from ast_typed/misc.ml
2019-06-05 10:52:41 +02:00
Galfour
e62178cee6
Merge branch '8-reporting-of-error-messages' into dev
2019-06-05 07:45:13 +00:00
Galfour
1ccaef23fb
Merge branch '8-reporting-of-error-messages' of gitlab.com:ligolang/ligo into 8-reporting-of-error-messages
2019-06-05 06:43:45 +00:00
Galfour
1fa727061b
add test hierarchy
2019-06-05 06:43:33 +00:00
Christian Rinderknecht
358b2fda83
Merge branch '8-reporting-of-error-messages' of gitlab.com:ligolang/ligo into 8-reporting-of-error-messages
2019-06-04 16:12:39 +02:00
Christian Rinderknecht
97dd2db4b8
I forbade local entry points in Pascaligo (meaningless).
...
I refactored the projections in Ligodity (AST), so they have the
same name and types as in Pascaligo, which will ease the creation
of module CommonErrors in a file.
2019-06-04 16:12:17 +02:00
Georges Dupéron
22f930b531
locations in error messages in typer.ml where possible
2019-06-04 14:24:24 +02:00
Christian Rinderknecht
8562586bbd
Merge branch '8-reporting-of-error-messages' of gitlab.com:ligolang/ligo into 8-reporting-of-error-messages
2019-06-04 13:45:26 +02:00
Christian Rinderknecht
4f60f23769
Finished changing the error reporting.
2019-06-04 13:45:21 +02:00
Gabriel Alfour
b701315ac6
Merge branch 'feature/#9-add-contributor-docs' into 'dev'
...
#9 add contributor docs, #10 visual overhaul of the LIGO website
See merge request ligolang/ligo!13
2019-06-04 10:52:56 +00:00
Galfour
44d6f31a1d
Merge branch '8-reporting-of-error-messages' of gitlab.com:ligolang/ligo into 8-reporting-of-error-messages
2019-06-04 08:21:24 +00:00
Galfour
388c5e6a09
errorm messages for the transpiler
2019-06-04 08:21:13 +00:00
Georges Dupéron
987d65f227
Structured error messages for typer (still needs to print srclocs)
2019-06-04 03:27:29 +02:00
Christian Rinderknecht
fd3460c890
Added more newly styled error message triggering.
2019-06-03 19:23:40 +02:00
Georges Dupéron
8ada684e34
More structured errors
2019-06-03 19:00:00 +02:00
Matej Sima
ed9a398480
Merge branch 'feature/#10-website-visual-overhaul' into feature/#9-add-contributor-docs
...
# Conflicts:
# gitlab-pages/website/siteConfig.js
# gitlab-pages/website/static/css/custom.css
2019-06-03 18:55:06 +02:00
Matej Sima
1b9e5cd7e6
Migrate contributors docs from google docs
2019-06-03 18:48:54 +02:00
Matej Sima
08cacccaa4
Add Team & Partners, visual tweaks
2019-06-03 18:16:05 +02:00
Georges Dupéron
eee4367df9
More structured errors
2019-06-03 17:50:16 +02:00
Christian Rinderknecht
963507ddc0
Fixed the "end of stream" in the Ligodity parser. Started replacing
...
new error reporting in ligodity.ml.
2019-06-03 17:43:25 +02:00
Georges Dupéron
c2643f5b4c
Use structured errors in typer
2019-06-03 16:09:31 +02:00
Georges Dupéron
0e484f5bc1
Started matching errors in typechecker
2019-06-03 14:56:29 +02:00
Galfour
0e17e8b274
minor fixes
2019-06-03 12:23:46 +00:00
Galfour
b65c9ca67f
fix cli
2019-06-03 11:07:24 +00:00
Galfour
8c81432281
modify trace; oldify multifix
2019-06-03 10:33:13 +00:00
Matej Sima
0f6f02328a
Add a contributors docs subfolder & docs website config
2019-06-03 11:20:32 +02:00
Matej Sima
30e55b4a12
Cleanup redundant files
2019-06-03 11:12:05 +02:00
Gabriel Alfour
51e231d71b
Merge branch '2-support-for-cameligo-in-the-binary' into 'dev'
...
Resolve "Support for Cameligo in the binary"
See merge request ligolang/ligo!7
2019-06-01 13:49:27 +00:00
Galfour
df063ad180
Merge branch 'dev' into 2-support-for-cameligo-in-the-binary
2019-06-01 12:58:39 +00:00
Gabriel Alfour
c322b1cd13
Merge branch 'georges-ligo-remote-master-only' into 'dev'
...
CI: the job which installs from the remote OPAM repository should be executed only when the master branch is being built
See merge request ligolang/ligo!6
2019-06-01 12:40:01 +00:00
Galfour
a7298dc16d
fix cli.ml
2019-06-01 11:51:49 +00:00
Georges Dupéron
8789004f43
build the remote-repo job only on master
2019-06-01 13:44:08 +02:00
Galfour
6febd855c4
fix ligodity; add it to the bin; add source locations; merge
2019-06-01 11:29:31 +00:00
Galfour
8d6f19ac6c
very unstable state
2019-06-01 08:37:43 +00:00
Galfour
055bee804e
fix ligodity issues
2019-05-31 22:03:06 +00:00
Galfour
320d0c1a72
various refactorings to prepare tests; tests for ligodity don't pass
2019-05-31 19:56:51 +00:00
Galfour
009b0331e9
add cameligo to the cli
2019-05-29 22:13:04 +00:00
Galfour
79af0abab3
propagate source-code locations to ast_typed
2019-05-28 17:02:40 +00:00
Galfour
5b42d72e41
propagate source code locations from ligodity
2019-05-28 16:34:53 +00:00
Galfour
79b88ab4ba
Merge branch 'master' of gitlab.com:ligolang/ligo
2019-05-28 15:47:29 +00:00
Gabriel Alfour
9059c3c2f1
Merge branch 'rinderknecht-dev' into 'master'
...
Added simplifications of Ligodity for lambdas, sequences and conditionals.
See merge request ligolang/ligo!5
2019-05-28 15:47:16 +00:00
Galfour
c32ace3afc
propagate source code locations
2019-05-28 15:36:14 +00:00
