Skip to content

feat: Add fanin and fanout operators (#36) #12

feat: Add fanin and fanout operators (#36)

feat: Add fanin and fanout operators (#36) #12

Triggered via push October 14, 2024 11:30
Status Success
Total duration 3m 35s
Artifacts 1

coverage.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
build: brat/Brat/Error.hs#L170
• The Monomorphism Restriction applies to the binding for ‘indent’
build: brat/Brat/Error.hs#L212
Pattern match(es) are non-exhaustive
build: brat/Brat/Error.hs#L213
Pattern match(es) are non-exhaustive
build: brat/Brat/Naming.hs#L33
Pattern match(es) are non-exhaustive
build: brat/Data/Hugr/Types.hs#L110
Pattern match(es) are non-exhaustive
build: brat/Brat/Unelaborator.hs#L15
Pattern match(es) are non-exhaustive
build: brat/Brat/Unelaborator.hs#L44
Pattern match(es) are non-exhaustive
build: brat/Brat/Parser.hs#L417
Pattern match(es) are non-exhaustive
build: brat/Brat/Eval.hs#L34
Pattern match(es) are non-exhaustive
build: brat/Brat/Compile/Hugr.hs#L191
Pattern match(es) are non-exhaustive

Artifacts

Produced during runtime
Name Size
coverage
405 KB