Skip to content

Commit 42518f1

Browse files
committed
Fix MustCombineARecord explanation
This bug manifested as an incorrect type error explanation: You supplied this expression as one of the arguments: ↳ { x = 1 } ... which is not a record, but is actually a: ↳ Type ──────────────────────────────────────────────────────────────────────────────── 1│ { x = 1 } /\ {} This issue was reported in #2238.
1 parent 520ab0b commit 42518f1

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

dhall/src/Dhall/TypeCheck.hs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -774,7 +774,7 @@ infer typer = loop
774774

775775
_R' <- loop ctx r
776776

777-
let r'' = quote names (eval values l)
777+
let r'' = quote names (eval values r)
778778

779779
xLs' <- case _L' of
780780
VRecord xLs' ->

0 commit comments

Comments
 (0)