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