April 2015 - ghc-tickets

[GHC] #9938: cryptarithm2 fails with undefined reference to `transzuH9c1w14lEUN3zzdWCTsn8jG_ControlziMonadziTransziStateziLazzy_zdwzdcp0Alternative_info'
by GHC 02 Jun '15

02 Jun '15

#9938: cryptarithm2 fails with undefined reference to `transzuH9c1w14lEUN3zzdWCTsn8jG_ControlziMonadziTransziStateziLazzy_zdwzdcp0Alternative_info' -------------------------------------+------------------------------------- Reporter: nomeata | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Compile-time Unknown/Multiple | crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- I am observing this right now: {{{ ==nofib== cryptarithm2: size of Main.o follows... text data bss dec hex filename 25423 1304 0 26727 6867 Main.o ==nofib== cryptarithm2: time to link cryptarithm2 follows... Main.o: In Funktion `c79k_info': (.text+0x1a5b): Nicht definierter Verweis auf `transzuH9c1w14lEUN3zzdWCTsn8jG_ControlziMonadziTransziStateziLazzy_zdwzdcp0Alternative_info' Main.o: In Funktion `c7cP_info': (.text+0x2283): Nicht definierter Verweis auf `transzuH9c1w14lEUN3zzdWCTsn8jG_ControlziMonadziTransziStateziLazzy_zdwzdcp0Alternative_info' Main.o: In Funktion `c7ll_info': (.text+0x2f53): Nicht definierter Verweis auf `transzuH9c1w14lEUN3zzdWCTsn8jG_ControlziMonadziTransziStateziLazzy_zdwzdcp0Alternative_info' Main.o: In Funktion `c7p2_info': (.text+0x37cb): Nicht definierter Verweis auf `transzuH9c1w14lEUN3zzdWCTsn8jG_ControlziMonadziTransziStateziLazzy_zdwzdcp0Alternative_info' collect2: error: ld returned 1 exit status <<ghc: 12447488 bytes, 13 GCs, 430760/691224 avg/max bytes residency (2 samples), 31M in use, 0.001 INIT (0.001 elapsed), 0.008 MUT (0.207 elapsed), 0.013 GC (0.013 elapsed) :ghc>> make[2]: *** [cryptarithm2] Fehler 1 Failed making all in cryptarithm2: 1 make[1]: *** [all] Fehler 1 Failed making all in spectral: 1 make: *** [all] Fehler 1 make: Verlasse Verzeichnis '/data1/ghc-builder/logs/ghc-tmp-REV/nofib' }}} Trying to minimize the problem, I came up with this file: {{{ module Main where import Control.Monad import Control.Monad.Trans.State solve :: Int -> StateT () [] () solve carry | carry > 0 = do guard (0 == carry) solve (carry -1) solve 0 = mzero main :: IO () main = return () }}} It only occurs when using this sequence (I’m also pasting the DEBUG output, in case it is useful): {{{ $ /home/jojo/build/haskell/ghc/inplace/bin/ghc-stage2 -O2 -c Main.hs WARNING: file compiler/specialise/Specialise.hs, line 677 specImport discarding: $w$cmany :: forall s_a1an (m_a1ao :: * -> *). MonadPlus m_a1ao => forall a_a1ap. StateT s_a1an m_a1ao a_a1ap -> StateT s_a1an m_a1ao [a_a1ap] want: False stable: False calls: $w$cmany _ @ [] $fMonadPlus[] WARNING: file compiler/specialise/Specialise.hs, line 677 specImport discarding: $w$csome :: forall s_a1ax (m_a1ay :: * -> *). MonadPlus m_a1ay => forall a_a1az. StateT s_a1ax m_a1ay a_a1az -> StateT s_a1ax m_a1ay [a_a1az] want: False stable: False calls: $w$csome _ @ [] $fMonadPlus[] WARNING: file compiler/specialise/Specialise.hs, line 677 specImport discarding: $w$cp0Alternative :: forall s_a1aT (m_a1aU :: * -> *). MonadPlus m_a1aU => (# Functor (StateT s_a1aT m_a1aU), forall a_a1aV. a_a1aV -> StateT s_a1aT m_a1aU a_a1aV, forall a_a1aW b_a1aX. StateT s_a1aT m_a1aU (a_a1aW -> b_a1aX) -> StateT s_a1aT m_a1aU a_a1aW -> StateT s_a1aT m_a1aU b_a1aX, forall a_a1aY b_a1aZ. StateT s_a1aT m_a1aU a_a1aY -> StateT s_a1aT m_a1aU b_a1aZ -> StateT s_a1aT m_a1aU b_a1aZ, forall a_a1b0 b_a1b1. StateT s_a1aT m_a1aU a_a1b0 -> StateT s_a1aT m_a1aU b_a1b1 -> StateT s_a1aT m_a1aU a_a1b0 #) want: False stable: False calls: $w$cp0Alternative _ @ [] $fMonadPlus[] WARNING: file compiler/specialise/Specialise.hs, line 1093 Missed specialisation opportunity for $fMonadStateT_$c>> [] 2 [] 1 [ALWAYS] $ /home/jojo/build/haskell/ghc/inplace/bin/ghc-stage2 -O2 -o cryptarithm2 Main.o Main.o: In function `r3He_info': (.text+0x52): undefined reference to `transzuH9c1w14lEUN3zzdWCTsn8jG_ControlziMonadziTransziStateziLazzy_zdwzdcp0Alternative_info' collect2: error: ld returned 1 exit status }}} It works fine if I compile directly using {{{ $ /home/jojo/build/haskell/ghc/inplace/bin/ghc-stage2 -O2 -o cryptarithm2 Main.hs }}} Changing the order of the cases in `solve` also makes the problem go away. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9938> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 15

