source: applications/trunk/UGPSummerSchool2008/src/Int.rf @ 3829

$module Int;

$use Arithm StdIO;

$func Int t = s;

Int {
        (t1 s.op t2) =
                <Int t1> :: s1,
                <Int t2> :: s2,
                s.op : {
                        '+' = <Add s1 s2>;
                        '-' = <Sub s1 s2>;
                        '*' = <Mult s1 s2>;
                        '/' = <Div s1 s2>;
                };
        sn = sn;        
};

$func Main = e;

Main = (((2 '+' 3) '*' 4) '/' (4 '-' 2)) :: t.exp, <PrintLn t.exp ' = ' <Int t.exp>>;