diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-05-17 02:17:07 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-05-17 02:17:07 +0000 |
| commit | 431f54e5bfc6267719e18c4a4b183bc29d30125f (patch) | |
| tree | 97a1471535a60eaabf99e516769c3f0c72d1f5f1 /src/testsuite | |
| parent | 6717da934573a42dd6c99155f388d75abd22f2ea (diff) | |
| download | open-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')
| -rw-r--r-- | src/testsuite/compiler/aw-420.spad | 8 |
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 + |