deterministic unification variables #287
Annotations
21 warnings
Your workflow is using a version of actions/cache that is scheduled for deprecation, actions/cache@v1. Please update your workflow to use either v3 or v4 of actions/cache to avoid interruptions. Learn more: https://github.blog/changelog/2024-12-05-notice-of-upcoming-releases-and-breaking-changes-for-github-actions/#actions-cache-v1-v2-and-actions-toolkit-cache-package-closing-down
|
TestDebug:
src/Evaluator.hs#L99
Defined but not used: ‘typeErrorActual’
|
TestDebug:
src/Evaluator.hs#L99
Defined but not used: ‘typeErrorExpected’
|
TestDebug:
src/Pretty.hs#L468
Defined but not used: ‘more’
|
TestDebug:
src/Pretty.hs#L668
This binding for ‘mod’ shadows the existing binding
|
TestDebug:
src/Expander/Primitives.hs#L751
Pattern match(es) are non-exhaustive
|
TestDebug:
src/Expander/Primitives.hs#L757
Pattern match(es) are non-exhaustive
|
TestDebug:
src/Expander/Primitives.hs#L759
Pattern match(es) are non-exhaustive
|
TestDebug:
src/Expander/Primitives.hs#L765
Pattern match(es) are non-exhaustive
|
TestDebug:
src/Expander/Primitives.hs#L767
Pattern match(es) are non-exhaustive
|
TestDebug:
src/Expander/Primitives.hs#L776
Pattern match(es) are non-exhaustive
|
Build:
src/Evaluator.hs#L99
Defined but not used: ‘typeErrorActual’
|
Build:
src/Evaluator.hs#L99
Defined but not used: ‘typeErrorExpected’
|
Build:
src/Pretty.hs#L468
Defined but not used: ‘more’
|
Build:
src/Pretty.hs#L668
This binding for ‘mod’ shadows the existing binding
|
Build:
src/Expander/Primitives.hs#L751
Pattern match(es) are non-exhaustive
|
Build:
src/Expander/Primitives.hs#L757
Pattern match(es) are non-exhaustive
|
Build:
src/Expander/Primitives.hs#L759
Pattern match(es) are non-exhaustive
|
Build:
src/Expander/Primitives.hs#L765
Pattern match(es) are non-exhaustive
|
Build:
src/Expander/Primitives.hs#L767
Pattern match(es) are non-exhaustive
|
Build:
src/Expander/Primitives.hs#L776
Pattern match(es) are non-exhaustive
|
Loading