Changeset 13087 for src/Pugs/Val

Show
Ignore:
Timestamp:
09/07/06 13:02:43 (2 years ago)
Author:
gaal
Message:

* introduce 'castVal' to unwrap Vals into concrete types. audreyt++ for

the existential counselling.

* Pugs.Val.Code.Param.p_unpacking can now be made a (Maybe PureSig?) again.

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • src/Pugs/Val/Code.hs

    r13015 r13087  
    103103    , p_constraints :: [Code]        -- ^ Dynamic pieces of runtime-mood 
    104104                                     --   E.g. where {...} above 
    105     , p_unpacking   :: Maybe Val -- XXX: the next line is correct, but how to do Val -> PureSig in Parser? 
    106     --, p_unpacking   :: Maybe PureSig -- ^ E.g. BinTree $t (Left $l, Right $r) 
     105    , p_unpacking   :: Maybe PureSig -- ^ E.g. BinTree $t (Left $l, Right $r) 
    107106    , p_default     :: ParamDefault  -- ^ E.g. $answer? = 42 
    108107    , p_label       :: ID            -- ^ The external name for the param ('m' above)