fix: Check that all overs and unders are used in toplevel defs (#48) #19
Annotations
10 warnings
|
Run tests with coverage:
brat/Brat/Error.hs#L207
Pattern match(es) are non-exhaustive
|
|
Run tests with coverage:
brat/Brat/Error.hs#L208
Pattern match(es) are non-exhaustive
|
|
Run tests with coverage:
brat/Brat/Naming.hs#L33
Pattern match(es) are non-exhaustive
|
|
Run tests with coverage:
brat/Data/Hugr/Types.hs#L110
Pattern match(es) are non-exhaustive
|
|
Run tests with coverage:
brat/Brat/Parser.hs#L417
Pattern match(es) are non-exhaustive
|
|
Run tests with coverage:
brat/Brat/Eval.hs#L34
Pattern match(es) are non-exhaustive
|
|
Run tests with coverage:
brat/Brat/Compile/Hugr.hs#L191
Pattern match(es) are non-exhaustive
|
|
Run tests with coverage:
brat/Brat/Compile/Hugr.hs#L230
Pattern match(es) are non-exhaustive
|
|
Run tests with coverage:
brat/Brat/Compile/Hugr.hs#L341
Pattern match(es) are non-exhaustive
|
|
Run tests with coverage:
brat/Brat/Compile/Hugr.hs#L392
This pattern-binding binds no variables: [] = ins
|
Loading