You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
type Woot.List = Oog
use Woot List
-- works great
foo : List -> Nat
foo = cases
Oog -> 42
-- does not typecheck, unless I manually do `Woot.List` here
type Blah = Uno List | Dos List
❓
I couldn't resolve any of these symbols:
12 | type Blah = Uno List | Dos List
Symbol Suggestions
List Woot.List
lib.base.data.List
The text was updated successfully, but these errors were encountered:
The text was updated successfully, but these errors were encountered: