July 2017 - ghc-tickets

10 Jul '17

#13953: forall -------------------------------------+------------------------------------- Reporter: zaoqi | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Keywords: forall | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{#!hs --Copyright (C) 2017 Zaoqi --This program is free software: you can redistribute it and/or modify --it under the terms of the GNU Affero General Public License as published --by the Free Software Foundation, either version 3 of the License, or --(at your option) any later version. --This program is distributed in the hope that it will be useful, --but WITHOUT ANY WARRANTY; without even the implied warranty of --MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the --GNU Affero General Public License for more details. --You should have received a copy of the GNU Affero General Public License --along with this program. If not, see <http://www.gnu.org/licenses/>. {-# LANGUAGE DataKinds, TypeOperators, KindSignatures, GADTs, MultiParamTypeClasses, FlexibleInstances, FlexibleContexts, AllowAmbiguousTypes, UndecidableInstances, IncoherentInstances, NoMonomorphismRestriction, ScopedTypeVariables #-} module Data.U where data U :: [*] -> * where UOne :: x -> U (x : xs) USucc :: U xs -> U (x : xs) class Usuccs a b where usuccs :: U a -> U b instance Usuccs a a where usuccs = id instance Usuccs xs ys => Usuccs (x : xs) (x : ys) where usuccs (UOne x) = UOne x usuccs (USucc xs) = USucc (usuccs xs) instance Usuccs xs (x : xs) where usuccs = USucc instance Usuccs xs ys => Usuccs xs (y : ys) where usuccs x = USucc (usuccs x) u :: forall x xs. Usuccs '[x] xs => x -> U xs u x = usuccs (UOne x :: U '[x]) class T a b where t :: U a -> U b instance Usuccs '[x] t => T '[x] t where t (UOne x) = u x instance (T xs t, Usuccs '[x] t) => T (x ': xs) t where t (UOne x) = u x t (USucc xs) = t xs instance Eq x => Eq (U '[x]) where UOne x == UOne y = x == y instance (Eq x, Eq (U xs)) => Eq (U (x : xs)) where UOne x == UOne y = x == y USucc xs == USucc ys = xs == ys _ == _ = False instance Show x => Show (U '[x]) where show (UOne x) = "(u " ++ showsPrec 11 x ")" instance (Show x, Show (U xs)) => Show (U (x : xs)) where show (UOne x) = "(u " ++ showsPrec 11 x ")" show (USucc xs) = show xs }}} {{{ GHCi, version 8.0.2: http://www.haskell.org/ghc/ :? for help Prelude> :load U.hs [1 of 1] Compiling Data.U ( U.hs, interpreted ) Ok, modules loaded: Data.U. *Data.U> :t u u :: Usuccs '[x] xs => x -> U xs }}} ------------------------------------------------------ {{{#!hs --Copyright (C) 2017 Zaoqi --This program is free software: you can redistribute it and/or modify --it under the terms of the GNU Affero General Public License as published --by the Free Software Foundation, either version 3 of the License, or --(at your option) any later version. --This program is distributed in the hope that it will be useful, --but WITHOUT ANY WARRANTY; without even the implied warranty of --MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the --GNU Affero General Public License for more details. --You should have received a copy of the GNU Affero General Public License --along with this program. If not, see <http://www.gnu.org/licenses/>. {-# LANGUAGE DataKinds, TypeOperators, KindSignatures, GADTs, MultiParamTypeClasses, FlexibleInstances, FlexibleContexts, AllowAmbiguousTypes, UndecidableInstances, IncoherentInstances, NoMonomorphismRestriction, ScopedTypeVariables #-} module Data.U where data U :: [*] -> * where UOne :: x -> U (x : xs) USucc :: U xs -> U (x : xs) class Usuccs a b where usuccs :: U a -> U b instance Usuccs a a where usuccs = id instance Usuccs xs ys => Usuccs (x : xs) (x : ys) where usuccs (UOne x) = UOne x usuccs (USucc xs) = USucc (usuccs xs) instance Usuccs xs (x : xs) where usuccs = USucc instance Usuccs xs ys => Usuccs xs (y : ys) where usuccs x = USucc (usuccs x) u :: Usuccs '[x] xs => x -> U xs u x = usuccs (UOne x :: U '[x]) class T a b where t :: U a -> U b instance Usuccs '[x] t => T '[x] t where t (UOne x) = u x instance (T xs t, Usuccs '[x] t) => T (x ': xs) t where t (UOne x) = u x t (USucc xs) = t xs instance Eq x => Eq (U '[x]) where UOne x == UOne y = x == y instance (Eq x, Eq (U xs)) => Eq (U (x : xs)) where UOne x == UOne y = x == y USucc xs == USucc ys = xs == ys _ == _ = False instance Show x => Show (U '[x]) where show (UOne x) = "(u " ++ showsPrec 11 x ")" instance (Show x, Show (U xs)) => Show (U (x : xs)) where show (UOne x) = "(u " ++ showsPrec 11 x ")" show (USucc xs) = show xs }}} {{{ GHCi, version 8.0.2: http://www.haskell.org/ghc/ :? for help Prelude> :load U.hs [1 of 1] Compiling Data.U ( U.hs, interpreted ) U.hs:39:7: error: • Could not deduce (Usuccs '[x0] xs) arising from a use of ‘usuccs’ from the context: Usuccs '[x] xs bound by the type signature for: u :: Usuccs '[x] xs => x -> U xs at U.hs:38:1-32 The type variable ‘x0’ is ambiguous Relevant bindings include u :: x -> U xs (bound at U.hs:39:1) • In the expression: usuccs (UOne x :: U '[x]) In an equation for ‘u’: u x = usuccs (UOne x :: U '[x]) U.hs:39:15: error: • Couldn't match type ‘x’ with ‘x1’ ‘x’ is a rigid type variable bound by the type signature for: u :: forall x (xs :: [*]). Usuccs '[x] xs => x -> U xs at U.hs:38:6 ‘x1’ is a rigid type variable bound by an expression type signature: forall x1. U '[x1] at U.hs:39:25 Expected type: U '[x1] Actual type: U '[x] • In the first argument of ‘usuccs’, namely ‘(UOne x :: U '[x])’ In the expression: usuccs (UOne x :: U '[x]) In an equation for ‘u’: u x = usuccs (UOne x :: U '[x]) • Relevant bindings include x :: x (bound at U.hs:39:3) u :: x -> U xs (bound at U.hs:39:1) Failed, modules loaded: none. }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13953> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

