Changeset 2774 for src/Pugs/Bind.hs

Show
Ignore:
Timestamp:
05/06/05 16:47:16 (4 years ago)
Author:
autrijus
svk:copy_cache_prev:
4340
Message:

* merge the App form with Syn "()" form; App now takes

Exp as the subroutine, so former App name invs args
needs to be written as App (Var name) invs args now.

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • src/Pugs/Bind.hs

    r2771 r2774  
    8484isPair (Cxt _ exp) = isPair exp 
    8585isPair (Syn "=>" [(Val _), _])   = True 
    86 isPair (App "&infix:=>" [(Cxt _ (Val _)), _] [])   = True 
    87 isPair (App "&infix:=>" [(Val _), _] [])   = True 
     86isPair (App (Var "&infix:=>") [(Cxt _ (Val _)), _] [])   = True 
     87isPair (App (Var "&infix:=>") [(Val _), _] [])   = True 
    8888isPair _                         = False 
    8989 
    … …  
    9292unPair (Cxt _ exp) = unPair exp 
    9393unPair (Syn "=>" [(Val k), exp]) = (vCast k, exp) 
    94 unPair (App "&infix:=>" [(Cxt _ (Val k)), exp] []) = (vCast k, exp) 
    95 unPair (App "&infix:=>" [(Val k), exp] []) = (vCast k, exp) 
     94unPair (App (Var "&infix:=>") [(Cxt _ (Val k)), exp] []) = (vCast k, exp) 
     95unPair (App (Var "&infix:=>") [(Val k), exp] []) = (vCast k, exp) 
    9696unPair x                                = error ("Not a pair: " ++ show x) 
    9797