@@ -89,6 +89,10 @@ instance SExpable OutputAnnotation where
8989 (SymbolAtom "implicit", BoolAtom imp)]
9090 toSExp AnnConstData = toSExp [(SymbolAtom "decor", SymbolAtom "data")]
9191 toSExp AnnConstType = toSExp [(SymbolAtom "decor", SymbolAtom "type")]
92+ toSExp (AnnFC (FC f l c)) = toSExp [(SymbolAtom "source-loc",
93+ ((SymbolAtom "filename", StringAtom f),
94+ (SymbolAtom "line", IntegerAtom (toInteger l)),
95+ (SymbolAtom "column", IntegerAtom (toInteger c))))]
9296
9397escape :: String -> String
9498escape = concatMap escapeChar