[GHC] #13942: Pretty-printer butchers function arrow fixity on GHC HEAD
by GHC 10 Jul '17

10 Jul '17

#13942: Pretty-printer butchers function arrow fixity on GHC HEAD -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Incorrect result Unknown/Multiple | at runtime Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- This code: {{{#!hs {-# LANGUAGE TemplateHaskell #-} {-# OPTIONS_GHC -ddump-splices #-} module Bug where $([d| f :: Either Int (Int -> Int) f = undefined |]) }}} Pretty-prints incorrectly on GHC HEAD: {{{ $ /opt/ghc/head/bin/ghci Bug.hs GHCi, version 8.3.20170706: http://www.haskell.org/ghc/ :? for help Loaded GHCi configuration from /home/rgscott/.ghci [1 of 1] Compiling Bug ( Bug.hs, interpreted ) Bug.hs:(5,3)-(7,6): Splicing declarations [d| f_a1sG :: Either Int (Int -> Int) f_a1sG = undefined |] ======> f_a4bj :: Either Int Int -> Int f_a4bj = undefined }}} But not on GHC 8.2.1-rc3: {{{ $ /opt/ghc/8.2.1/bin/ghci Bug.hs GHCi, version 8.2.0.20170704: http://www.haskell.org/ghc/ :? for help Loaded GHCi configuration from /home/rgscott/.ghci [1 of 1] Compiling Bug ( Bug.hs, interpreted ) Bug.hs:(5,3)-(7,6): Splicing declarations [d| f_a1su :: Either Int (Int -> Int) f_a1su = undefined |] ======> f_a4aV :: Either Int (Int -> Int) f_a4aV = undefined }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13942> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

