Merge pull request #19 from walseb/is-struct #62
alt-romesAnnotations
3 errors and 5 warnings
|
Build
Process completed with exit code 1.
|
|
Build
Data constructor not in scope: False :: FIR.Bool
|
|
Build
Data constructor not in scope: False :: FIR.Bool
|
|
Build
In the use of ‘cycle’
|
|
Build
The qualified import of ‘return’ from module ‘Prelude’ is redundant
|
|
Build
Orphan class instance: instance Lift Vec2
|
|
Build
Orphan class instance: instance Lift Vec3
|
|
Build
Pattern match(es) are non-exhaustive
|