The Curry frontend now supports generating source mappings in the form of origin pragmas as part of Curry interfaces, which we can use to resolve the proper source location of symbols. Specifically, if a Prelude.icurry exists (from previous compilations by the language server), symbols from the Prelude will still link to Prelude.curry.
Fixes #26
The Curry frontend now supports generating source mappings in the form of origin pragmas as part of Curry interfaces, which we can use to resolve the proper source location of symbols. Specifically, if a
Prelude.icurryexists (from previous compilations by the language server), symbols from thePreludewill still link toPrelude.curry.