Mercurial > urweb

comparison src/urweb.grm @ 257:32f9212583b2

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add 'ne' to 'eq' type class
author Adam Chlipala <adamc@hcoop.net>
date Sun, 31 Aug 2008 15:18:00 -0400
parents e52243e20858
children bacd0ba869e1
comparison
equal deleted inserted replaced
256:e52243e20858 257:32f9212583b2
603 val e = (EApp (e, eexp1), loc) 603 val e = (EApp (e, eexp1), loc)
604 in 604 in
605 (EApp (e, (EAbs (SYMBOL, NONE, eexp2), loc)), loc) 605 (EApp (e, (EAbs (SYMBOL, NONE, eexp2), loc)), loc)
606 end) 606 end)
607 | eexp EQ eexp (native_op ("eq", eexp1, eexp2, s (eexp1left, eexp2right))) 607 | eexp EQ eexp (native_op ("eq", eexp1, eexp2, s (eexp1left, eexp2right)))
608 | eexp NE eexp (native_op ("ne", eexp1, eexp2, s (eexp1left, eexp2right)))
608 609
609 eargs : earg (earg) 610 eargs : earg (earg)
610 | eargl (eargl) 611 | eargl (eargl)
611 612
612 eargl : eargp eargp (eargp1 o eargp2) 613 eargl : eargp eargp (eargp1 o eargp2)