Skip to content

Fix typo in test

Fix typo in test #53

Triggered via push August 23, 2023 11:58
Status Success
Total duration 8m 2s
Artifacts

haskell.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
build: bootstrap/src/Tlang/Inference/Kind.hs#L35
Defined but not used: ‘generalize’
build: bootstrap/src/Tlang/Inference/Kind.hs#L39
Defined but not used: ‘close’
build: bootstrap/src/Tlang/Inference/Kind.hs#L46
Defined but not used: ‘substitute’
build: bootstrap/src/Tlang/Inference/Kind.hs#L66
Defined but not used: ‘failUnify’
build: bootstrap/src/Tlang/Inference/Kind.hs#L69
Defined but not used: ‘mkGraft’
build: bootstrap/src/Tlang/Inference/Kind.hs#L74
Defined but not used: ‘unify’
build: bootstrap/src/Tlang/Inference/Kind.hs#L82
Pattern match(es) are non-exhaustive
build: bootstrap/src/Tlang/Inference/Kind.hs#L109
• Redundant constraints: (HasState
build: bootstrap/src/Tlang/Inference/Kind.hs#L120
Defined but not used: ‘genConstraint’
build: bootstrap/src/Tlang/Inference/Kind.hs#L129
Pattern match(es) are non-exhaustive