aboutsummaryrefslogtreecommitdiff
path: root/src/testsuite/compiler
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2008-05-17 02:17:07 +0000
committerdos-reis <gdr@axiomatics.org>2008-05-17 02:17:07 +0000
commit431f54e5bfc6267719e18c4a4b183bc29d30125f (patch)
tree97a1471535a60eaabf99e516769c3f0c72d1f5f1 /src/testsuite/compiler
parent6717da934573a42dd6c99155f388d75abd22f2ea (diff)
downloadopen-axiom-431f54e5bfc6267719e18c4a4b183bc29d30125f.tar.gz
* interp/compiler.boot (compSetq1): Use %Comma, not Tuple.
(setqMultiple): Likewise. * interp/def.lisp (DEF-IS2): Likewise. * interp/define.boot (compAdd): Likewise. * interp/fnewmeta.lisp (|PARSE-Enclosure|): Likewise. * interp/fortcall.boot (lmultiToUnivariate): Likewise. (functionAndJacobian): Likewise. (vectorOfFunctions): Likewise. * interp/mark.boot (markMultipleExplicit): Likewise. (markInsertBodyParts): Likewise. * interp/nruncomp.boot (NRTaddDeltaCode): Likewise. * interp/nrunopt.boot (NRTextendsCategory1): Likewise. * interp/postpar.boot (postTransform): Likewise. (postTran): Likewise. (postPretend): Likewise. (postConstruct): Likewise. (postBlockItem): Likewise. (postCategory): Likewise. (postForm): Likewise. (postTransScripts): Likewise. (postJoin): Likewise. (postMapping): Likewise. (postCollect): Likewise. (postInSeq): Likewise. (postType): Likewise. (post%Comma): Rename from postTuple. (unComma): Rename from unTuple. (comma2Tuple): Remove. * interp/trace.boot (traceSpad2Cmd): Use %Comma, not Tuple. * interp/wi1.boot (compSetq1): Likewise. (setqMultiple):Likewise. * boot/translator.boot (compileBootHandler): Give up if translation to Lisp contained errors. * testsuite/compiler/aw-420.spad: New.
Diffstat (limited to 'src/testsuite/compiler')
-rw-r--r--src/testsuite/compiler/aw-420.spad8
1 files changed, 8 insertions, 0 deletions
diff --git a/src/testsuite/compiler/aw-420.spad b/src/testsuite/compiler/aw-420.spad
new file mode 100644
index 00000000..847416ea
--- /dev/null
+++ b/src/testsuite/compiler/aw-420.spad
@@ -0,0 +1,8 @@
+)abbrev domain MOO Moo
+Moo(): Public == Private where
+ Public ==> with
+ coerce: Tuple Type -> %
+ Private ==> add
+ Rep == Tuple Type
+ coerce(x: Tuple Type) == per x
+