etc

minipat/minipat.cabal

@@ -25,6 +25,7 @@ source-repository head
 library
   exposed-modules:
       Minipat.Ast
+      Minipat.Interp
       Minipat.Main
       Minipat.Parser
       Minipat.Print

minipat/src/Minipat/Ast.hs

@@ -402,7 +402,7 @@ instance (Pretty s, Pretty a, Pretty r) => Pretty (PatF s a r) where
 
 newtype Pat b a = Pat {unPat :: UnPat b a}
   deriving stock (Show)
-  deriving newtype (Eq, Ord, Functor, Foldable)
+  deriving newtype (Eq, Ord, Functor, Foldable, Pretty)
 
 type UnPat b = Jot (PatF (Pat b Factor)) b
 
@@ -448,9 +448,6 @@ instance Bitraversable Pat where
           PatMod (Mod r m) -> fmap PatMod $ Mod <$> go r <*> traverse (bitraverse f pure) m
           PatPoly (PolyPat rs mc) -> fmap (\rs' -> PatPoly (PolyPat rs' mc)) (traverse go rs)
 
-instance (Pretty a) => Pretty (Pat b a) where
-  pretty = pretty . unPat
-
 -- ** Normalization
 
 type NPat b = Pat (Expansion b)

minipat/src/Minipat/Interp.hs

@@ -0,0 +1,11 @@
+module Minipat.Interp where
+
+import Bowtie (jotRight)
+import Minipat.Ast qualified as A
+import Minipat.Types qualified as T
+
+interp :: A.NPat b a -> T.Pat a
+interp = jotRight go . A.unPat
+ where
+  go = \case
+    _ -> error "TODO"