unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-08-15 13:30:27 +03:00
Code Issues Projects Releases Wiki Activity
trunk
unison/unison-src/transcripts/fix4397.md
Travis Staton 545fb19261
Modify kind inference constraint generation order 
add all decl constraints in component before any constructor constraints
2023-11-17 16:37:13 -05:00

119 B
Raw Permalink Blame History 

structural type Foo f
  = Foo (f ())
unique type Baz = Baz (Foo Bar)

unique type Bar 
  = Bar Baz