jstolarek/inferno

Issues

• Frozen Inferno infers a different type in A• example

  #45 opened 3 years ago by jstolarek
  0

• Implement lists in the client

  #44 opened 3 years ago by jstolarek
  0

• Segmentation fault

  #12 opened 4 years ago by jstolarek
  4

• Update comments

  #26 opened 3 years ago by jstolarek
  1

• Delete unused functions in `Generalization` module

  #43 opened 3 years ago by jstolarek
  0

• `remove_from_pool` most likely redundant

  #41 opened 3 years ago by jstolarek
  1

• `Generalization.unbound_quantifiers` and `Generalization.unbound_tyvars` could use more testing

  #42 opened 3 years ago by jstolarek
  0

• Carry more information in `UnifyMono` exception

  #40 opened 3 years ago by jstolarek
  0

• Skolemizing monomorphic quantifiers in bad3 and bad4

  #36 opened 4 years ago by jstolarek
  0

• Potential value restriction bug

  #27 opened 4 years ago by jstolarek
  1

• Differences in constraint language between implementation and formalisation

  #38 opened 3 years ago by jstolarek
  0

• Merge skolem and mono flags in the variable descriptor

  #39 opened 3 years ago by jstolarek
  0

• Implement correct semantics for let_mono constraints

  #35 opened 4 years ago by jstolarek
  0

• Freezing of variables without quantifiers is broken

  #30 opened 4 years ago by jstolarek
  2

• Allow unbound variables in signatures

  #37 opened 4 years ago by jstolarek
  0

• Problems with generalization on let_mono branch (PR #33)

  #34 opened 4 years ago by jstolarek
  2

• Redundant mono constraints on variables with structure?

  #29 opened 4 years ago by jstolarek
  0

• Broken type variable scoping

  #31 opened 4 years ago by jstolarek
  1

• Print restrictions

  #32 opened 4 years ago by jstolarek
  0

• Contact inferno authors

  #25 opened 4 years ago by jstolarek
  0

• No kind environment

  #28 opened 4 years ago by jstolarek
  1

• Value restriction

  #24 opened 4 years ago by jstolarek
  8

• Alpha-equivalence

  #15 opened 4 years ago by jamescheney
  11

• Incorrect ranks of type constructors created from annotations

  #22 opened 4 years ago by jstolarek
  0

• Mixed-prefix unification

  #17 opened 4 years ago by jamescheney
  6

• Test freezing of types without top-level quantifiers

  #18 opened 4 years ago by jstolarek
  1

• Test scoping of quantifiers

  #20 opened 4 years ago by jstolarek
  0

• Instantiation of nested quantifiers broken

  #19 opened 4 years ago by jstolarek
  0

• Polymorphism and binding

  #16 opened 4 years ago by jamescheney
  3

• Inconsistent skolemization

  #11 opened 4 years ago by jstolarek
  3

• Test nested lets

  #13 opened 4 years ago by jstolarek
  1

• Using type schemes outside of their scope (E3∘ example)

  #6 opened 4 years ago by jstolarek
  9

• `let` signatures without quantifiers broken when type scheme inferred

  #9 opened 4 years ago by jstolarek
  4

• Experimental skolem unification

  #8 opened 4 years ago by jstolarek
  5

• Unbound generalizable variables

  #10 opened 4 years ago by jstolarek
  3

• Instantiation of nested quantifier might not work as expected

  #7 opened 4 years ago by jstolarek
  1

• 0 rank used when signature provided on a let binding

  #2 opened 4 years ago by jstolarek
  5

• Assertion in `register` always fails

  #4 opened 4 years ago by jstolarek
  4

• Skolemization of quantifiers in a lambda binder type annotation

  #3 opened 4 years ago by jstolarek
  0

• Debug output causes stack overflow with infinite types

  #1 opened 4 years ago by jstolarek
  0