Changeset 15374 for src/Pugs/Val

Timestamp:

02/28/07 00:25:27 (21 months ago)

Author:

audreyt

Message:

* Adapt existing newVal implementation in Pugs.Val to MO.

A "Val" is now simply an invocant within the Eval monad.

Location:

src/Pugs/Val

Files:

• Base.hs (modified) (2 diffs)
• Code.hs (modified) (5 diffs)

src/Pugs/Val/Base.hs

@@ -8 +8 @@
 import Pugs.Class
 import {-# SOURCE #-} Pugs.Val
+
+{-
 
 
@@ -136 +138 @@
         ]
 
+
+-}

src/Pugs/Val/Code.hs

@@ -1 @@
-{-
- - {-# OPTIONS_GHC -fglasgow-exts -fallow-overlapping-instances #-}
+{-# OPTIONS_GHC -fglasgow-exts -fallow-undecidable-instances -fallow-overlapping-instances -fno-warn-missing-methods #-}
 module Pugs.Val.Code where
 import Pugs.Internals
 import Pugs.Types
-
+import Data.Monoid
+import qualified Data.Map as Map
+import qualified Data.Set as Set
+import qualified Pugs.Types as Types
+
+import {-# SOURCE #-} Pugs.Exp
 import {-# SOURCE #-} Pugs.Val
---import {-# SOURCE #-} Pugs.Val.Sig
--}
-
+
+
+type Code = ()
+type Table = Map ID Val
+
+{-
 -- | AST for a primitive Code object
 data Code
@@ -58 +65 @@
 
 --------------------------------------------------------------------------------------
+-}
 
 -- | AST for function signature. Separated to method and function variants
@@ -139 +147 @@
     deriving (Show, Eq, Ord, Typeable) {-!derive: YAML_Pos, Perl6Class, MooseClass!-}
 
+{-
 instance ICoercible P Sig where
     asStr = return . cast . render . purePretty
 
 instance Pure Sig where
-    purePretty s = colon <> (parens $ prettySig s)
-    
+-}
+{-
+purePretty s = colon <> (parens $ prettySig s)
+
 prettySig :: Sig -> Doc
 prettySig s@(SigMethSingle {}) = invocant <> colon `invSpace` (prettySubSig s)
@@ -188 +199 @@
     debugDump   = if True then empty else braces $ text $ show p -- XXX delme
 --------------------------------------------------------------------------------------
+-}
 
 -- | a Capture is a frozen version of the arguments to an application.
@@ -222 +234 @@
 type ValFeed = Feed Val
 
-instance ICoercible P ValCapt where
-        asStr _ = return (cast "<capt>") -- XXX
-