Re: [GHC] #5927: A type-level "implies" constraint on Constraints
by GHC 10 Jul '17

10 Jul '17

#5927: A type-level "implies" constraint on Constraints -------------------------------------+------------------------------------- Reporter: illissius | Owner: (none) Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler (Type | Version: 7.4.1 checker) | Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Wiki Page: | -------------------------------------+------------------------------------- Changes (by heisenbug): * cc: heisenbug (added) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/5927#comment:26> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #13946: 自動選擇實例
by GHC 09 Jul '17

09 Jul '17

#13946: 自動選擇實例 -------------------------------------+------------------------------------- Reporter: zaoqi | Owner: (none) Type: feature | Status: new request | Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{#!hs {-# LANGUAGE MultiParamTypeClasses #-} class B a b where b :: a -> b instance B Int Char where b = error "B Int Char" instance B Int () where b = error "B Int ()" }}} {{{ *Main> :t (b undefined)::Char <interactive>:1:2: error: • Ambiguous type variable ‘a0’ arising from a use of ‘b’ prevents the constraint ‘(B a0 Char)’ from being solved. Probable fix: use a type annotation to specify what ‘a0’ should be. These potential instance exist: instance [safe] B Int Char -- Defined at t.hs:6:10 • In the expression: (b undefined) :: Char }}} 怎麼讓GHC在這種情況下自動選擇任意一個實例 [WARING]Google Translate How to make GHC automatically select any instance in this case -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13946> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #13935: AC_CHECK_FUNC yields incorrect result for pthread functions on NixOS causing build to fail
by GHC 08 Jul '17

08 Jul '17

