Commit 17e63003 authored by Jo Henke's avatar Jo Henke

add upper bound check for parsing bytevector members

parent 5b69db80
......@@ -369,7 +369,8 @@
(get-parses
((skip maybe-whitespace)
(base get-exactness-base)
(val (get-natural base)))
(val (get-natural base))
(verify (lesser? val 256) '(bad u8)))
val))))
(raw fields type-bytevector)))
......@@ -383,12 +384,6 @@
(cons '_sharp_vector fields) ; <- quasiquote macro expects to see this in vectors
(list->vector fields)))))
(define (valid-ff-node? val)
(and (pair? val)
(or
(symbol? val)
(immediate? val))))
(define (valid-ff-key? val)
(or (symbol? val) (immediate? val)))
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment