/**
 * Extension to the Fun language making the binary relations defined in
 * compare.l available.
 *
 * @author Jacob Andersen
 */

(|
  {
    RelExp.eq   : SimpleExp _ "=" _ SimpleExp ;
    RelExp.neq  : SimpleExp _ "!=" _ SimpleExp ;
    RelExp.gt   : SimpleExp _ ">" _ SimpleExp ;
    RelExp.gte  : SimpleExp _ ">=" _ SimpleExp ;
    RelExp.lt   : SimpleExp _ "<" _ SimpleExp ;
    RelExp.lte  : SimpleExp _ "<=" _ SimpleExp ;
  }
  -> "compare.l"

  [ RelExp -> Exp, SimpleExp -> Exp ]

  RelExp.eq   = Exp.eq($1,$4) ;
  RelExp.neq  = Exp.neq($1,$4) ;
  RelExp.gt   = Exp.gt($1,$4) ;
  RelExp.gte  = Exp.gte($1,$4) ;
  RelExp.lt   = Exp.lt($1,$4) ;
  RelExp.lte  = Exp.lte($1,$4) ;
|)