RunStaticAna.hs revision 3513f4e241bc3f613607179713c0223da214a26e
f3cd81f98592d1dbf301f48af31677a6a0cc666aChristian Maederinstance PrettyPrint LocalEnv where
f3cd81f98592d1dbf301f48af31677a6a0cc666aChristian Maeder printText0 ga l = (printText0 ga $ getSign l)
ac142c1b088711f911018d8108a64be80b2f2a58Christian Maeder-- $$ ( vcat $ map (printText0 ga) $ getPsi l)
ac142c1b088711f911018d8108a64be80b2f2a58Christian MaederrunAna :: AParser (Result LocalEnv)
f3cd81f98592d1dbf301f48af31677a6a0cc666aChristian Maeder do b <- basicSpec
0216a1580abf46ed8981f25e89d6fd99b2944ac2Christian Maeder return $ ana_BASIC_SPEC emptyLocalEnv b