[GHC] #10101: ghci :e throws exception after type error
by GHC 01 Jun '15

01 Jun '15

#10101: ghci :e throws exception after type error -------------------------------------+------------------------------------- Reporter: diatchki | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: GHCi | Version: 7.11 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: GHCi crash Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- After a type-error on the command line, :e starts throwing an exception. To reproduce: {{{ ~/src/ghc/inplace/bin/ghc-stage2 --interactive test.hs GHCi, version 7.11.20150128: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling Main ( test.hs, interpreted ) Ok, modules loaded: Main. *Main> 1 + () <interactive>:2:3: No instance for (Num ()) arising from a use of ‘+’ In the expression: 1 + () In an equation for ‘it’: it = 1 + () *Main> :e *** Exception: <interactive>: canonicalizePath: does not exist (No such file or directory) *Main> }}} The contents of `test.hs` is not important as long as there is a file to edit. Editing works fine before the type-error on the command line. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10101> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 7

[GHC] #10317: Event manager: Multishot registrations only fire once
by GHC 01 Jun '15

01 Jun '15

#10317: Event manager: Multishot registrations only fire once -------------------------------------+------------------------------------- Reporter: bgamari | Owner: Type: bug | Status: new Priority: normal | Milestone: 7.10.2 Component: Compiler | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Incorrect result Unknown/Multiple | at runtime Test Case: | Blocked By: Blocking: | Related Tickets: Differential Revisions: | -------------------------------------+------------------------------------- Since D347 the event manager has had support for multishot event registration semantics, allowing the user to receive multiple events on an fd without requiring re-registration. Unfortunately the implementation drops the registration after it fires, resulting in only one callback invocation. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10317> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[GHC] #10126: Test framework should not assume that GHC tools are in the same directory as GHC itself
by GHC 01 Jun '15

01 Jun '15

