Code

RFC: Host types for dentaku#14

Code

Closed

jneen wants to merge 9 commits intomasteropencounter/dentaku:masterfrom feature.host-typesopencounter/dentaku:feature.host-typesCopy head branch name to clipboard

+255-68

Commits

Commits on Dec 21, 2020

• better repr for Type::Type

  

  http://jneen.net/

  committed
  f0423bb

  Copy full SHA for f0423bb

• Constraint#repr_with_reason

  

  http://jneen.net/

  committed
  e4268b6

  Copy full SHA for e4268b6

• add a builder for Type::Type and autoconvert to Type::Expression

  

  http://jneen.net/

  committed
  94db2b5

  Copy full SHA for 94db2b5

• Constraint#to_sexpr

  

  http://jneen.net/

  committed
  c144a65

  Copy full SHA for c144a65

• Add check!(expected_type:) to contstrain the whole expression

  

  http://jneen.net/

  committed
  d195ef4

  Copy full SHA for d195ef4

• error refactor: collect as many type errors as possible

  Show description for edb05db
  

  http://jneen.net/

  committed
  edb05db

  Copy full SHA for edb05db

• don't leave out the ast nodes in the left branch of a conjunction

  Show description for 9f9fee2
  

  http://jneen.net/

  committed
  9f9fee2

  Copy full SHA for 9f9fee2

• add Type::SolutionSet#fetch_ast

  

  http://jneen.net/

  committed
  a2dcefa

  Copy full SHA for a2dcefa

• implement host types

  

  http://jneen.net/

  committed
  9d6fa8a

  Copy full SHA for 9d6fa8a