Skip to content

Qualified name in binding position

When building diagrams with HEAD I ran into this difference from 7.0.2 (and I believe 7.2) shown with this:

---- Qual.hs --------

{-# LANGUAGE TypeFamilies #-}

import qualified Blah.A as A

instance A.B Int where
  type A.T Int = Bool
---- Blah/A.hs --------

{-# LANGUAGE TypeFamilies #-}

module Blah.A (B(..)) where

class B a where
  type T a :: *
--- Output from HEAD (was same with 7.3.20111206)
$ ~/ghc/inplace/bin/ghc-stage2 --interactive Qual.hs
GHCi, version 7.5.20111215: http://www.haskell.org/ghc/  :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
[1 of 2] Compiling Blah.A           ( Blah/A.hs, interpreted )
[2 of 2] Compiling Main             ( Qual.hs, interpreted )

Qual.hs:6:8: Qualified name in binding position: A.T
Failed, modules loaded: Blah.A.
*Blah.A>
---- Output from 7.0.2
$ ghci Qual.hs
GHCi, version 7.0.2: http://www.haskell.org/ghc/  :? for help
Loading package ghc-prim ... linking ... done.
Loading package integer-gmp ... linking ... done.
Loading package base ... linking ... done.
[1 of 2] Compiling Blah.A           ( Blah/A.hs, interpreted )
[2 of 2] Compiling Main             ( qual.hs, interpreted )
Ok, modules loaded: Blah.A, Main.
*Main>

In our case we didn't need the qualified import anyway and removed it here: http://www.patch-tag.com/r/byorgey/diagrams-core/snapshot/hash/20111215185451-1e371-dcaeff70fc825e9afa91addbeaaa69c5749f5529/patch

Trac metadata
Trac field Value
Version
Type Bug
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component Compiler
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information