#13935: AC_CHECK_FUNC yields incorrect result for pthread functions on NixOS causing build to fail -------------------------------------+------------------------------------- Reporter: mjvoge02 | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Build System | Version: Keywords: autoconf, | Operating System: Linux AC_CHECK_FUNC, configure, nixos | Architecture: x86_64 | Type of failure: None/Unknown (amd64) | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Code in [[GhcFile(configure.ac)]] incorrectly assesses that pthread functions will be available without explicitly providing `-lpthread` to gcc. This causes the build to fail. Forcing `need_lpthread=1` in [[GhcFile(configure.ac)]] causes the build to succeed and produce a perfectly functional GHC. From conversation on #GHC: "It looks like the combination of the following two commits has caused the breakage: e94bfb677298de3c4b4e0d1223fbc589849b79be, c0872bf99ff891e440f118bf9eea20b980c2cfca.[[br]] The first makes the configure script check if the `-lpthread` argument is required when building GHC, and the second uses that knowledge at runtime to decide whether to pass `-lpthread` when linking programs. [[br]] Stage 0 builds stage 1 just fine, since it doesn't have these commits and decides whether to pass `-lpthread` based purely on the platform. But the code from the first commit is yielding a false result (I don't know why), so stage 1 fails to build stage 2, since the second commit makes it use the false result to choose not to pass `-lpthread`." Also, doesn't determining the need for `-lpthread` like this have problematic implications for cross compilation? Whether `-lpthread` is required could be different between linking GHC and GHC doing linking (e.g. a cross compiler built on a system that does need the flag targeting a system that doesn't.) Ignoring that, using AX_PTHREAD or ACX_PTHREAD could potentially help resolve the issue. Relevant code from [[GhcFile(configure.ac)]]: {{{#!bash dnl Some platforms (e.g. Android's Bionic) have pthreads support available dnl without linking against libpthread. Check whether -lpthread is necessary dnl to use pthreads. dnl dnl Note that it is important that this happens before we AC_CHECK_LIB(thread) AC_MSG_CHECKING(whether -lpthread is needed for pthreads) AC_CHECK_FUNC(pthread_create, [ AC_MSG_RESULT(no) need_lpthread=0 ], [ AC_CHECK_LIB(pthread, pthread_create, [ AC_MSG_RESULT(yes) need_lpthread=1 ], [ AC_MSG_RESULT([no pthreads support found.]) need_lpthread=0 ]) ]) AC_DEFINE_UNQUOTED([NEED_PTHREAD_LIB], [$need_lpthread], [Define 1 if we need to link code using pthreads with -lpthread]) }}} System information: Linux nixos 4.9.30 x86_64 GNU/Linux gcc 5.4.0 ghc 7.10.3 Attempting to build GHC HEAD fails with {{{#!bash ... "inplace/bin/ghc-stage1" -hisuf hi -osuf o -hcsuf hc -static -O0 -H64m -Wall -Iincludes -Iincludes/dist -Iincludes/dist- derivedconstants/header -Iincludes/dist-ghcconstants/header -this-unit- id ghc-8.3 -hide-all-packages -i -icompiler/backpack -icompiler/basicTypes -icompiler/cmm -icompiler/codeGen -icompiler/coreSyn -icompiler/deSugar -icompiler/ghci -icompiler/hsSyn -icompiler/iface -icompiler/llvmGen -icompiler/main -icompiler/nativeGen -icompiler/parser -icompiler/prelude -icompiler/profiling -icompiler/rename -icompiler/simplCore -icompiler/simplStg -icompiler/specialise -icompiler/stgSyn -icompiler/stranal -icompiler/typecheck -icompiler/types -icompiler/utils -icompiler/vectorise -icompiler/stage2/build -Icompiler/stage2/build -icompiler/stage2/build/./autogen -Icompiler/stage2/build/./autogen -Icompiler/. -Icompiler/parser -Icompiler/utils -Icompiler/../rts/dist/build -Icompiler/stage2 -optP-DGHCI -optP-include -optPcompiler/stage2/build/./autogen/cabal_macros.h -package-id base-4.10.0.0 -package-id deepseq-1.4.3.0 -package-id directory-1.3.0.2 -package-id process-1.6.0.0 -package-id bytestring-0.10.8.2 -package-id binary-0.8.4.1 -package-id time-1.8.0.1 -package-id containers-0.5.10.2 -package-id array-0.5.1.2 -package-id filepath-1.4.1.2 -package-id template-haskell-2.12.0.0 -package-id hpc-0.6.0.3 -package-id transformers-0.5.2.0 -package-id ghc-boot-8.3 -package-id ghc-boot-th-8.3 -package-id ghci-8.3 -package-id unix-2.7.2.2 -package-id terminfo-0.4.1.0 -Wall -fno-warn-name-shadowing -this-unit-id ghc -XHaskell2010 -optc- DTHREADED_RTS -DGHCI_TABLES_NEXT_TO_CODE -DSTAGE=2 -Rghc-timing -O0 -no- user-package-db -rtsopts -Wnoncanonical-monad-instances -odir compiler/stage2/build -hidir compiler/stage2/build -stubdir compiler/stage2/build -dynamic-too -c compiler/hsSyn/HsTypes.hs -o compiler/stage2/build/HsTypes.o -dyno compiler/stage2/build/HsTypes.dyn_o includes/rts/OSThreads.h:58:0: error: error: undefined reference to 'pthread_mutex_trylock' | 58 | return pthread_mutex_trylock(mutex); | ^ includes/rts/OSThreads.h:58:0: error: error: undefined reference to 'pthread_mutex_trylock' | 58 | return pthread_mutex_trylock(mutex); | ^ rts/posix/OSThreads.c:137:0: error: error: undefined reference to 'pthread_create' | 137 | int result = pthread_create(pId, NULL, (void *(*)(void *))startProc, param); | ^ rts/posix/OSThreads.c:139:0: error: error: undefined reference to 'pthread_detach' | 139 | pthread_detach(*pId); | ^ rts/posix/OSThreads.c:141:0: error: error: undefined reference to 'pthread_setname_np' | 141 | pthread_setname_np(*pId, name); | ^ rts/posix/OSThreads.c:184:0: error: error: undefined reference to 'pthread_key_create' | 184 | if ((r = pthread_key_create(key, NULL)) != 0) { | ^ rts/posix/OSThreads.c:203:0: error: error: undefined reference to 'pthread_setspecific' | 203 | if ((r = pthread_setspecific(*key,value)) != 0) { | ^ rts/posix/OSThreads.c:212:0: error: error: undefined reference to 'pthread_key_delete' | 212 | if ((r = pthread_key_delete(*key)) != 0) { | ^ rts/posix/OSThreads.c:233:0: error: error: undefined reference to 'pthread_create' | 233 | int result = pthread_create(&tid, NULL, | ^ rts/posix/OSThreads.c:236:0: error: error: undefined reference to 'pthread_detach' | 236 | pthread_detach(tid); | ^ rts/posix/OSThreads.c:192:0: error: error: undefined reference to 'pthread_getspecific' | 192 | return pthread_getspecific(*key); | ^ rts/posix/OSThreads.c:371:0: error: error: undefined reference to 'pthread_kill' | 371 | pthread_kill(id, SIGPIPE); | ^ rts/posix/itimer/Pthread.c:171:0: error: error: undefined reference to 'pthread_create' | 171 | if (! pthread_create(&thread, NULL, itimer_thread_func, (void*)handle_tick)) { | ^ rts/posix/itimer/Pthread.c:210:0: error: error: undefined reference to 'pthread_join' | 210 | if (pthread_join(thread, NULL)) { | ^ rts/posix/itimer/Pthread.c:173:0: error: error: undefined reference to 'pthread_setname_np' | 173 | pthread_setname_np(thread, "ghc_ticker"); | ^ rts/posix/itimer/Pthread.c:214:0: error: error: undefined reference to 'pthread_detach' | 214 | pthread_detach(thread); | ^ includes/rts/OSThreads.h:58:0: error: error: undefined reference to 'pthread_mutex_trylock' | 58 | return pthread_mutex_trylock(mutex); | ^ collect2: error: ld returned 1 exit status `gcc' failed in phase `Linker'. (Exit code: 1) make[1]: *** [iserv/ghc.mk:72: iserv/stage2/build/tmp/ghc-iserv] Error 1 make[1]: *** Waiting for unfinished jobs.... <<ghc: 755844888 bytes, 149 GCs, 9956929/25185088 avg/max bytes residency (7 samples), 61M in use, 0.000 INIT (0.000 elapsed), 0.853 MUT (1.097 elapsed), 0.495 GC (0.509 elapsed) :ghc>> <<ghc: 2330135232 bytes, 288 GCs, 19895226/58582272 avg/max bytes residency (9 samples), 155M in use, 0.000 INIT (0.000 elapsed), 2.533 MUT (2.833 elapsed), 1.352 GC (1.362 elapsed) :ghc>> <<ghc: 8736365112 bytes, 461 GCs, 112580024/575893400 avg/max bytes residency (11 samples), 1191M in use, 0.000 INIT (0.000 elapsed), 4.416 MUT (4.569 elapsed), 7.235 GC (7.250 elapsed) :ghc>> <<ghc: 15569982136 bytes, 4099 GCs, 61572431/188646672 avg/max bytes residency (20 samples), 454M in use, 0.000 INIT (0.000 elapsed), 9.533 MUT (10.274 elapsed), 6.490 GC (6.536 elapsed) :ghc>> make: *** [Makefile:127: all] Error 2 }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13935> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 3

