From f6e5de243353518085fbd39be9daef1f121a96e3 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Fri, 18 Feb 2011 03:51:28 +0000 Subject: Rename %veclit to %vector and %listlit to %list --- src/algebra/syntax.spad.pamphlet | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/algebra/syntax.spad.pamphlet') diff --git a/src/algebra/syntax.spad.pamphlet b/src/algebra/syntax.spad.pamphlet index 4f399fff..0052d6b8 100644 --- a/src/algebra/syntax.spad.pamphlet +++ b/src/algebra/syntax.spad.pamphlet @@ -209,10 +209,10 @@ Syntax(): Public == Private where --% syntax construction buildSyntax(s: Identifier, l: List %): % == - %makepair(s,l)$Foreign(Builtin) + %pair(s,l)$Foreign(Builtin) buildSyntax(op: %, l: List %): % == - %makepair(op,l)$Foreign(Builtin) + %pair(op,l)$Foreign(Builtin) nil? x == %peq(x,%nil) -- cgit v1.2.3