diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-31 15:18:00 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-31 15:18:00 -0400 |
| commit | 959f07d717b29f083b275333b38e40e5b9f78a9d (patch) | |
| tree | 12350e6dcc8fba4e292634d86afb756bf466b210 /src/urweb.grm | |
| parent | 6a144b5f5a7e85a02465aa25a19c3b5686e062cb (diff) | |
Add 'ne' to 'eq' type class
Diffstat (limited to 'src/urweb.grm')
| -rw-r--r-- | src/urweb.grm | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/urweb.grm b/src/urweb.grm index 9d619fca..51c104d7 100644 --- a/src/urweb.grm +++ b/src/urweb.grm @@ -605,6 +605,7 @@ eexp : eapps (eapps) (EApp (e, (EAbs (SYMBOL, NONE, eexp2), loc)), loc) end) | eexp EQ eexp (native_op ("eq", eexp1, eexp2, s (eexp1left, eexp2right))) + | eexp NE eexp (native_op ("ne", eexp1, eexp2, s (eexp1left, eexp2right))) eargs : earg (earg) | eargl (eargl) |