[GHC] #13939: Fix and enable SplitSections on 32bit Windows
by GHC 08 Jul '17

08 Jul '17

#13939: Fix and enable SplitSections on 32bit Windows --------------------------------+--------------------------------- Reporter: Phyx- | Owner: (none) Type: task | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Windows Architecture: x86 | Type of failure: None/Unknown Test Case: | Blocked By: Blocking: | Related Tickets: #12913 Differential Rev(s): | Wiki Page: --------------------------------+--------------------------------- Current split sections is disabled on 32bit windows because there's no bigobj support in binutils 32bit. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13939> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 1

Re: [GHC] #12913: Port SplitSections to Windows
by GHC 08 Jul '17

08 Jul '17

#12913: Port SplitSections to Windows -------------------------------------+------------------------------------- Reporter: olsner | Owner: (none) Type: task | Status: closed Priority: normal | Milestone: 8.4.1 Component: Compiler | Version: 8.0.1 (Linking) | Resolution: fixed | Keywords: Operating System: Windows | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #8405 #13939 | Differential Rev(s): Phab:D3382 Wiki Page: | Phab:D3383 Phab:D3523 -------------------------------------+------------------------------------- Changes (by Phyx-): * related: #8405 => #8405 #13939 Comment: Created a separate issue for the 32bit binutils problems #13939 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12913#comment:14> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #13932: GHCi dumps "panic!" ("initTc: unsolved constraints")
by GHC 08 Jul '17

