| file1.hs:4:8: Error after type deriving/checking: | Type error type clash between Prelude.Int and Main.Foo | when trying to apply function to its 1:st argument | file2.hs:4:17: (the function is defined here).
Unfortunately, that is not what the current error message means. The function is not defined at line 4, column 17 - it is used at that position. The function is at 4:17, the argument is at 4:8 (this is an infix application), and the definition is somewhere else, possibly not even in this module. It could be the function definition that
OK, sorry for misunderstanding the message. But my point remains: the format of the diagnostic message should support Emacs compile mode in locating the two points of interest. Regards, -- F.