RunStaticAna.hs revision b7172e33125327cf8ca6dc0d59b7dcc24d21623a
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmanninstance PrettyPrint LocalEnv where
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann printText0 ga l = (printText0 ga $ getSign l)
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann $$ (text $ show $ getPsi l)
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel HausmannrunAna :: AParser (Result LocalEnv)
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann do b <- basicSpec
6a4fa2d53294f484fa8788a75656eff4ad1fd703Daniel Hausmann return $ ana_BASIC_SPEC emptyLocalEnv b