From 431f54e5bfc6267719e18c4a4b183bc29d30125f Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sat, 17 May 2008 02:17:07 +0000 Subject: * 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. --- src/testsuite/compiler/aw-420.spad | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 src/testsuite/compiler/aw-420.spad (limited to 'src/testsuite/compiler') 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 + -- cgit v1.2.3