#9584: Interface file errors (Iface type variable out of scope: k) -------------------------------------+------------------------------------- Reporter: jonsterling | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.3 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: #9263 | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by andreas.abel): I am getting a similar error (with ghc 7.8.3) when compiling Agda for the second time (without removing dist). Probably cause is SPECIALIZE pragmas. https://github.com/agda/agda/commit/22eb932c0df278e40e40c6e990d2e9dcb6f99449 Probably reproducible by * cloning Agda at this commit * introduce an error in a later module, e.g. src/full/Agda/TypeChecking/InstanceArguments.hs * make install-bin * fix the error * make install-bin Error: {{{ The interface for ‘Agda-2.4.3:Agda.TypeChecking.Free.Lazy’ Rule SPEC $cfreeVars': Iface type variable out of scope: a Cannot continue after interface file error cabal: Error: some packages failed to install: }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/9584#comment:7 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler