Rakarake/churf
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

back to inj

Browse source
This commit is contained in:
sebastianselander 2023-05-05 12:22:36 +02:00
parent 47cbf12cd1
commit 513cb34eb5
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/TypeChecker/TypeCheckerHm.hs
View file

@ -335,7 +335,7 @@ algoW = \case
case M.lookup (coerce i) constr of case M.lookup (coerce i) constr of
Just t -> do Just t -> do
t <- freshen t t <- freshen t
return (nullSubst, (T.EVar $ coerce i, t)) return (nullSubst, (T.EInj $ coerce i, t))
Nothing -> Nothing ->
uncatchableErr $ Aux.do uncatchableErr $ Aux.do
"Constructor:" "Constructor:"