Changeset 12462 for src/Pugs/Val

Timestamp:

08/19/06 15:48:11 (2 years ago)

Author:

audreyt

Message:

* Unbreak the build via newtype transformation.

Files:

• src/Pugs/Val/Code.hs (modified) (3 diffs)

src/Pugs/Val/Code.hs

@@ -18 +18 @@
         , c_isSafe            :: Bool
         , c_isCached          :: Bool
-        , c_body              :: [Stmt]    -- ^ AST of "do" block
+        , c_body              :: CodeBody  -- ^ AST of "do" block
         , c_pad               :: Pad       -- ^ Storage for lexical vars
         , c_traits            :: Table     -- ^ Any additional trait not
@@ -104 +104 @@
                                      --   E.g. where {...} above
     , p_unpacking   :: Maybe PureSig -- ^ E.g. BinTree $t (Left $l, Right $r)
-    , p_default     :: Maybe Exp     -- ^ E.g. $answer? = 42
+    , p_default     :: ParamDefault  -- ^ E.g. $answer? = 42
     , p_label       :: ID            -- ^ E.g. :mode
     , p_slots       :: Table         -- ^ Any additional attrib not
@@ -111 +111 @@
     , p_isRef       :: Bool
     , p_isLazy      :: Bool
-    } deriving (Show, Eq, Ord, Typeable) {-!derive: YAML_Pos, Perl6Class, MooseClass!-}
+    }
+    deriving (Show, Eq, Ord, Typeable) {-!derive: YAML_Pos, Perl6Class, MooseClass!-}
+
+newtype CodeBody = MkCodeBody [Stmt]
+    deriving (Typeable)
+
+newtype ParamDefault = MkParamDefault Exp
+    deriving (Typeable)
+
+instance Eq ParamDefault where _ == _ = True
+instance Ord ParamDefault where compare _ _ = EQ
+instance Show ParamDefault where show _ = "<Param.Default>"
+
+instance Eq CodeBody where _ == _ = True
+instance Ord CodeBody where compare _ _ = EQ
+instance Show CodeBody where show _ = "<Code.Body>"
 
 data ParamAccess