Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

Primary navigation

Project

LIGO
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Terraform modules
- Incidents
- Service Desk

Snippets Groups Projects

04a2f8d9

Commit 04a2f8d9 authored 2 years ago by Sander

Downloads
- Plain Diff

Merge branch jsligo_discriminatory_union with refs/heads/dev into refs/merge-requests/1973/train

parents 1dc3eafb 73847ee3

No related branches found

No related tags found

Loading

Checking pipeline status

Changes 13
Pipelines 1

Hide whitespace changes

Inline Side-by-side

Showing

changelog/1973 5 additions, 0 deletions

changelog/1973
gitlab-pages/docs/language-basics/unit-option-pattern-matching.md 58 additions, 0 deletions

...ages/docs/language-basics/unit-option-pattern-matching.md
src/main/fuzz/jsligo/helpers.ml 14 additions, 0 deletions

src/main/fuzz/jsligo/helpers.ml
src/passes/02-parsing/jsligo/Parser.mly 6 additions, 1 deletion

src/passes/02-parsing/jsligo/Parser.mly
src/passes/02-parsing/jsligo/Pretty.ml 4 additions, 0 deletions

src/passes/02-parsing/jsligo/Pretty.ml
src/passes/02-parsing/jsligo/errors.msg.in 8 additions, 8 deletions

src/passes/02-parsing/jsligo/errors.msg.in
src/passes/04-tree_abstraction/jsligo/compiler.ml 228 additions, 119 deletions

src/passes/04-tree_abstraction/jsligo/compiler.ml
src/passes/04-tree_abstraction/jsligo/discriminated_union.ml 128 additions, 0 deletions

src/passes/04-tree_abstraction/jsligo/discriminated_union.ml
src/passes/04-tree_abstraction/jsligo/errors.ml 46 additions, 0 deletions

src/passes/04-tree_abstraction/jsligo/errors.ml
src/stages/1-cst/jsligo/CST.ml 6 additions, 3 deletions

src/stages/1-cst/jsligo/CST.ml
src/stages/1-cst/jsligo/Print.ml 6 additions, 0 deletions

src/stages/1-cst/jsligo/Print.ml
src/test/contracts/disc_union.jsligo 20 additions, 0 deletions

src/test/contracts/disc_union.jsligo
src/test/integration_tests.ml 9 additions, 0 deletions

src/test/integration_tests.ml

with 538 additions and 131 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment