thufschmitt/tix

Issues

• Type record litterals

  #6 opened 7 years ago by thufschmitt
  0

• Fix subtyping of the gradual type

  #7 opened 7 years ago by thufschmitt
  0

• Check for duplicate between a record field and an alias in patterns

  #8 opened 7 years ago by thufschmitt
  0

• Allow any order for annotation in record pattern fields

  #9 opened 7 years ago by thufschmitt
  0

• Type access paths

  #10 opened 7 years ago by thufschmitt
  0

• Report correct errors for conversion errors between nix and simple AST

  #11 opened 7 years ago by thufschmitt
  0

• Compile recursive records

  #12 opened 7 years ago by thufschmitt
  0

• Fix list regexes

  #13 opened 7 years ago by thufschmitt
  0

• The type of `x` should be refined in `if x = e0 then e1 else e2`

  #3 opened 7 years ago by thufschmitt
  0

• Rewrite boolean combinations in "if" clauses

  #4 opened 7 years ago by thufschmitt
  0

• Parse paths and urls

  #5 opened 7 years ago by thufschmitt
  0

• Use De Bruijn indices for nix-light ast

  #1 opened 7 years ago by thufschmitt
  1

• Separate recursive and non-recursive let-bindings in nix-light

  #2 opened 7 years ago by thufschmitt
  1