on master help sign in
Add missing output annotation serialization to ideslave
6370ef3David Raymond Christiansen
src/Idris/IdeSlave.hs+4
@@ -89,6 +89,10 @@ instance SExpable OutputAnnotation where
89 (SymbolAtom "implicit", BoolAtom imp)]
89 (SymbolAtom "implicit", BoolAtom imp)]
90 toSExp AnnConstData = toSExp [(SymbolAtom "decor", SymbolAtom "data")]
90 toSExp AnnConstData = toSExp [(SymbolAtom "decor", SymbolAtom "data")]
91 toSExp AnnConstType = toSExp [(SymbolAtom "decor", SymbolAtom "type")]
91 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))))]
92
96
93escape :: String -> String
97escape :: String -> String
94escape = concatMap escapeChar
98escape = concatMap escapeChar