/**
 * Extension to the fun language making the functions defined in
 * signedArith.l available.
 *
 * @author Jacob Andersen
 */

(|
  {
    FacParen.ispos   :  "positive?" _ "(" _ LetExp _ ")" ;
    FacParen.isneg   :  "negative?" _ "(" _ LetExp _ ")" ;
    FacNoPar.ispos   :  "positive?" __ Prim ;
    FacNoPar.isneg   :  "negative?" __ Prim ;
  }
  -> "signedArith.l"

  [ FacParen -> Exp, FacNoPar -> Exp, LetExp -> Exp, Prim -> Exp ]

  FacParen.ispos   =  Exp.ispos($3) ;
  FacParen.isneg   =  Exp.isneg($3) ;
  FacNoPar.ispos   =  Exp.ispos($2) ;
  FacNoPar.isneg   =  Exp.isneg($2) ;
|)