Commit Graph

5470 Commits

Author SHA1 Message Date
Jev Björsell
7d94a41d92
Missed one stray environment variable 2020-02-07 08:01:07 -08:00
Rémi Lesenechal
5ef271484f Merge branch 'feature/assertion-fix' into 'dev'
Fix assetion with a default string "failed assertion"

Closes #139

See merge request ligolang/ligo!385
2020-02-07 15:54:15 +00:00
Jev Björsell
5aaf042e5d Merge branch 'feature/import_ide' into 'dev'
Import webide into main ligo monorepo

See merge request ligolang/ligo!390
2020-02-07 15:26:43 +00:00
Jev Björsell
836eb3f062 Merge branch 'ci/env_vars' into 'dev'
Move CI ENV vars and use a recent docker image

See merge request ligolang/ligo!389
2020-02-07 15:20:09 +00:00
Lesenechal Remi
5ef61d3520 add assert primitive for pascaligo 2020-02-07 15:28:46 +01:00
Lesenechal Remi
54f4ffd413 Fix assetion with a default string "failed assertion" 2020-02-07 15:27:16 +01:00
John David Pressman
4c45eb9fb3 Add string reference page to docs 2020-02-07 05:27:23 -08:00
Sander
bd4a75016d Merge branch 'add_lsl_lsr' into 'dev'
Add lsl and lsr support.

Closes #146

See merge request ligolang/ligo!387
2020-02-07 11:08:13 +00:00
Sander Spies
560ae6e0bc Remove block skips. 2020-02-07 11:10:47 +01:00
Jev Björsell
c119c44c13
Import webide into main ligo monorepo
When this is merged https://gitlab.com/ligolang/ligo-web-ide/ will be
marked as deprecated.

This MR does not hook up the webide build to the main CI. The CI
integration will come in a subsequent MR for the sake of making review
easier.
2020-02-06 19:04:18 -08:00
Jev Björsell
dfb4c4caa3
Move CI ENV vars and use a recent docker image
When this MR is merged, remove `LIGO_REGISTRY_IMAGE_BASE_NAME` and
`LIGO_REGISTRY_IMAGE` from gitlabs CI settings: https://gitlab.com/ligolang/ligo/-/settings/ci_cd

This will allow CI builds to run in forked repositories.

Use a recent docker/dind image that supports `--cache-from` which will
be put to use in later MRs.
2020-02-06 18:43:24 -08:00
Rémi Lesenechal
8003a9e2b1 Merge branch 'feature/remove-useless-constants' into 'dev'
Remove useless constants

See merge request ligolang/ligo!388
2020-02-06 21:26:04 +00:00
Suzanne Dupéron
d3a34445f4 Merge branch 'bugfix/new-typer-9' into 'dev'
New typer: constants: use a tuple of arguments, + typechecking rules for constants

See merge request ligolang/ligo!378
2020-02-06 20:56:04 +00:00
Lesenechal Remi
78693b482c remove unused test 2020-02-06 18:12:44 +01:00
Lesenechal Remi
784c2da81b Remove useless constants:
* C_HASH (removed)
* C_MAP_GET --replaced--> C_MAP_FIND_OPT
* C_MAP_GET_FORCE --replaced--> C_MAP_FIND
2020-02-06 18:08:51 +01:00
Sander Spies
e14dd18680 Correction: lsl and lsr are impure 2020-02-06 17:30:50 +01:00
Sander Spies
9433fa9bc4 Add lsl and lsr support. 2020-02-06 16:17:33 +01:00
Lesenechal Remi
c82ae6359a fix broken .md file (sets-lists-tuples) 2020-02-06 13:34:32 +01:00
Christian Rinderknecht
9f9f5c82ae Added an example about lambdas. 2020-02-06 12:32:23 +01:00
Christian Rinderknecht
3583f72cb4 Improvements from Sander and JDP. 2020-02-06 11:48:59 +01:00
Christian Rinderknecht
61ec0f41c3 Merge branch 'dev' of gitlab.com:ligolang/ligo into feature/doc-pascaligo-loop 2020-02-05 20:02:06 +01:00
John David Pressman
8232eecc6e Merge branch 'rinderknecht-dev' into 'dev'
[PascaLIGO] Forgot to check that function parameters are not reserved names.

See merge request ligolang/ligo!384
2020-02-05 17:45:52 +00:00
Christian Rinderknecht
26059c281a Forgot to check that function parameters are not reserved names. 2020-02-05 18:09:45 +01:00
Christian Rinderknecht
7a484cb45c Merge branch 'dev' of gitlab.com:ligolang/ligo into feature/doc-pascaligo-loop 2020-02-05 16:29:37 +01:00
Christian Rinderknecht
410bbb0723 Complete rewrite of the documentation. 2020-02-05 16:28:40 +01:00
John David Pressman
04daf776d3 Add rough draft of big map reference page to docs 2020-02-04 23:08:47 -08:00
John David Pressman
59448e1d91 Add partial draft of Current library documentation and unit tests for Current.amount 2020-02-04 20:27:56 -08:00
Sander
71474e1b0d Merge branch 'reasonligo_missing_rpar' into 'dev'
ReasonLIGO: missing ')' error message.

See merge request ligolang/ligo!380
2020-02-04 15:09:38 +00:00
Sander Spies
79fd0317ae Merge 2020-02-04 15:05:13 +01:00
Pierre-Emmanuel Wulfman
cf7bc9374d Merge branch 'feature/get_contract_opt' into 'dev'
add get_contract_opt and get_entrypoint_opt to ligo

See merge request ligolang/ligo!362
2020-02-04 13:36:22 +00:00
Sander Spies
0f9b92b83f Oops. 2020-02-04 14:02:57 +01:00
Sander
ce69939e1b Merge branch 'reasonligo-optional-semicolon' into 'dev'
ReasonLIGO: Make the semicolon optional in more cases.

See merge request ligolang/ligo!379
2020-02-04 12:55:39 +00:00
Pierre-Emmanuel Wulfman
7c4871babc add test 2020-02-04 13:38:17 +01:00
Pierre-Emmanuel Wulfman
4195026d73 add get_contract_opt and get_entrypoint_opt to ligo 2020-02-04 13:38:17 +01:00
Sander Spies
795f0d4056 ReasonLIGO: missing ')' error message. 2020-02-04 13:31:41 +01:00
Sander Spies
3461af53dd ReasonLIGO: Make the semicolon optional in more cases. 2020-02-04 12:52:12 +01:00
Sander
21c5055650 Merge branch 'optional-vbar-sum-type' into 'dev'
Optional vbar for ReasonLIGO sumtypes

See merge request ligolang/ligo!377
2020-02-04 10:39:16 +00:00
Sander
fbc61eb809 Optional vbar for ReasonLIGO sumtypes 2020-02-04 10:39:15 +00:00
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