diff options
author | dos-reis <gdr@axiomatics.org> | 2013-05-26 08:26:06 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2013-05-26 08:26:06 +0000 |
commit | 3d124313d289fd42013e52f600283c99f8d0211a (patch) | |
tree | 247fcfab11b70dfa40b711b1653d539673577f3e /src/interp/lisp-backend.boot | |
parent | cbd17230112800448956940165f541d7c49d0dc5 (diff) | |
download | open-axiom-3d124313d289fd42013e52f600283c99f8d0211a.tar.gz |
Define lexicographical ordering on Bits in Spad
Diffstat (limited to 'src/interp/lisp-backend.boot')
-rw-r--r-- | src/interp/lisp-backend.boot | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/src/interp/lisp-backend.boot b/src/interp/lisp-backend.boot index d421fc3a..e7b9abaf 100644 --- a/src/interp/lisp-backend.boot +++ b/src/interp/lisp-backend.boot @@ -406,9 +406,6 @@ expandBitvecref ['%bitvecref,x,y] == expandBitveceq ['%bitveceq,x,y] == ['EQUAL,expandToVMForm x,expandToVMForm y] -expandBitveclt ['%bitveclt,x,y] == - ['BVEC_-GREATER,expandToVMForm y,expandToVMForm x] - expandBitvector ['%bitvector,x,y] == ['MAKE_-ARRAY,['LIST,expandToVMForm x], KEYWORD::ELEMENT_-TYPE,quote '%Bit, @@ -735,7 +732,6 @@ for x in [ ['%bitveccopy, :function expandBitveccopy], ['%bitvecconc, :function expandBitvecconc], ['%bitveceq, :function expandBitveceq], - ['%bitveclt, :function expandBitveclt], ['%bitvecref, :function expandBitvecref], ['%bitvector, :function expandBitvector], |