We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 0c9f4d6 commit c350cdcCopy full SHA for c350cdc
vehicle/tests/unit/Vehicle/Test/Unit/Compile/Normalisation.hs
@@ -96,7 +96,7 @@ binding = Binder p (BinderDisplayForm (OnlyName "x") False) Explicit Relevant
96
mkNoOpEnv :: Lv -> BoundEnv builtin
97
mkNoOpEnv boundCtxSize = reverse [mkDefaultEnvEntry "_" (VBoundVar i []) | i <- [0 .. boundCtxSize - 1]]
98
where
99
- mkDefaultEnvEntry :: Name -> Value builtin -> EnvEntry closure builtin
+ mkDefaultEnvEntry :: Name -> Value builtin -> EnvEntry builtin
100
mkDefaultEnvEntry name value = (Binder mempty displayForm Explicit Relevant (), value)
101
102
displayForm = BinderDisplayForm (OnlyName name) True
0 commit comments