Skip to content
Snippets Groups Projects
Commit a9f1335e authored by Rodrigo Mesquita's avatar Rodrigo Mesquita :seedling:
Browse files

Ww

parent 9a5a6b99
No related branches found
No related tags found
No related merge requests found
Pipeline #85875 failed
...@@ -828,7 +828,7 @@ addConCt nabla0 x alt tvs args = do ...@@ -828,7 +828,7 @@ addConCt nabla0 x alt tvs args = do
nabla3 <- case (alt, args) of nabla3 <- case (alt, args) of
(PmAltConLike (RealDataCon dc), [y]) | isNewDataCon dc -> do (PmAltConLike (RealDataCon dc), [y]) | isNewDataCon dc -> do
(yid, nabla3) <- representId y nabla2 (_yid, nabla3) <- representId y nabla2
-- A newtype con and the underlying var are in the same e-class -- A newtype con and the underlying var are in the same e-class
-- nabla4 <- mergeVarIds xid yid nabla3 -- nabla4 <- mergeVarIds xid yid nabla3
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment