deterministic unification variables #287
Annotations
11 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
|
|
Build:
src/Util/Store.hs#L69
The use of ‘~’ without TypeOperators
|
|
Build:
src/Evaluator.hs#L99
Defined but not used: ‘typeErrorExpected’
|
|
Build:
src/Evaluator.hs#L99
Defined but not used: ‘typeErrorActual’
|
|
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/Syntax.hs#L69
The use of ‘~’ without TypeOperators
|
|
Build:
src/Expander/Syntax.hs#L103
The use of ‘~’ without TypeOperators
|
|
Build:
src/Expander/Syntax.hs#L109
The use of ‘~’ without TypeOperators
|
|
Build:
src/Expander/Syntax.hs#L109
The use of ‘~’ without TypeOperators
|
|
Build:
src/Expander/Syntax.hs#L115
The use of ‘~’ without TypeOperators
|
Loading