suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

add args to error

Browse Source 
svn: r12036

original commit: e802682c4df62cdb320b931c09d89db8bbb3d15a
This commit is contained in:
Sam Tobin-Hochstadt 2008-10-14 16:34:14 +00:00
parent 69474a750e
commit 557bd01043
1 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
collects/tests/typed-scheme/succeed/little-schemer.ss
View File

@ -406,7 +406,7 @@
[else (build 'primitive e)]))
(define: (initial-table [name : atom]) : atom
(error))
(error 'fail))
(define: (*identifier [e : atom] [tbl : table]) : SExp
(lookup-in-table e tbl initial-table))
@ -420,10 +420,10 @@
[(#t #f cons car cdr null? eq? atom? zero? add1 sub1 number?) *const]
[else *identifier])]))
(define: (*quote [a : atom] [t : table]) : SExp (error))
(define: (*lambda [a : atom] [t : table]) : SExp (error))
(define: (*cond [a : atom] [t : table]) : SExp (error))
(define: (*application [a : atom] [t : table]) : SExp (error))
(define: (*quote [a : atom] [t : table]) : SExp (error 'fail))
(define: (*lambda [a : atom] [t : table]) : SExp (error 'fail))
(define: (*cond [a : atom] [t : table]) : SExp (error 'fail))
(define: (*application [a : atom] [t : table]) : SExp (error 'fail))
(define: (list->action [e : (list-of SExp)]) : action
(cond*