Changeset 2469 for src/Pugs/Bind.hs

Show
Ignore:
Timestamp:
04/29/05 15:53:44 (4 years ago)
Author:
autrijus
svk:copy_cache_prev:
3914
Message:

* even more structural induction fixes on Cxt and Pos

Files:
1 modified

Legend:

Unmodified
Added
Removed
  • src/Pugs/Bind.hs

    r2262 r2469  
    8181 
    8282isPair :: Exp -> Bool 
     83isPair (Pos _ exp) = isPair exp 
     84isPair (Cxt _ exp) = isPair exp 
    8385isPair (Syn "=>" [(Val _), _])   = True 
    8486isPair (App "&infix:=>" [(Cxt _ (Val _)), _] [])   = True 
     
    8789 
    8890unPair :: Exp -> (String, Exp) 
     91unPair (Pos _ exp) = unPair exp 
     92unPair (Cxt _ exp) = unPair exp 
    8993unPair (Syn "=>" [(Val k), exp]) = (vCast k, exp) 
    9094unPair (App "&infix:=>" [(Cxt _ (Val k)), exp] []) = (vCast k, exp)