When compiling the two modules
module Geometry where
data Point = Point {xcoord,ycoord::Int}
and
module X where
import Geometry
flipPoint (Point x y) = Point y x
I get
ghc-2.01 -c -v X.hs
The Glorious Glasgow Haskell Compilation System, version 2.01 patchlevel 0
Ineffective C pre-processor:
echo '#line 1 "X.hs"' > /tmp/ghc15043.cpp && cat X.hs >> /tmp/ghc15043.cpp
real 0.0
user 0.0
sys 0.0
Haskell compiler:
/usr/src/cs/pd/ghc/ghc-2.01-sparc-sun-solaris2/lib/ghc/2.01/sparc-sun-solaris2/hsc ,-W
,/tmp/ghc15043.cpp -fignore-interface-pragmas -fomit-interface-pragmas -fsimplify \(
-ffloat-lets-exposing-whnf -ffloat-primops-ok -fcase-of-case -freuse-con
-fpedantic-bottoms -fsimpl-uf-use-threshold0 -fessential-unfoldings-only
-fmax-simplifier-iterations4 \) -himap=/tmp/ghc15043.himap -v
-hifile=/tmp/ghc15043.hi -S=/tmp/ghc15043.s +RTS -H6000000 -K1000000
Glasgow Haskell Compiler, version 2.01, for Haskell 1.3
Could not find interface declaration of: Geometry.xcoord; looking for:
Geometry.xcoord
Could not find interface declaration of: Geometry.ycoord; looking for:
Geometry.ycoord
Compilation had errors
real 4.1
user 2.6
sys 0.9
deleting... /tmp/ghc15043.hi /tmp/ghc15043.s
rm -f /tmp/ghc15043*
/Magnus