#10126: Test framework should not assume that GHC tools are in the same directory as GHC itself -------------------------------------+------------------------------------- Reporter: Rufflewind | Owner: Rufflewind Type: feature | Status: new request | Milestone: Priority: normal | Version: 7.8.4 Component: Test Suite | Operating System: Unknown/Multiple Keywords: test | Type of failure: Other framework makefile | Blocked By: Architecture: | Related Tickets: Unknown/Multiple | Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- The GHC test framework assumes that the GHC tools (`ghc-pkg`, `runghc`, `hsc2hs`, etc) are always in the same directory as `ghc` itself While this is probably a safe assumption for "in-tree" compilers, it's not necessarily true for "out-of-tree" compilers. For example, I currently have a thin wrapper of `ghc` in `$HOME/bin/ghc`, which causes the test framework to think that `ghc-pkg` is in `$HOME/bin/ghc-pkg`. I think the restriction should be relaxed as long as `TEST_HC` is not specified and an out-of-tree compiler is used. I suggest changing `testsuite/mk/boilerplate.mk` in the following way: {{{#!patch @@ -56,6 +56,7 @@ TEST_HC := $(STAGE2_GHC) endif else +implicit_compiler = YES IN_TREE_COMPILER = NO TEST_HC := $(shell which ghc) endif @@ -87,24 +88,30 @@ endif # containing spaces BIN_ROOT = $(shell dirname '$(TEST_HC)') +ifeq "$(implicit_compiler)" "YES" +find_tool = $(shell which $(1)) +else +find_tool = $(BIN_ROOT)/$(1) +endif + ifeq "$(GHC_PKG)" "" -GHC_PKG := $(BIN_ROOT)/ghc-pkg +GHC_PKG := $(call find_tool,ghc-pkg) endif ifeq "$(RUNGHC)" "" -RUNGHC := $(BIN_ROOT)/runghc +RUNGHC := $(call find_tool,runghc) endif ifeq "$(HSC2HS)" "" -HSC2HS := $(BIN_ROOT)/hsc2hs +HSC2HS := $(call find_tool,hsc2hs) endif ifeq "$(HP2PS_ABS)" "" -HP2PS_ABS := $(BIN_ROOT)/hp2ps +HP2PS_ABS := $(call find_tool,hp2ps) endif ifeq "$(HPC)" "" -HPC := $(BIN_ROOT)/hpc +HPC := $(call find_tool,hpc) endif $(eval $(call canonicaliseExecutable,TEST_HC)) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10126> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #10360: GHC ignores command-line options if *.o and *.hi files exist
by GHC 31 May '15

31 May '15

#10360: GHC ignores command-line options if *.o and *.hi files exist -------------------------------------+------------------------------------- Reporter: asr | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Blocked By: Test Case: | Related Tickets: Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- For example, given the module {{{#!hs module Test where foo = putStrLn "Hello World" }}} if I compile using the command {{{ ghc -c Test.hs }}} and then I compile adding the `-Wall` flag {{{ ghc -c -Wall Test.hs }}} I would expect the warning {{{ Test.hs:3:1: Warning: Top-level binding with no type signature: foo :: IO () }}} but GHC produces the message {{{ compilation IS NOT required }}} That is, the `-Wall` flag was ignored because the `Test.o` and `Test.hi` exist. (I couldn't reproduce this behaviour using gcc version 4.6.3.) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10360> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #8292: linker_unload test doesn't work on Windows
by GHC 31 May '15

31 May '15

