[Bugfix] Variables in "-n" flag.
authorKazutaka Matsuda <kztk@kb.ecei.tohoku.ac.jp>
Mon, 6 Sep 2010 12:40:35 +0000 (12:40 +0000)
committerKazutaka Matsuda <kztk@kb.ecei.tohoku.ac.jp>
Mon, 6 Sep 2010 12:40:35 +0000 (12:40 +0000)
SemSyn.hs
Shapify.hs

index 4081151..e5b60c6 100644 (file)
--- a/SemSyn.hs
+++ b/SemSyn.hs
@@ -59,7 +59,7 @@ outputCode conf isShapify orig ast =
                   ppr (typeFilter ast)
          PseudoCode  -> vcat
                 [ ppr (constructTypeDecl p2)
-                , ppr orig $$  ppr (typeFilter p1) $$ ppr (typeFilter p2) $$ ppr (typeFilterT p3)
+                , ppr orig $$ ppr (typeFilter p1) $$ ppr (typeFilter p2) $$ ppr (typeFilterT p3)
                 ]
          HaskellCode -> vcat $
                 [ text "import Control.Monad"
index cecfbdc..72ccab1 100644 (file)
@@ -34,6 +34,8 @@ introNat (AST decls) =
 
       replP (PVar i (TCon (Name "List") [TCon (Name "Unit") []]) x)
           = PVar i (TCon (Name "Nat") []) x
+      replP (PVar i t x) 
+          = PVar i (replT t) x 
       replP (PCon i (TCon (Name "List") [TCon (Name "Unit") []]) 
                       (Name "Nil") [])
           = zP i
@@ -42,9 +44,11 @@ introNat (AST decls) =
           = sP i (replP y)
       replP (PCon i t c ps)
           = PCon i (replT t) c (map replP ps)
-
       replE (EVar i (TCon (Name "List") [TCon (Name "Unit") []]) x)
           = EVar i (TCon (Name "Nat") []) x
+      replE (EVar i t x) 
+          = EVar i (replT t) x 
       replE (ECon i (TCon (Name "List") [TCon (Name "Unit") []]) 
                       (Name "Nil") [])
           = zE i