Changeset 7696 for src/Pugs/Compile.hs
- Timestamp:
- 10/22/05 12:48:17 (3 years ago)
- Files:
-
- 1 modified
-
src/Pugs/Compile.hs (modified) (2 diffs)
Legend:
- Unmodified
- Added
- Removed
-
src/Pugs/Compile.hs
r7623 r7696 40 40 -} 41 41 42 type Comp a = Eval a 43 type CompMonad = EvalT (ContT Val (ReaderT Env SIO)) 42 type Comp = Eval 44 43 45 44 {-| Currently only 'Exp' → 'PIL' -} … … 151 150 enter :: a -> m b -> m b 152 151 153 instance EnterClass Comp MonadVCode where152 instance EnterClass Comp VCode where 154 153 enter sub = local (\e -> e{ envLValue = subLValue sub, envContext = CxtItem (subReturns sub) }) 155 154 156 instance EnterClass Comp MonadCxt where155 instance EnterClass Comp Cxt where 157 156 enter cxt = local (\e -> e{ envContext = cxt }) 158 157
