balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
5,382 Commits 2 Branches 0 Tags 65 MiB
5c2b9646ec
Commit Graph

5382 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Suzanne Dupéron
0297b6033b New typer: constants: use a tuple of arguments, + typechecking rules for constants 2020-02-03 20:20:00 +00:00
Suzanne Dupéron
d2630379ec Merge branch 'bugfix/new-typer-8' into 'dev' 
misc. fixes on the new typer

See merge request ligolang/ligo!369
 2020-02-03 19:48:49 +00:00
Christian Rinderknecht
87685861b9 Merge branch 'fix-gitlab-111' into 'dev' 
Give a proper warning when creating an incorrect let binding.

See merge request ligolang/ligo!376
 2020-02-03 14:06:05 +00:00
Christian Rinderknecht
d92a5499e1 Merge branch 'dev' of gitlab.com:ligolang/ligo into feature/doc-pascaligo-loop 2020-02-03 14:18:06 +01:00
Sander Spies
e92d16fd79 Simplify error case. 2020-02-03 14:03:47 +01:00
Sander Spies
bbe80bcbfb Merge. 2020-02-03 14:01:01 +01:00
Christian Rinderknecht
5293fa3572 Merge branch 'fix-reasonligo-wrongfunctionarguments-error' into 'dev' 
Correct wrong function arguments error message

See merge request ligolang/ligo!375
 2020-02-03 11:34:06 +00:00
Sander Spies
98dab8d491 Extra line. 2020-02-03 11:57:37 +01:00
Sander Spies
1146292a76 Argh 2020-02-03 11:26:23 +01:00
Sander Spies
a0ffc441f3 Forgot to add these. 2020-02-03 11:25:13 +01:00
Sander Spies
bf985797fb - Don't allow to chain let bindings like: let a = let b = 2. 
- Give a proper warning when creating an incorrect let binding.
 2020-02-03 10:53:44 +01:00
Sander Spies
952e291066 Typo 2020-02-03 10:06:28 +01:00
Sander Spies
c1f5080b81 Spacing. 2020-02-03 09:30:42 +01:00
Christian Rinderknecht
87aa50f097 Merge branch 'docs/bytes-reference' into 'dev' 
Add bytes reference page to docs

See merge request ligolang/ligo!371
 2020-02-02 19:29:18 +00:00
Sander Spies
360ee7b45e Wrong extension 2020-02-02 20:07:19 +01:00
Sander Spies
6beccd09a8 Wrong function arguments error message. 2020-02-02 18:08:16 +01:00
Christian Rinderknecht
e6119db35a Merge branch 'dev' of gitlab.com:ligolang/ligo into feature/doc-pascaligo-loop 2020-02-01 15:09:04 +01:00
John David Pressman
477d2e1b12 Add map reference page to docs 2020-01-31 17:22:51 -08:00
John David Pressman
6d421ab4b1 Add Map.add to test suite 2020-01-31 17:13:22 -08:00
Sander
c9426f7cf9 Merge branch 'dune-menhir' into 'dev' 
Move error.messages support to dune

See merge request ligolang/ligo!372
 2020-01-31 19:34:56 +00:00
Sander Spies
bc9cb36d97 Typo. 2020-01-31 19:31:51 +01:00
Sander Spies
6c3879403b Enable incremental parser by default \o/ 
Fix test.
 2020-01-31 17:45:48 +01:00
Sander Spies
ff16af9331 Merge 2020-01-31 16:06:47 +01:00
Sander Spies
c3cb69a0d0 Move error.messages handling to dune. 2020-01-31 16:05:59 +01:00
Christian Rinderknecht
e25bb00961 Forgot to add those fixes to the previous commit. 2020-01-31 14:11:56 +01:00
John David Pressman
be658bd65e Merge branch 'docs/crypto-reference' into 'dev' 
Add crypto reference page to docs

See merge request ligolang/ligo!370
 2020-01-31 12:39:52 +00:00
Christian Rinderknecht
729ecd3f12 Merge branch 'dev' of gitlab.com:ligolang/ligo into feature/doc-pascaligo-loop 2020-01-31 13:30:28 +01:00
John David Pressman
ef83e2c39a Add correction of 'black2b' to changelog 2020-01-31 03:40:59 -08:00
John David Pressman
c8e0654ffe Add crypto reference page to docs 
Change 'black2b' to 'blake2b' in CameLIGO/ReasonLIGO frontend
 2020-01-31 03:34:36 -08:00