08 Jul '17

#13932: GHCi dumps "panic!" ("initTc: unsolved constraints") --------------------------------------+------------------------------- Reporter: aiya000 | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: ghci | Operating System: Linux Architecture: x86_64 (amd64) | Type of failure: GHCi crash Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: --------------------------------------+------------------------------- Hi, I'm Japanese. I'm developping https://github.com/aiya000/hs-zuramaru now :) A problem is happend in https://github.com/aiya000/hs- zuramaru/commit/79b850167537afe9efa4f812ef6ce02ec129630c ! ghci says {{{ [7 of 9] Compiling Maru.Main ( /home/aiya000/Repository/hs- zuramaru/src/Maru/Main.hs, inte ghc: panic! (the 'impossible' happened) (GHC version 8.0.2 for x86_64-unknown-linux): initTc: unsolved constraints WC {wc_insol = [W] makeLensesWith_amym :: t_amyl[tau:1] (CHoleCan: makeLensesWith) [W] .~_amyv :: t_amyu[tau:1] (CHoleCan: .~) [W] &_amyE :: t_amyD[tau:1] (CHoleCan: &) [W] lensRules_amyL :: t_amyK[tau:1] (CHoleCan: lensRules)} Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} (This is shorten message, I'll write full message to last line) It maybe happened after I introduced extensible-effects and microlens (microlens-th, microlens-mtl), and used it. I cannot understand details of the problem x( My linux distribution is {{{ $ uname -a Linux BlueAloha 4.6.0-1-surfacepro3 #1 SMP PREEMPT Wed Apr 5 14:12:33 JST 2017 x86_64 GNU/Linux }}} Below line is the full message of ghci {{{ No extra-dep setting found for package at URL: https://github.com/aiya000/hs-throwable-exceptions.git This is usually a mistake, external packages should typically be treated as extra-deps to avoid spurious test case failures. No extra-dep setting found for package at URL: https://github.com/aiya000/hs-throwable-exceptions.git This is usually a mistake, external packages should typically be treated as extra-deps to avoid spurious test case failures. No extra-dep setting found for package at URL: https://github.com/aiya000/hs-throwable-exceptions.git This is usually a mistake, external packages should typically be treated as extra-deps to avoid spurious test case failures. No extra-dep setting found for package at URL: https://github.com/aiya000/hs-throwable-exceptions.git This is usually a mistake, external packages should typically be treated as extra-deps to avoid spurious test case failures. zuramaru-0.1.0.0: initial-build-steps (lib + exe) Log files have been written to: /home/aiya000/Repository/hs-zuramaru /.stack-work/logs/ The following GHC options are incompatible with GHCi and have not been passed to it: -threaded Configuring GHCi with the following packages: zuramaru, throwable- exceptions Using main module: 1. Package `zuramaru' component exe:maru with main-is file: /home/aiya000/Repository/hs-zuramaru/app/Main.hs GHCi, version 8.0.2: http://www.haskell.org/ghc/ :? for help Loaded GHCi configuration from /home/aiya000/.dotfiles/.ghci [1 of 7] Compiling Maru.Type.SExpr ( /home/aiya000/Repository/hs- zuramaru/src/Maru/Type/SExpr.hs, interpreted ) [2 of 7] Compiling Maru.Type.Parser ( /home/aiya000/Repository/hs- zuramaru/src/Maru/Type/Parser.hs, interpreted ) /home/aiya000/Repository/hs-zuramaru/src/Maru/Type/Parser.hs:46:1-22: Splicing declarations makeLenses ''MaruState ======> parseLogs :: Lens.Micro.Type.Lens' MaruState [ParseLog] parseLogs f_ahmF (MaruState x_ahmG x_ahmH) = fmap (\ y_ahmI -> MaruState y_ahmI x_ahmH) (f_ahmF x_ahmG) {-# INLINE parseLogs #-} parseNestLevel :: Lens.Micro.Type.Lens' MaruState Int parseNestLevel f_ahmJ (MaruState x_ahmK x_ahmL) = fmap (\ y_ahmM -> MaruState x_ahmK y_ahmM) (f_ahmJ x_ahmL) {-# INLINE parseNestLevel #-} [3 of 7] Compiling Maru.Type ( /home/aiya000/Repository/hs- zuramaru/src/Maru/Type.hs, interpreted ) [4 of 7] Compiling Maru.Parser ( /home/aiya000/Repository/hs- zuramaru/src/Maru/Parser.hs, interpreted ) [5 of 7] Compiling Control.Exception.Throwable.TH ( /home/aiya000/Repository/hs-zuramaru/.stack- work/downloaded/iT3mDZWO7QnR/src/Control/Exception/Throwable/TH.hs, interpreted ) [6 of 7] Compiling Maru.Eval ( /home/aiya000/Repository/hs- zuramaru/src/Maru/Eval.hs, interpreted ) /home/aiya000/Repository/hs-zuramaru/src/Maru/Eval.hs:29:1-66: Splicing declarations declareException "NoSuchSymbolException" ["NoSuchSymbolException"] ======> data NoSuchSymbolException a_akj2 = NoSuchSymbolException {noSuchSymbolExceptionCause :: String, noSuchSymbolExceptionClue :: a_akj2} instance Show a_akj3 => Show (NoSuchSymbolException a_akj3) where show (NoSuchSymbolException cause_akj4 _) = ("NoSuchSymbolException: " ++ (show cause_akj4)) instance (Typeable a_akj5, Show a_akj5) => Exception (NoSuchSymbolException a_akj5) noSuchSymbolException :: String -> NoSuchSymbolException () noSuchSymbolException x_akj6 = NoSuchSymbolException x_akj6 () /home/aiya000/Repository/hs-zuramaru/src/Maru/Eval.hs:41:1: warning: [-Worphans] Orphan instance: instance (Monoid a, Monad m) => MonadFail (EitherT a m) To avoid this move the instance declaration to the module of the class or of the type, or wrap the type with a newtype and declare the instance on the new type. /home/aiya000/Repository/hs-zuramaru/src/Maru/Eval.hs:106:24: warning: [-Wunused-matches] Defined but not used: ‘x’ /home/aiya000/Repository/hs-zuramaru/src/Maru/Eval.hs:109:13: warning: [-Wunused-local-binds] Defined but not used: ‘val’ [7 of 7] Compiling Maru.Main ( /home/aiya000/Repository/hs- zuramaru/src/Maru/Main.hs, interpreted ) ghc: panic! (the 'impossible' happened) (GHC version 8.0.2 for x86_64-unknown-linux): initTc: unsolved constraints WC {wc_insol = [W] makeLensesWith_amlb :: t_amla[tau:1] (CHoleCan: makeLensesWith) [W] .~_amlk :: t_amlj[tau:1] (CHoleCan: .~) [W] &_amlt :: t_amls[tau:1] (CHoleCan: &) [W] lensRules_amlA :: t_amlz[tau:1] (CHoleCan: lensRules)} Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug [7 of 8] Compiling Maru.Main ( /home/aiya000/Repository/hs- zuramaru/src/Maru/Main.hs, inte ghc: panic! (the 'impossible' happened) (GHC version 8.0.2 for x86_64-unknown-linux): initTc: unsolved constraints WC {wc_insol = [W] makeLensesWith_amsk :: t_amsj[tau:1] (CHoleCan: makeLensesWith) [W] .~_amst :: t_amss[tau:1] (CHoleCan: .~) [W] &_amsC :: t_amsB[tau:1] (CHoleCan: &) [W] lensRules_amsJ :: t_amsI[tau:1] (CHoleCan: lensRules)} Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug [7 of 9] Compiling Maru.Main ( /home/aiya000/Repository/hs- zuramaru/src/Maru/Main.hs, inte ghc: panic! (the 'impossible' happened) (GHC version 8.0.2 for x86_64-unknown-linux): initTc: unsolved constraints WC {wc_insol = [W] makeLensesWith_amym :: t_amyl[tau:1] (CHoleCan: makeLensesWith) [W] .~_amyv :: t_amyu[tau:1] (CHoleCan: .~) [W] &_amyE :: t_amyD[tau:1] (CHoleCan: &) [W] lensRules_amyL :: t_amyK[tau:1] (CHoleCan: lensRules)} Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug <no location info>: error: Could not find module ‘Control.Exception.Throwable’ It is a member of the hidden package ‘throwable-exceptions-0.1.0.8 @throwable-exceptions-0.1.0 Loaded GHCi configuration from /tmp/ghci30810/ghci-script Prelude Data.Text Data.Char Language.Haskell.TH T TIO> }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13932> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #11954: Associated pattern synonyms not included in haddock
by GHC 07 Jul '17

