Commit 1ef2578e authored by Finn Teegen's avatar Finn Teegen
Browse files

Fix original name of imported labels in value environment

parent 2e08c03b
......@@ -264,7 +264,7 @@ values m (INewtypeDecl _ tc _ tvs nc hs) =
case nc of
NewConstrDecl _ _ _ -> []
NewRecordDecl _ c (l, lty) ->
[recLabel m tc tvs ty' (l, [c], lty) | l `notElem` hs]
[recLabel m tc' tvs ty' (l, [c], lty) | l `notElem` hs]
where tc' = qualQualify m tc
ty' = constrType tc' tvs
values m (IFunctionDecl _ f Nothing a qty) =
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment