From: timv <tim.f.vieira@gmail.com>
Date: Mon, 10 Dec 2012 20:03:41 +0000 (-0500)
Subject: removed Analysis/RuleModeTest.hs, the old Python code generator, in favor of Backend... 
X-Git-Url: https://hydra-www.ietfng.org/gitweb/?a=commitdiff_plain;h=f0b01a66c251c4e0327de22e107fba3ee74dece4;p=dyna2

removed Analysis/RuleModeTest.hs, the old Python code generator, in favor of Backend/Python.hs.
---

diff --git a/src/Dyna/Analysis/RuleModeTest.hs b/src/Dyna/Analysis/RuleModeTest.hs
deleted file mode 100644
index 02418c1..0000000
--- a/src/Dyna/Analysis/RuleModeTest.hs
+++ /dev/null
@@ -1,74 +0,0 @@
----------------------------------------------------------------------------
-
--- Header material                                                      {{{
-{-# LANGUAGE OverloadedStrings #-}
-{-# LANGUAGE Rank2Types #-}
-{-# LANGUAGE ScopedTypeVariables #-}
-
-module Dyna.Analysis.RuleModeTest where
-
-import qualified Data.ByteString as B
-import Text.PrettyPrint.Free
-import Text.Trifecta (Spanned (..))
-
-import Dyna.XXX.PPrint
-import Dyna.XXX.TrifectaTest (unsafeParse)
-
-import Dyna.ParserHS.Parser (dlines, Line (..))
-import Dyna.Analysis.ANF
-import Dyna.Analysis.RuleMode
-
-
-toANF = runNormalize . normRule
-
-unspan (LRule x :~ _) = x
-
-prettyPlans src =
-      let rules = map (toANF.unspan) $ unsafeParse dlines src
-          plans = map (planEachEval "_H" "_V" . snd) $ rules
-       in
-          show $ (vcat $ zipWith pp plans rules)
-
--- XXX perhaps "base cases" of the universe (constants) should be interned if
--- they are going to be used in terms. Probably want to skip doubles; Interning
--- integers seems silly but not bad; interning strings seems like a good idea.
-pp p ((FRule h a e result), _) = valign $ map f p
-   where
-     emit = "emit" <+> tupled [pretty h, pretty result]
-
-     f (c@(CFCall n ns f), Just plan) = valign [ "def update_" <> pretty f <> "(id, value):"  -- TODO: need unique variable names for id and value
-                                               , "#" <+> pcrux c
-                                               , (tupled $ map pretty ns) <+> "= load(update_id)"  -- TODO: should be all vars
-                                               , pretty n <+> "= value"                            -- TODO: return shouldn't be pnt
-                                               , pplan plan
-                                               , emit]
-     f (crux, Nothing) = error $ "Did not find a plan for " ++ (show $ pcrux crux)
-
-     pplan (_, action) = valign $ map pdope action
-
-     pcrux (CFCall n ns f) = pretty n <+> equals <+> pred f ns
-
-     pdope (OPIndirEval _ _) = error "indirect evaluation not implemented"
-     pdope (OPAssign v val) = pretty v <+> equals <+> pretty val
-     pdope (OPCheck v val) = hsep ["assert", pretty v, "==", pretty val]
-
-     pdope (OPGetArgsIf vs id f a) = "gaif" <+> tupled (map pretty vs) <+> equals <+> "peel" <> parens (pretty f <> "/" <> pretty a) <> (parens $ pretty id)
-
-     pdope (OPBuild v vs f) = pretty v <+> equals <+> "build" <+> pred f vs
-     pdope (OPCall v vs f) = pretty v <+> equals <+> "call" <+> pred f vs
-
-     pdope (OPIter o m f) =
-           let mo = m ++ [o] in
-               "for" <+> (tupled $ filterBound mo) <+> "in" <+> pretty f <> slice mo
-
-
-     slice = brackets . sepBy "," . map (\x -> case x of (MF v) -> ":" ; (MB v) -> pretty v)
-
-     filterBound = map (\(MF v) -> pretty v) . filter (not.isBound)
-
-     pred f vs = pretty f <> (tupled $ map pretty vs)
-
-writePlans file = do
-    contents <- B.readFile file
-    writeFile (file ++ ".plan") $ show $ prettyPlans contents
-    return ()