@@ -631,8 +631,9 @@ reflectName (NS n ns)
632reflectName (MN i n)
632reflectName (MN i n)
633 = reflCall "MN" [RConstant (I i), RConstant (Str (str n))]
633 = reflCall "MN" [RConstant (I i), RConstant (Str (str n))]
634−reflectName (NErased) = Var (reflm "NErased")
634+reflectName NErased = Var (reflm "NErased")
635−reflectName n = Var (reflm "NErased") -- special name, not yet implemented
635+reflectName (SN sn) = raw_apply (Var (reflm "SN")) [reflectSpecialName sn]
636+reflectName (SymRef _) = error "The impossible happened: symbol table ref survived IBC loading"
637reflectSpecialName :: SpecialName -> Raw
638reflectSpecialName :: SpecialName -> Raw
638reflectSpecialName (WhereN i n1 n2) =
639reflectSpecialName (WhereN i n1 n2) =