Make #1847 easier to debug.

diku-dk · Jan 18, 2023 · 734470a · 734470a
1 parent 8a399ab
commit 734470a
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 3 deletions.
diff --git a/src/Language/Futhark/Pretty.hs b/src/Language/Futhark/Pretty.hs
@@ -366,7 +366,8 @@ prettyExp _ (ProjectSection fields _ _) =
     p name = "." <> pretty name
 prettyExp _ (IndexSection idxs _ _) =
   parens $ "." <> brackets (commasep (map pretty idxs))
-prettyExp _ (Constr n cs _ _) = "#" <> pretty n <+> sep (map pretty cs)
+prettyExp _ (Constr n cs t _) =
+  "#" <> pretty n <+> sep (map pretty cs) <> prettyInst t
 prettyExp _ (Attr attr e _) =
   prettyAttr attr </> prettyExp (-1) e
 prettyExp i (AppExp e _) = prettyAppExp i e

diff --git a/src/Language/Futhark/Traversals.hs b/src/Language/Futhark/Traversals.hs
@@ -219,8 +219,8 @@ instance ASTMappable (ExpBase Info VName) where
       <$> mapM (astMap tv) idxs
       <*> traverse (mapOnPatType tv) t
       <*> pure loc
-  astMap tv (Constr name es ts loc) =
-    Constr name <$> traverse (mapOnExp tv) es <*> traverse (mapOnPatType tv) ts <*> pure loc
+  astMap tv (Constr name es t loc) =
+    Constr name <$> traverse (mapOnExp tv) es <*> traverse (mapOnPatType tv) t <*> pure loc
   astMap tv (Attr attr e loc) =
     Attr attr <$> mapOnExp tv e <*> pure loc
   astMap tv (AppExp e res) =