correcting bug reported by Michael Murphy and Hoon Ik Chang: CheckToplevelUnbound

This commit is contained in:
Danny Yoo 2011-11-22 02:12:44 -05:00
parent efbf45747b
commit dd01373ae5

View File

@ -15,7 +15,7 @@
(cond
[(CheckToplevelBound!? op)
(format "if (M.e[M.e.length-~a][~a]===undefined){ RT.raiseUnboundToplevelError(M.e[M.e.length-~a].names[~a]); }"
(format "if (M.e[M.e.length-~a][~a]===undefined){ RT.raiseUnboundToplevelError(M,M.e[M.e.length-~a].names[~a]); }"
(add1 (CheckToplevelBound!-depth op))
(CheckToplevelBound!-pos op)
(add1 (CheckToplevelBound!-depth op))