search

mlabs-haskell / lambda-buffers

LambdaBuffers toolkit for sharing types and their semantics between different languages
https://mlabs-haskell.github.io/lambda-buffers/
Apache License 2.0
29 stars 0 forks source link

Align error reporting with GNU standard #144

Closed bladyjoker closed 8 months ago

bladyjoker commented 8 months ago

Could LB please follow some more or less standard error format like https://www.gnu.org/prep/standards/html_node/Errors.html? Emacs, vscode and many console emulators can recognise it and make them clickable, etc. Very tiny difference but huge experience boost

[lbf][ERROR][COMPILER]types/NftMarketplace.lbf:(16:11)-(16:12) An unbound type variable 'b' was found in module 'NftMarketplace' in a type definition for 'Bar'

./types/NftMarketplace.lbf:16.11-16.12: [lbf][ERROR][COMPILER] An unbound type variable 'b' was found in module 'NftMarketplace' in a type definition for 'Bar'

bladyjoker commented 8 months ago

cc @t4ccer