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

Fix error typo

Browse Source 
Please merge to 5.3.2

original commit: d95be2ed4de0f3b1554b91361482e16d67d447ea
This commit is contained in:
Asumu Takikawa 2013-01-10 12:17:21 -05:00
parent 2f8b4ba791
commit acccf9c06a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/typed-racket/typecheck/tc-structs.rkt
View File

@ -269,7 +269,7 @@
(define concrete-parent
(if (Poly? parent)
(if (> (Poly-n parent) (length new-tvars))
(tc-error "Could not instantiate parent struct type. Required ~a type variables, recieved ~a."
(tc-error "Could not instantiate parent struct type. Required ~a type variables, received ~a."
(Poly-n parent)
(length new-tvars))
(instantiate-poly parent (take new-tvars (Poly-n parent))))