balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
4,870 Commits 2 Branches 0 Tags 65 MiB
817e94603b
Commit Graph

4870 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Christian Rinderknecht
dad9b0f816 Refactoring of the AST and simplfier of PascaLIGO. 
Some weeks ago, anonymous functions as expressions were added to
PascaLIGO, unfortunately in a manner that allowed in theory for
contexts in which a named function was found when an anonymous was
expected, and vice-versa. That explains that the simplifier had two new possible errors:

   * unexpected_anonymous_function
     ("you provided a function declaration without name")
   * unexpected_named_function

I changed the AST and the parser so that function expressions
correspond to anonymous functions (without block) and function
declarations correspond to named functions.

I also removed a error in the simplifier, which was unused:

   * bad_bytes
     ("you provided a function expression with a name (remove it)")
 2020-01-09 17:26:07 +01:00
Tom Jack
10eebf69bd Support always-failing conditionals 2020-01-09 09:47:54 -06:00
Christian Rinderknecht
3b5c25114d Merge branch 'rinderknecht-dev' into 'dev' 
Moved stuff to module [SyntaxError] from [AST] and [Parser].

See merge request ligolang/ligo!317
 2020-01-09 14:58:01 +00:00
Christian Rinderknecht
c347d1b08b Removed temporary Emacs file. 2020-01-09 15:55:58 +01:00
Christian Rinderknecht
9426222d86 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev 2020-01-09 14:27:17 +01:00
Christian Rinderknecht
d123abd46f Added new error for duplicated record fields. 
Removed interface for the AST (for maintenance sake).
 2020-01-09 14:26:47 +01:00
Rémi Lesenechal
3cfbd60cd2 Merge branch 'fix-negative-pos-error' into 'dev' 
Improve error handling of negative start positions.

See merge request ligolang/ligo!321
 2020-01-09 11:33:21 +00:00
Sander Spies
8904ededb7 Improve error handling of negative start positions. 2020-01-09 10:41:24 +00:00
John David Pressman
9f0eb8a868 Merge branch 'feature/contrain-md-block-args' into 'dev' 
[LIGO-366] check md block args

See merge request ligolang/ligo!320
 2020-01-09 10:26:46 +00:00
Lesenechal Remi
ad4dc27122 skip code block with #include 2020-01-09 10:34:30 +01:00
Lesenechal Remi
af5c32cb98 checking .md file arguments 2020-01-09 10:33:44 +01:00
Christian Rinderknecht
330d2ab351 Forgot to commit this. 2020-01-08 23:47:37 +01:00
Christian Rinderknecht
b8017ca8ac Moved stuff to module [SyntaxError] from [AST] and [Parser]. 
Added support for the rejection of non-linear patterns in PascaLIGO.
 2020-01-08 23:35:09 +01:00
Christian Rinderknecht
9bdb0a63cd Merge branch 'feature/cameligo-application-fix' into 'dev' 
[LIGO-227] Fix CameLIGO function application

See merge request ligolang/ligo!222
 2020-01-08 20:58:26 +00:00
John David Pressman
71989876db Fix a bug, test added: 
A never accounted message was not adding anything to the map
 2020-01-08 20:58:26 +00:00
Christian Rinderknecht
1cc6ce548c Merge branch 'feature/update-union-find' into 'dev' 
Update union find

See merge request ligolang/ligo!307
 2020-01-08 19:01:49 +00:00