Christian Rinderknecht
a9b3d295fd Fixes to the lexer and the parser API. 
* The parameter for logging the lexer is now mandatory.
  * The ParserAPI now thread the logging of the lexer.
  * LexerMain.ml now call the logging of the lexers (CameLIGO, ReasonLIGO).
  * Fixed bug in lexer when a line comment ends with EOF.
 2020-01-31 12:31:25 +01:00
Christian Rinderknecht
fa9372c595 Updated ParErr.ml for ReasonLIGO (may have caused Not_found). 2020-01-31 12:24:25 +01:00
John David Pressman
e127528e95 Add bytes reference page to docs 2020-01-30 12:13:24 -08:00
Suzanne Dupéron
0abc4cd206 Started adding typer for constants 2020-01-30 18:50:19 +00:00
Suzanne Dupéron
a6f0d7297c Improved temporary internal error message 2020-01-30 18:50:19 +00:00
Suzanne Dupéron
96468bd8ff Disabled conversion of records & variants to type constructor + argument list in new typer, the current implementation is just wrong. 2020-01-30 18:50:19 +00:00
Suzanne Dupéron
7ab2ffa156 New typer: fix tuples 2020-01-30 18:50:19 +00:00
Sander
199ec77c2c Merge branch 'cameligo-type-tuple-bug' into 'dev' 
ReasonLIGO improvements to better handle tuples and function arguments

See merge request ligolang/ligo!365
 2020-01-30 17:38:01 +00:00
Sander
6551168a56 ReasonLIGO type declaration improvements for tuples and function arguments. 
CameLIGO tests for tuples and function arguments.
 2020-01-30 17:38:01 +00:00
Tom Jack
780e8e956c Merge branch 'bugfix/religo-missing-in-some-docs' into 'dev' 
Updated some docs that did not include reasonligo / .religo yet

See merge request ligolang/ligo!368
 2020-01-29 19:57:01 +00:00
Rémi Lesenechal
61e293da64 Merge branch 'bugfix/doc-declaration-constant' into 'dev' 
bugfix/doc declaration constant

See merge request ligolang/ligo!367
 2020-01-29 18:34:05 +00:00
Suzanne Dupéron
8eb6472b00 Updated some docs that did not include reasonligo / .religo yet 2020-01-29 18:02:55 +00:00
Suzanne Dupéron
c534d6dff2 Cleanup 2020-01-29 17:37:10 +00:00
Suzanne Dupéron
821c980e3e documentation for Declaration_constant 2020-01-29 17:36:34 +00:00
Christian Rinderknecht
d938dd0492 Merge branch 'rinderknecht-dev' into 'dev' 
Refactoring of the front-end towards integration of the local and global builds

See merge request ligolang/ligo!358
 2020-01-29 16:50:42 +00:00
Francis Brunelle
562f7d1b10 Merge branch 'dev' into 'dev' 
# Conflicts:
#   gitlab-pages/docs/advanced/entrypoints-contracts.md
#   gitlab-pages/docs/language-basics/boolean-if-else.md
#   gitlab-pages/docs/language-basics/functions.md
 2020-01-29 16:31:09 +00:00
Christian Rinderknecht
df584c7006 Merge branch 'feature/LIGO-258-update-docs' into 'dev' 
LIGO-258 Docs updates

Closes LIGO-258

See merge request ligolang/ligo!272
 2020-01-29 16:15:03 +00:00
Matej Šima
518c743172 LIGO-258 Docs updates 2020-01-29 16:15:03 +00:00
Christian Rinderknecht
a6bf16cbe2 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev 2020-01-29 16:49:42 +01:00
Christian Rinderknecht
e2363d558c Merge branch 'dev' of gitlab.com:ligolang/ligo into feature/doc-pascaligo-loop 2020-01-29 16:32:47 +01:00
Christian Rinderknecht
04381b9dcf Merge branch 'feature/doc-pascaligo-loop' into 'dev' 
Some doc update for Ligo training

See merge request ligolang/ligo!364
 2020-01-29 14:56:50 +00:00