January 2007 - Glasgow-haskell-users

importing "in place" and packages
by Ashley Yakeley 04 Jan '07

04 Jan '07

I'm compiling the files for package "javavm" with GHC 6.6 (using "-package-name javavm"). As part of the compilation process, I need a runnable program that uses the modules I've compiled "in place": import JVMBoot But I get this error when compiling my "Main" module (ShowClasses.hs): ShowClasses.hs:23:1: Bad interface file: JVMBoot.hi Something is amiss; requested module main:JVMBoot differs from name found in the interface file javavm:JVMBoot Really I want to import javavm:JVMBoot, not main:JVMBoot. I tried this, but GHC doesn't like it (because it's not Haskell): import javavm:JVMBoot I tried compiling ShowClasses.hs with "-package-name javavm". This let me compile, but then I get this on link: /usr/bin/ld: Undefined symbols: _ZCMain_main_closure ___stginit_ZCMain collect2: ld returned 1 exit status I tried adding a -main-is in the compile step, but this didn't help. Is there any way to create a main function that calls files imported "in place" that are in some package? I have the same issue when writing tests for my "time" package. -- Ashley Yakeley

4 6

Compiling 6.6 repos on Mac OS X
by C.M.Brown 03 Jan '07

03 Jan '07

Hi, I have recently tried to compile the 6.6 version of ghc from the darcs repository. I followed the intructions to pull ghc from the repository: darcs get --partial http://darcs.haskell.org/ghc-6.6/ghc cd ghc chmod +x darc-add ./darcs-add -extra pull The build process seems to get past stage 1, but fails at the beginning of stage 2: ../compiler/ghc-inplace -optc-O -optc-Wall -optc-W -optc-Wstrict-prototypes -optc-Wmissing-prototypes -optc-Wmissing-declarations -optc-Winline -optc-Waggregate-return -optc-Wbad-function-cast -optc-I../includes -optc-I. -optc-Iparallel -optc-DCOMPILING_RTS -optc-fomit-frame-pointer -optc-fno-strict-aliasing -H16m -O -optc-O2 -static -I. -#include HCIncludes.h -fvia-C -dcmm-lint -c Linker.c -o Linker.o Linker.c: In function 'loadObj': Linker.c:1383:0: error: 'misalignment' undeclared (first use in this function) Linker.c:1383:0: error: (Each undeclared identifier is reported only once Linker.c:1383:0: error: for each function it appears in.) make[1]: *** [Linker.o] Error 1 make: *** [stage1] Error 1 I am compiling this with ghc-6.6 (the latest version from darcs) and gcc 4.0. Kind regards, Chris.

1 0

Dumping context reduction steps
by Misha Aizatulin 02 Jan '07

02 Jan '07

hi, is there some command line switch in GHC that would allow me to see context reduction steps during the compilation? Thanks, Misha

2 1

Coverage Condition fails
by Adrian Hey 02 Jan '07

02 Jan '07

Hello folks, Could somebody explain what a coverage condition is and what this error message means.. "Illegal instance declaration for 'GT (GT2 map1 map2) (k1,k2)' (the Coverage Condition fails for one of the functional dependencies) In the instance declaration for 'GT (GT2 map1 map2) (k1,k2)'" The offending code looks like this.. > -- Generalsed Trie map class > class Ord k => GT map k | map -> k , k -> map where > -- Map type for pairs > newtype (GT2 map1 map2 a) = GT2 (map1 (map2 a)) > -- Which is an instance of GT > instance (GT map1 k1, GT map2 k2) => GT (GT2 map1 map2) (k1,k2) where This is with ghc 6.6. The strange thing is this code used to compile fine with earlier versions (but I don't know if it actually worked because I never tested it). Thanks -- Adrian Hey

2 2