Skip to content
This repository has been archived by the owner on Apr 25, 2020. It is now read-only.

check with --map-file shows temporary file #903

Open
voanhduy1512 opened this issue Aug 13, 2017 · 3 comments
Open

check with --map-file shows temporary file #903

voanhduy1512 opened this issue Aug 13, 2017 · 3 comments

Comments

@voanhduy1512
Copy link

voanhduy1512 commented Aug 13, 2017

a.hs

a :: Int

a :: Int
a = 5

main :: IO ()
main = print a
ghc-mod --map-file b.hs=a.hs check b.hs

b.hs:3:1:Duplicate type signatures for ‘a’at a.hs:1:1   a.hs:3:1

I expected to see

b.hs:3:1:Duplicate type signatures for ‘a’at b.hs:1:1   b.hs:3:1

instead

Related to #653 and #692 i think

@DanielG
Copy link
Owner

DanielG commented Aug 22, 2017

@lierdakil I invoke thee. I don't remember if we ever did do this correctly :)

@lierdakil
Copy link
Collaborator

Generally speaking, it works, but there are some corner cases, like this one, because I am an idiot and tried to work on output directly.

But there was a reasonable idea on IRC: why don't we just use LINE pragmas? I'm going to make a proof-of-concept now.

@lierdakil
Copy link
Collaborator

See #906

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants