Skip to content
Compiler Bootstrap CI

Add TypeChecking user interface #58

Sign in to view logs

Add TypeChecking user interface

Add TypeChecking user interface #58

Triggered via push August 26, 2023 14:39
@MemorytacoMemorytaco
pushed e9285d7
main
Status Success
Total duration 6m 34s
Artifacts –

haskell.yml

on: push
build
6m 25s
build
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