#8292: linker_unload test doesn't work on Windows ------------------------------------+---------------------------------- Reporter: ezyang | Owner: simonmar Type: bug | Status: new Priority: normal | Milestone: Component: Test Suite | Version: 7.7 Keywords: | Operating System: Windows Architecture: Unknown/Multiple | Type of failure: None/Unknown Difficulty: Unknown | Test Case: linker_unload Blocked By: | Blocking: Related Tickets: | ------------------------------------+---------------------------------- I fixed up the major issues but I am getting: {{{ "/c/Users/ezyang/Dev/ghc-dyn/inplace/bin/ghc-stage2.exe" -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db -rtsopts -c Test.hs -v0 # -rtsopts causes a warning "/c/Users/ezyang/Dev/ghc-dyn/inplace/bin/ghc-stage2.exe" -fforce-recomp -dcore-lint -dcmm-lint -dno-debug-output -no-user-package-db linker_unload.c -o linker_unload -no-hs-main -optc-Werror ./linker_unload \Users\ezyang\Dev\ghc-dyn\libraries\base\dist- install\build/libHSbase-4.7.0.0.a \Users\ezyang\Dev\ghc-dyn\libraries\ghc-prim\dist-install\build/libHSghc- prim-0.3.1.0.a \Users \ezyang\Dev\ghc-dyn\libraries\integer-gmp\dist-install\build/libHSinteger- gmp-0.5.1.0.a linker_unload.exe: \Users\ezyang\Dev\ghc-dyn\libraries\base\dist- install\build/libHSbase-4.7.0. 0.a: unknown symbol `_select' }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8292> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 6

[GHC] #9930: By default, a source code would get overwritten by executable on *nix
by GHC 31 May '15

31 May '15

#9930: By default, a source code would get overwritten by executable on *nix -------------------------------------+------------------------------------- Reporter: Rufflewind | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.8.4 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Other Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- If I have a source code without an extension, say `foo`, and I forget to specify the output file via `-o`, GHC will overwrite it with the executable itself after compilation. This occurs only on *nix-like operating systems. Presumably something similar could happen on Windows – fortunately, those who use `.exe` for source code are probably among the minority. Minimum example: {{{#!sh #!/bin/sh echo >foo 'main=undefined' ghc -x hs foo less foo # 'foo' now contains binary data }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9930> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #10261: Don't build runghc if we don't have GhcWithInterpreter
by GHC 30 May '15

30 May '15

#10261: Don't build runghc if we don't have GhcWithInterpreter -------------------------------------+------------------------------------- Reporter: rwbarton | Owner: Type: bug | Status: new Priority: low | Milestone: Component: Build | Version: 7.10.1 System | Operating System: Unknown/Multiple Keywords: | Type of failure: None/Unknown Architecture: | Blocked By: Unknown/Multiple | Related Tickets: Test Case: | Blocking: | Differential Revisions: | -------------------------------------+------------------------------------- On configurations with GhcWithInterpreter=NO, we should not build runghc (since it will never work), and especially not install runghc/runhaskell scripts/symlinks when the system might already have another working runhaskell (e.g., Hugs). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/10261> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #9584: Interface file errors (Iface type variable out of scope: k)
by GHC 26 May '15

26 May '15

