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

Fixing PR11592

Browse Source
This commit is contained in:
Jay McCarthy 2011-01-07 19:49:42 -07:00
parent f2a9aebba5
commit f77ab71772
1 changed files with 6 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
collects/plai/datatype.rkt
View File

@ -352,7 +352,12 @@
;;; far, either the clauses are malformed or the error is completely
;;; unintelligible.
[(_ type-id test-expr clauses ...)
(map validate-clause (syntax->list #'(clauses ...)))]
(begin
(unless (identifier? #'type-id)
(plai-syntax-error 'type-case #'type-id type-case:not-a-type))
(validate-and-remove-type-symbol #'type-id (syntax-local-value #'type-id (λ () #f)))
(andmap validate-clause (syntax->list #'(clauses ...)))
(plai-syntax-error 'type-case stx "Unknown error"))]
[_ (plai-syntax-error 'type-case stx type-case:generic)]))