Combine constraint generator and constraint solver #56
Annotations
10 warnings
bootstrap/src/Tlang/Inference/Kind.hs#L35
Defined but not used: ‘generalize’
|
bootstrap/src/Tlang/Inference/Kind.hs#L39
Defined but not used: ‘close’
|
bootstrap/src/Tlang/Inference/Kind.hs#L46
Defined but not used: ‘substitute’
|
bootstrap/src/Tlang/Inference/Kind.hs#L66
Defined but not used: ‘failUnify’
|
bootstrap/src/Tlang/Inference/Kind.hs#L69
Defined but not used: ‘mkGraft’
|
bootstrap/src/Tlang/Inference/Kind.hs#L74
Defined but not used: ‘unify’
|
bootstrap/src/Tlang/Inference/Kind.hs#L82
Pattern match(es) are non-exhaustive
|
bootstrap/src/Tlang/Inference/Kind.hs#L109
• Redundant constraints: (HasState
|
bootstrap/src/Tlang/Inference/Kind.hs#L120
Defined but not used: ‘genConstraint’
|
bootstrap/src/Tlang/Inference/Kind.hs#L129
Pattern match(es) are non-exhaustive
|
The logs for this run have expired and are no longer available.
Loading