#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 Keywords: | Operating System: Architecture: Unknown/Multiple | Unknown/Multiple Difficulty: Unknown | Type of failure: Blocked By: | None/Unknown Related Tickets: | Test Case: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- (Please forgive me if I have not formatted this bug report properly) Anyway, yesterday in a project at work we started having a strange problem where pretty much any change in our code at all would result in the next build failing with this error: {{{ The interface for ‘main:HList’ Declaration for $fRLensk:r_$s$w$crlens: Iface type variable out of scope: k Cannot continue after interface file error }}} I can get around the problem by deleting the dist directory, but this is very unfortunate, since it basically changes my build/test cycle from a few seconds to a minutes because I can't take advantage of the cached builds of things that *haven't* changed. It seems like errors like this have cropped up a few times in GHC, but they've always been fixed so far, so hopefully someone here will be familiar with what is causing this one! Please let me know if there is further information I can provide. The file in question looks basically like this: (it depends on some other stuff in our project, and so it won't build immediately if you paste it onto your machine; let me know if you need me to bundle it up into something self-contained). {{{#!hs -- | A bespoke record/HList type. 'el' interprets fields into types; 'tot' is -- the maximal extension of the record type; and 'rs' is the subset of 'tot' -- contained in the record itself. data Record (el :: k -> *) (tot :: [k]) (rs :: [k]) where Nil :: Record el tot '[] (:*) :: ( ElemTF r tot ?? '("the key", r, "is not permitted in this record, which may only contain", tot) , DistinctTF (r ': rs) ?? '("the key", r, "is already in", rs) ) => el r -> Record el tot rs -> Record el tot (r ': rs) infixr 9 :* -- | Records have lenses for their fields. class ElemTF r rs ~ True => RLens rs r where rlens :: proxy r -> CL.Lens' (Record el tot rs) (el r) instance RLens (r ': rs) r where rlens _ = CL.lens (\(x :* _) -> x) (\(_ :* xs) x -> x :* xs) instance (ElemTF r (s ': rs) ~ True, RLens rs r) => RLens (s ': rs) r where rlens _ = CL.lens (\(_ :* xs) -> xs ^. rlens Proxy) (\(x :* xs) y -> x :* xs & rlens Proxy .~ y) -- | Records with fields in 'K' give rise to a functor from 'Hask^K' to 'Hask'. (<<$>>) :: (forall x. f x -> g x) -> Record f tot rs -> Record g tot rs _ <<$>> Nil = Nil eta <<$>> (x :* xs) = eta x :* (eta <<$>> xs) infixl 8 <<$>> -- | Records can be traversed to pull out some of their effects. rtraverse :: Applicative h => (forall x. f x -> h (g x)) -> Record f tot rs -> h (Record g tot rs) rtraverse _ Nil = pure Nil rtraverse f (x :* xs) = (:*) <$> f x <*> rtraverse f xs -- | As a special case, we can yank out the first layer of effects in a -- composed functor stack. rtraverse1 :: Applicative f => Record (f :. g) tot rs -> f (Record g tot rs) rtraverse1 = rtraverse getCompose -- | Records whose fields are uniform in type may be turned into a list. recordToList :: Record (Const t) tbl rs -> [t] recordToList Nil = [] recordToList (Const x :* xs) = x : recordToList xs instance Show (Record el tot '[]) where show _ = "Nil" instance ( Show (Record el tot rs) , Show (el r) ) => Show (Record el tot (r ': rs)) where show (x :* xs) = "(" ++ show x ++ " :* " ++ show xs ++ ")" data family Sing (a :: k) class SingI a where sing :: Sing a class kparam ~ Any => SingE (kparam :: k) rep | kparam -> rep where fromSing :: Sing (a :: k) -> rep }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/9584> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 10

[GHC] #8122: make binary-dist broken on OS X in HEAD
by GHC 26 May '15

26 May '15

#8122: make binary-dist broken on OS X in HEAD --------------------------------+------------------------------------------ Reporter: danharaj | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Build System | Version: 7.7 Keywords: | Operating System: MacOS X Architecture: x86_64 | Type of failure: Installing GHC failed (amd64) | Test Case: Difficulty: Unknown | Blocking: Blocked By: | Related Tickets: | --------------------------------+------------------------------------------ After a successful configure and make, make binary-dist fails: {{{ ➜ ghc git:(master) make ===--- building phase 0 make -r --no-print-directory -f ghc.mk phase=0 phase_0_builds make[1]: Nothing to be done for `phase_0_builds'. ===--- building phase 1 make -r --no-print-directory -f ghc.mk phase=1 phase_1_builds make[1]: Nothing to be done for `phase_1_builds'. ===--- building final phase make -r --no-print-directory -f ghc.mk phase=final all make[1]: Nothing to be done for `all'. ➜ ghc git:(master) make binary-dist rm -f bindist-list make -r --no-print-directory -f ghc.mk bindist BINDIST=YES "cp" -p ghc/stage1/build/tmp/ inplace/lib/bin/ghc-stage1 cp: ghc/stage1/build/tmp/ is a directory (not copied). make[1]: *** [inplace/lib/bin/ghc-stage1] Error 1 make: *** [binary-dist-prep] Error 2 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/8122> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 12