Changeset 12459 for src/Pugs/Val

Show
Ignore:
Timestamp:
08/19/06 15:20:16 (2 years ago)
Author:
audreyt
Message:

* Pugs.Val: Relax ICoercible superclasses to be only Typeable.

Location:
src/Pugs/Val
Files:
2 modified

Legend:

Unmodified
Added
Removed
  • src/Pugs/Val/Base.hs

    r12212 r12459  
    1616-- Plan: Each prim type has a static fixed META class 
    1717 
    18 class (Monad m, Functor m, Eq a, Data a, Typeable a) => ICoercible m a | a -> m where 
     18class (Monad m, Functor m, Typeable a) => ICoercible m a | a -> m where 
    1919    asBit    :: a -> m PureBit 
    2020    asBit _ = return $ cast True 
  • src/Pugs/Val/Code.hs

    r12201 r12459  
    4040        , c_isSafe            :: Bool 
    4141        } 
    42     deriving (Show, Eq, Ord, Data, Typeable) {-!derive: YAML_Pos, Perl6Class, MooseClass!-} 
     42    deriving (Show, Eq, Ord, Typeable) {-!derive: YAML_Pos, Perl6Class, MooseClass!-} 
    4343 
    4444-- | Block exit traits may be interleaved, so tag them by type 
     
    4747    | LeaveKeep   Code        -- ^ KEEP block 
    4848    | LeaveUndo   Code        -- ^ UNDO block 
    49     deriving (Show, Eq, Ord, Data, Typeable) {-!derive: YAML_Pos, Perl6Class, MooseClass!-} 
     49    deriving (Show, Eq, Ord, Typeable) {-!derive: YAML_Pos, Perl6Class, MooseClass!-} 
    5050 
    5151-- | Function associtivity 
     
    5656    | AssChain 
    5757    | AssList 
    58     deriving (Show, Eq, Ord, Data, Typeable) {-!derive: YAML_Pos, Perl6Class, MooseClass!-} 
     58    deriving (Show, Eq, Ord, Typeable) {-!derive: YAML_Pos, Perl6Class, MooseClass!-} 
    5959 
    6060-------------------------------------------------------------------------------------- 
     
    8686        , s_slurpyCapture             :: Maybe Param 
    8787        } 
    88     deriving (Show, Eq, Ord, Data, Typeable) {-!derive: YAML_Pos, Perl6Class, MooseClass!-} 
     88    deriving (Show, Eq, Ord, Typeable) {-!derive: YAML_Pos, Perl6Class, MooseClass!-} 
    8989 
    9090type PureSig = Sig 
     
    112112    , p_isRef       :: Bool 
    113113    , p_isLazy      :: Bool 
    114     } deriving (Show, Eq, Ord, Data, Typeable) {-!derive: YAML_Pos, Perl6Class, MooseClass!-} 
     114    } deriving (Show, Eq, Ord, Typeable) {-!derive: YAML_Pos, Perl6Class, MooseClass!-} 
    115115 
    116116data ParamAccess 
     
    118118    | AccessRW 
    119119    | AccessCopy 
    120     deriving (Show, Eq, Ord, Data, Typeable) {-!derive: YAML_Pos, Perl6Class, MooseClass!-} 
     120    deriving (Show, Eq, Ord, Typeable) {-!derive: YAML_Pos, Perl6Class, MooseClass!-} 
    121121 
    122122-------------------------------------------------------------------------------------- 
     
    131131        { c_feeds    :: [Feed a] 
    132132        } 
    133     deriving (Show, Eq, Ord, Data, Typeable) {-!derive: YAML_Pos, Perl6Class, MooseClass!-} 
     133    deriving (Show, Eq, Ord, Typeable) {-!derive: YAML_Pos, Perl6Class, MooseClass!-} 
    134134 
    135135-- | non-invocant arguments. 
     
    139139                                    --   @x, "x => 1, x => 2" constructs @x = (1, 2). 
    140140    } 
    141     deriving (Show, Eq, Ord, Data, Typeable) {-!derive: YAML_Pos, Perl6Class, MooseClass!-} 
     141    deriving (Show, Eq, Ord, Typeable) {-!derive: YAML_Pos, Perl6Class, MooseClass!-} 
    142142 
    143143