@@ -107,7 +107,7 @@ flatten term =
107 VarN maybeAlias v -> do
107 VarN maybeAlias v -> do
108 liftIO $ UF.modifyDescriptor v $ \desc -> desc { alias = maybeAlias <|> alias desc }
108 liftIO $ UF.modifyDescriptor v $ \desc -> desc { alias = maybeAlias <|> alias desc }
110− TermN alias t -> do
110+ TermN maybeAlias t -> do
111 flatStructure <- traverseTerm flatten t
111 flatStructure <- traverseTerm flatten t
112 pool <- getPool
112 pool <- getPool
113 var <- liftIO . UF.fresh $ Descriptor
113 var <- liftIO . UF.fresh $ Descriptor
@@ -117,7 +117,7 @@ flatten term =
117 , name = Nothing
117 , name = Nothing
118 , copy = Nothing
118 , copy = Nothing
119 , mark = noMark
119 , mark = noMark
120− , alias = alias
120+ , alias = maybeAlias
122 register var
122 register var