diff options
Diffstat (limited to 'src/Parser/Core.hs')
| -rw-r--r-- | src/Parser/Core.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Parser/Core.hs b/src/Parser/Core.hs index 4c49ead..e1a4035 100644 --- a/src/Parser/Core.hs +++ b/src/Parser/Core.hs @@ -219,7 +219,8 @@ unifyExpr off pa expr = if _ <- unify off (ExprTypePrim (Proxy :: Proxy a)) stype return $ Variable sline name - | HideType expr' <- expr + | HideType (ExprTypePrim (_ :: Proxy b'')) (expr' :: Expr b') <- expr + , Just (Refl :: b'' :~: b') <- eqT -> do unifyExpr off pa expr' |