Suzanne Dupéron
13ff600509 union-find: rename partition to UnionFind for more consistency across the various names that opam and dune assign to this library 2020-01-08 18:12:00 +00:00
Suzanne Dupéron
dd9a4dfb47 update union-find library (part 2: adjust module names) 2020-01-08 18:12:00 +00:00
Suzanne Dupéron
5e444dd278 update union-find library (part 1: remove old copy, download https://github.com/rinderknecht/UnionFind.git 3fc434d0d75e40d40d17f5abb70d86a51f434771 in new folder) 2020-01-08 18:12:00 +00:00
Christian Rinderknecht
d49a72847a Merge branch 'rinderknecht-dev' into 'dev' 
Fixing and adding errors in the parser

See merge request ligolang/ligo!316
 2020-01-08 17:09:48 +00:00
Christian Rinderknecht
cfe5494608 Fixed the examples in Markdown after my last MR forbidding 
the shadowing of predefined values (like [balance] here).
 2020-01-08 17:16:09 +01:00
Christian Rinderknecht
8bdc103ec8 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev 2020-01-08 16:46:59 +01:00
Christian Rinderknecht
9e7c97637c Added support for language-specific parse errors for PascaLIGO: 
* Duplicate variants in the same type declaration
   * Duplicate parameter in the same function declaration
   * Shadowing of predefined value in a declaration

I fixed the architecture for that support: ParserMain.ml is now where
those specific errors are handled, and they are produced by the
semantic actions of the parsers.
 2020-01-08 16:39:52 +01:00
John David Pressman
e96bfc1c87 Merge branch 'docs/changelog' into 'dev' 
[LIGO-347] Add changelog

See merge request ligolang/ligo!300
 2020-01-08 10:54:21 +00:00
John David Pressman
16ac289381 [LIGO-347] Add changelog 2020-01-08 10:54:21 +00:00
Rémi Lesenechal
3fecff3a60 Merge branch 'rinderknecht@cover' into 'dev' 
cover.sh --messages ....

See merge request ligolang/ligo!312
 2020-01-07 23:16:00 +00:00
Christian Rinderknecht
6a1939553e Added --messages. 2020-01-07 22:26:47 +00:00
Sander
00233fd887 Merge branch 'initial-lexer-error-testing' into 'dev' 
Initial testing of the lexer errors.

See merge request ligolang/ligo!309
 2020-01-07 20:35:04 +00:00
Sander
8dd936ab90 Test lexer error messages. 2020-01-07 20:35:04 +00:00
Rémi Lesenechal
8fa21ffed4 Merge branch 'improve-simplifier-self-pass-errors' into 'dev' 
[LIGO-332] improve simplifier self pass errors

See merge request ligolang/ligo!302
 2020-01-07 19:27:12 +00:00
Lesenechal Remi
05afd6c8c7 improve simplifier self pass errors 2020-01-07 18:32:32 +00:00
Sander
7434db862f Merge branch 'fix-parser-errors' into 'dev' 
Show proper parser error messages in the terminal again.

See merge request ligolang/ligo!308
 2020-01-07 15:07:32 +00:00
Sander Spies
8f57f63be7 Show proper parser error messages in the terminal again. 2020-01-07 12:15:54 +00:00
Christian Rinderknecht
de0657e8f2 Merge branch 'dev' of gitlab.com:ligolang/ligo into rinderknecht-dev 2020-01-07 12:54:05 +01:00
John David Pressman
aeadaff42b Merge branch 'docs/map-docs-update' into 'dev' 
[LIGO-342] Add big maps to docs, change example used for ordinary maps

Closes #115

See merge request ligolang/ligo!297
 2020-01-07 07:32:44 +00:00
John David Pressman
3b806d0bb7 [LIGO-342] Add big maps to docs, change example used for ordinary maps 2020-01-07 07:32:44 +00:00
Tom Jack
6b54f43f86 Merge branch 'feature/deep-location' into 'dev' 
Show 'deepest' location for errors

See merge request ligolang/ligo!288
 2020-01-07 01:24:55 +00:00
Tom Jack
6716af9123 Eliminate some spurious synonyms of "location" 2020-01-07 00:34:41 +00:00
Tom Jack
e73c901135 Show 'deepest' location for errors 2020-01-07 00:34:41 +00:00
Rémi Lesenechal
dff0367a56 Merge branch '92-map_update-key_hash-is-not-comparable' into 'dev' 
Resolve "map_update: key_hash is not comparable"

Closes #92

See merge request ligolang/ligo!310
 2020-01-06 22:44:24 +00:00
Lesenechal Remi
d885eb8d4a check key_hash format 2020-01-06 22:52:30 +01:00
Lesenechal Remi
2667ed62b3 fix indent (unrelated) 2020-01-06 22:29:07 +01:00
Lesenechal Remi
55a8734c81 key_hash now comparable 2020-01-06 21:31:54 +01:00
Lesenechal Remi
6841609362 allow key_hash literals 2020-01-06 21:31:45 +01:00
Rémi Lesenechal
012ee0740b Merge branch 'fix-entry-point-aggregation' into 'dev' 
Fix entry point aggregation

See merge request ligolang/ligo!305
 2020-01-06 19:32:50 +00:00
Lesenechal Remi
a0a8f114c0 replaces remove_from by take which does not raise any exceptions 2020-01-06 19:24:41 +01:00
Lesenechal Remi
8ce4772ae4 add tests 2020-01-06 18:51:43 +01:00
Lesenechal Remi
7e05b7d276 now removes the entry-point declaration from the program before aggregation 2020-01-06 18:41:53 +01:00
Sander
316ea3bd9a Merge branch 'gardening_error_handling_parser' into 'dev' 
Show lexer error messages in CameLIGO + PascaLIGO.

See merge request ligolang/ligo!304
 2020-01-06 13:36:07 +00:00
Sander Spies
301defda3f Show lexer error messages in CameLIGO + PascaLIGO. 2020-01-06 13:46:11 +01:00