07 Jul '17

#11954: Associated pattern synonyms not included in haddock -------------------------------------+------------------------------------- Reporter: darchon | Owner: Type: bug | Status: new Priority: normal | Milestone: 8.0.1 Component: Compiler | Version: 8.0.1-rc3 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Running haddock on: {{{#!hs {-# LANGUAGE PatternSynonyms #-} module Foo ( A(P) ) where data A a = A pattern P = A }}} Just gives a data type A with no constructors, and no mention of the associated pattern synonym P. Attached is a patch for haddock that prints associated patterns as GADT constructors -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/11954> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 11

Re: [GHC] #12913: Port SplitSections to Windows
by GHC 07 Jul '17

07 Jul '17

#12913: Port SplitSections to Windows -------------------------------------+------------------------------------- Reporter: olsner | Owner: (none) Type: task | Status: closed Priority: normal | Milestone: 8.4.1 Component: Compiler | Version: 8.0.1 (Linking) | Resolution: fixed | Keywords: Operating System: Windows | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: #8405 | Differential Rev(s): Phab:D3382 Wiki Page: | Phab:D3383 Phab:D3523 -------------------------------------+------------------------------------- Changes (by bgamari): * status: patch => closed * resolution: => fixed * milestone: => 8.4.1 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12913#comment:13> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0