unison/unison-src/transcripts/fix4397.md

mirror of https://github.com/unisonweb/unison.git synced 2024-09-11 10:35:57 +03:00
```unison:error
structural type Foo f
  = Foo (f ())
unique type Baz = Baz (Foo Bar)

unique type Bar 
  = Bar Baz
```
Modify kind inference constraint generation order add all decl constraints in component before any constructor constraints 2023-11-18 00:36:27 +03:00			```unison:error
add transcript demonstrating issue #4397 2023-11-18 00:32:40 +03:00			`structural type Foo f`
			`= Foo (f ())`
			`unique type Baz = Baz (Foo Bar)`

			`unique type Bar`
			`= Bar Baz`
			```