Fix type for raise-type-error. Closes PR 11426.
This commit is contained in:
parent
2c74984fcd
commit
e10f139ad8
|
@ -173,9 +173,9 @@
|
|||
[random (cl-> [(index-type) -Nat] [() -Real])]
|
||||
|
||||
[raise-type-error
|
||||
(cl->
|
||||
[(Sym -String Univ) (Un)]
|
||||
[(Sym -String index-type (-lst Univ)) (Un)])]
|
||||
(cl->*
|
||||
[-> Sym -String Univ (Un)]
|
||||
[->* (list Sym -String index-type) Univ (Un)])]
|
||||
|
||||
))
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user