Skip to content

Add helper function for CodeGen #45

Add helper function for CodeGen

Add helper function for CodeGen #45

Triggered via push August 12, 2023 08:24
Status Success
Total duration 6m 23s
Artifacts

haskell.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
build: bootstrap/src/Tlang/Graph/Extension/Type.hs#L84
Defined but not used: type constructor or class ‘NodeDelegate’
build: bootstrap/src/Tlang/Generic/Subsume.hs#L90
Defined but not used: type constructor or class ‘Check’
build: bootstrap/src/Tlang/Generic/Subsume.hs#L94
Defined but not used:
build: bootstrap/src/Tlang/Generic/Subsume.hs#L103
Unticked promoted constructor: ‘:$$:’.
build: bootstrap/src/Tlang/Inference/Kind.hs#L34
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#L67
Defined but not used: ‘failUnify’
build: bootstrap/src/Tlang/Inference/Kind.hs#L70
Defined but not used: ‘mkGraft’
build: bootstrap/src/Tlang/Inference/Kind.hs#L75
Defined but not used: ‘unify’