Sorry in advance if I should be posting questions of this kind elsewhere (please tell me if so!).
Consider this two file program:
```
module T where
main = undefined
module Main where
import T
main = putStrLn "Hello world!"
```
Both 8.4.3 and 8.6.3 agree:
```
Main.hs:1:1: error:
Ambiguous occurrence ‘main’
It could refer to either ‘T.main’,
imported from ‘T’ at Main.hs:2:1-8
(and originally defined at Main.hs:2:1-4)
or ‘Main.main’, defined at Main.hs:5:1
```