Code

Add comparable typevar constraints#390

Code

Open

ghallak wants to merge 15 commits intomasteraeternity/aesophia:masterfrom ghallak/229aeternity/aesophia:ghallak/229Copy head branch name to clipboard

+522-42

Commits

Commits on Jun 14, 2022

• Add constraints to the syntax and parser

  ghallak

  committed
  3f177d3

  Copy full SHA for 3f177d3

• Use id() for constraints instead of keywords

  ghallak

  committed
  f56eeb0

  Copy full SHA for f56eeb0

• Add constraints to typechecker, fix old tests, add new ones

  ghallak

  committed
  6971303

  Copy full SHA for 6971303

• Fix dialyzer warnings

  ghallak

  committed
  6c17e57

  Copy full SHA for 6c17e57

• Add tests for calling constrained functions

  ghallak

  committed
  fc08fe0

  Copy full SHA for fc08fe0

• Add test for unknown tvar constraints

  ghallak

  committed
  2d17ce3

  Copy full SHA for 2d17ce3

• Add char type to the docs

  ghallak

  committed
  8e6c6d8

  Copy full SHA for 8e6c6d8

• Update CHANGELOG

  ghallak

  committed
  75f2711

  Copy full SHA for 75f2711

• Update the docs

  ghallak

  committed
  46ac9bf

  Copy full SHA for 46ac9bf

Commits on Jun 19, 2022

• Add an example of address type to the docs

  ghallak

  committed
  ea98fc9

  Copy full SHA for ea98fc9

• Formatting fix

  ghallak

  committed
  9d296f0

  Copy full SHA for 9d296f0

• Make address comparable by inequality

  ghallak

  committed
  fc28759

  Copy full SHA for fc28759

• Fix the tests after changing address to ord

  ghallak

  committed
  4562a71

  Copy full SHA for 4562a71

• Update docs/sophia_features.md

  Show description for e8da0a7
  

  ghallak

  and

  radrow

  authored
  e8da0a7

  Copy full SHA for e8da0a7

Commits on Jun 20, 2022

• Add constrained_t to fold

  ghallak

  committed
  21cc6f2

  Copy full SHA for 21cc6f2