- ghc-tickets - Haskell.org

[GHC] #13872: Strange Typeable error message involving TypeInType
by GHC 07 Jul '17

07 Jul '17

#13872: Strange Typeable error message involving TypeInType -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 (Type checker) | Keywords: TypeInType, | Operating System: Unknown/Multiple Typeable | Architecture: | Type of failure: Poor/confusing Unknown/Multiple | error message Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I originally discovered this when tinkering with #13871. This program: {{{#!hs {-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE GADTs #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeInType #-} {-# LANGUAGE TypeOperators #-} module Foo where import Data.Kind import Data.Typeable data Foo (a :: Type) (b :: Type) where MkFoo :: (a ~ Int, b ~ Char) => Foo a b data family Sing (a :: k) data SFoo (z :: Foo a b) where SMkFoo :: SFoo MkFoo f :: String f = show $ typeOf SMkFoo }}} Fails in GHC 8.0.1, 8.0.2, and 8.2 (after applying Phab:D3671) with a rather unsightly error message: {{{ GHCi, version 8.3.20170624: http://www.haskell.org/ghc/ :? for help Loaded GHCi configuration from /home/rgscott/.ghci [1 of 1] Compiling Foo ( Foo.hs, interpreted ) Foo.hs:19:12: error: • No instance for (Typeable <>) arising from a use of ‘typeOf’ • In the second argument of ‘($)’, namely ‘typeOf SMkFoo’ In the expression: show $ typeOf SMkFoo In an equation for ‘f’: f = show $ typeOf SMkFoo | 19 | f = show $ typeOf SMkFoo | ^^^^^^^^^^^^^ }}} I'm not sure what this mysterious `<>` is, but I'm pretty sure it shouldn't be making an appearance here. (See also #13780, where `<>` also makes a surprise guest appearance.) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13872> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 4

[GHC] #13871: GHC panic in 8.2 only: typeIsTypeable(Coercion)
by GHC 07 Jul '17

07 Jul '17

#13871: GHC panic in 8.2 only: typeIsTypeable(Coercion) -------------------------------------+------------------------------------- Reporter: RyanGlScott | Owner: (none) Type: bug | Status: new Priority: high | Milestone: 8.2.1 Component: Compiler | Version: 8.2.1-rc2 (Type checker) | Keywords: TypeInType, | Operating System: Unknown/Multiple Typeable | Architecture: | Type of failure: Compile-time Unknown/Multiple | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- This code works fine in GHC 8.0.1 and 8.0.2: {{{#!hs {-# LANGUAGE ConstraintKinds #-} {-# LANGUAGE GADTs #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeInType #-} {-# LANGUAGE TypeOperators #-} module Foo where import Data.Kind data Foo (a :: Type) (b :: Type) where MkFoo :: (a ~ Int, b ~ Char) => Foo a b data family Sing (a :: k) data SFoo (z :: Foo a b) where SMkFoo :: SFoo MkFoo }}} But in GHC 8.2 and HEAD, it panics: {{{ $ /opt/ghc/8.2.1/bin/ghci Bug.hs GHCi, version 8.2.0.20170622: http://www.haskell.org/ghc/ :? for help Loaded GHCi configuration from /home/rgscott/.ghci [1 of 1] Compiling Foo ( Bug.hs, interpreted ) ghc: panic! (the 'impossible' happened) (GHC version 8.2.0.20170622 for x86_64-unknown-linux): typeIsTypeable(Coercion) }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13871> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[GHC] #13908: sameMutableArray equivalent for Array
by GHC 07 Jul '17

07 Jul '17

#13908: sameMutableArray equivalent for Array -------------------------------------+------------------------------------- Reporter: winter | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 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: -------------------------------------+------------------------------------- Sometime it is useful to compare reference equality for immutable arrays, for example when comparing vectors which are slices of arrays, we may want to know if two vectors are slices of the same array. But currently we only have `sameMutableXXXArray` primitives. A workaround may look like this: {{{ sameArray :: Array a -> Array a -> Bool sameArray arr1 arr2 = runST (do marr1 <- unsafeThawArray arr1 marr2 <- unsafeThawArray arr2 return (sameMutableArray marr1 marr2) ) }}} But the problem is for boxed arrays, this code will push an unchanged array to mutable list if it's already on older generations. Next GC will have to scan it(at least will scan its card table). I can see two solutions here, first one is to add `sameXXXArray` for all array types. The second one is somehow more complex: Currently we simply rewrite array's header to `MUT_ARR_PTRS_FROZEN0/SMALL_MUT_ARR_PTRS_FROZEN0` when we do `unsafeFreeze`. But for mutable array with no write happend, e.g. the ones with `MUT_ARR_PTRS_CLEAN/SMALL_MUT_ARR_PTRS_CLEAN` header. we can safely rewrite the header to `MUT_ARR_PTRS_FROZEN/SMALL_MUT_ARR_PTRS_FROZEN`, so that we can keep it from next GC. Then to fix previous code, we can add a freeze before returning. Of course we can do these two solutions all together ; ) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13908> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 9

[GHC] #13917: The line on which to locate the error indication is bad.
by GHC 07 Jul '17

07 Jul '17

#13917: The line on which to locate the error indication is bad. -------------------------------------+------------------------------------- Reporter: vanto | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: Incorrect Unknown/Multiple | error/warning at compile-time Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- {{{ module Qwer where a = {-# LANGUAGE KindSignatures #-} main :: IO () main = print (if True then () else ()) }}} Reply from GHC\\ {{{ Prelude> :l qwer.hs [1 of 1] Compiling Qwer ( qwer.hs, interpreted ) qwer.hs:5:1: error: parse error (possibly incorrect indentation or mismatched brackets) | 5 | main :: IO () | ^ Failed, modules loaded: none. }}} The error is located on line 3.\\ GHCi, version 8.2.0.20170507 -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13917> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 8

[GHC] #13739: Very slow linking of profiled executables
by GHC 07 Jul '17

07 Jul '17

#13739: Very slow linking of profiled executables -------------------------------------+------------------------------------- Reporter: duog | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.2.1-rc2 Keywords: | Operating System: Linux Architecture: x86_64 | Type of failure: Compile-time (amd64) | performance bug Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- While building profiled executables with 8.2.1rc2 I've noticed the link times seem to have significantly regressed. I don't have a minimal test case. Testing on cabal head source tree {{{ cabal --version >cabal-install version 2.1.0.0 >compiled using version 2.1.0.0 of the Cabal library cabal new-configure --enable-profiling --enable-newer --with- ghc=/opt/ghc-8.2.1/bin/ghc cabal build cabal-install # hit Ctrl-C during linking time cabal build cabal-install }}} gives real 1m54.833s user 1m52.936s sys 0m1.620s doing the same with 8.0.2 links in less than a second -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13739> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 43

[GHC] #13931: GHC incorrectly considers type family instances conflicting?
by GHC 07 Jul '17

07 Jul '17

#13931: GHC incorrectly considers type family instances conflicting? -------------------------------------+------------------------------------- Reporter: vagarenko | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Unknown/Multiple Architecture: | Type of failure: GHC rejects Unknown/Multiple | valid program Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I asked this on stackoverflow first https://stackoverflow.com/questions/44958114/why-these-type-family- instances-conflicting I'm using GHC-8.0.1. This code (requires singletons lib): {{{#!hs {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeOperators #-} {-# LANGUAGE TypeInType #-} module Bug where import Data.Kind import Data.Singletons type family MkCtx (kx :: Type) (kc :: Type) (c :: kc) (x :: kx) :: Constraint type instance MkCtx kx (kx ~> Constraint) c x = Apply c x type instance MkCtx kx (kx -> Constraint) c x = c x }}} with the message: {{{ Conflicting family instance declarations: forall kx (x :: kx) (c :: kx ~> Constraint). MkCtx kx (kx ~> Constraint) c x = Apply c x forall kx (x :: kx) (c :: kx -> Constraint). MkCtx kx (kx -> Constraint) c x = c x }}} Why GHC considers these instances conflicting? I don't see how they overlap. -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13931> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

Re: [GHC] #7741: Add SIMD support to x86/x86_64 NCG
by GHC 05 Jul '17

05 Jul '17

#7741: Add SIMD support to x86/x86_64 NCG -------------------------------------+------------------------------------- Reporter: shelarcy | Owner: (none) Type: feature request | Status: new Priority: normal | Milestone: Component: Compiler (NCG) | Version: 7.7 Resolution: | Keywords: SIMD Operating System: Unknown/Multiple | Architecture: Type of failure: Runtime | Unknown/Multiple performance bug | Test Case: Blocked By: | Blocking: Related Tickets: #3557 | Differential Rev(s): Wiki Page: wiki:SIMD | -------------------------------------+------------------------------------- Comment (by bgamari): It depends upon who steps up to implement this plan :) -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/7741#comment:17> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0

[GHC] #13889: GHC 8.0.2 panics when trying a simple snippet involving Parsec
by GHC 05 Jul '17

05 Jul '17

#13889: GHC 8.0.2 panics when trying a simple snippet involving Parsec -------------------------------------+------------------------------------- Reporter: timmyjose | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.2 Keywords: parsec, | Operating System: MacOS X ghc8.0.2, macOS Sierra | Architecture: x86_64 | Type of failure: Compile-time (amd64) | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I am working through "Create your own Scheme in 48 hours", and the following program: {{{ $ cat SimpleParser.hs import Text.ParserCombinators.Parsec hiding (spaces) symbol :: Parser Char symbol = anyOf "!$%&|*+-/:<=?>@^_^~#" }}} causes GHC to crash and burn with a panic message. Please find the details as follows: ** PLATFORM and OS DETAILS ** {{{ $ sw_vers ProductName: Mac OS X ProductVersion: 10.12.2 BuildVersion: 16C67 $ uname -a Darwin <elided> 16.3.0 Darwin Kernel Version 16.3.0: Thu Nov 17 20:23:58 PST 2016; root:xnu-3789.31.2~1/RELEASE_X86_64 x86_64 }}} ** GHC and Parsec version** {{{ $ ghc --version The Glorious Glasgow Haskell Compilation System, version 8.0.2 $ ghc-pkg list | grep -i parsec attoparsec-0.13.1.0 parsec-3.1.11 }}} ** crash error message ** {{{ $ ghc -v3 SimpleParser.hs Glasgow Haskell Compiler, Version 8.0.2, stage 2 booted by GHC version 7.10.3 Using binary package database: /Library/Frameworks/GHC.framework/Versions/8.0.2-x86_64/usr/lib/ghc-8.0.2/package.conf.d/package.cache Using binary package database: /Users/<elided>/.ghc/x86_64-darwin-8.0.2/package.conf.d/package.cache loading package database /Library/Frameworks/GHC.framework/Versions/8.0.2-x86_64/usr/lib/ghc-8.0.2/package.conf.d loading package database /Users/<elided>/.ghc/x86_64-darwin-8.0.2/package.conf.d wired-in package ghc-prim mapped to ghc-prim-0.5.0.0 wired-in package integer-gmp mapped to integer-gmp-1.0.0.1 wired-in package base mapped to base-4.9.1.0 wired-in package rts mapped to rts wired-in package template-haskell mapped to template-haskell-2.11.1.0 wired-in package ghc mapped to ghc-8.0.2 wired-in package dph-seq not found. wired-in package dph-par not found. Hsc static flags: loading package database /Library/Frameworks/GHC.framework/Versions/8.0.2-x86_64/usr/lib/ghc-8.0.2/package.conf.d loading package database /Users/z0ltan/.ghc/x86_64-darwin-8.0.2/package.conf.d wired-in package ghc-prim mapped to ghc-prim-0.5.0.0 wired-in package integer-gmp mapped to integer-gmp-1.0.0.1 wired-in package base mapped to base-4.9.1.0 wired-in package rts mapped to rts-1.0 wired-in package template-haskell mapped to template-haskell-2.11.1.0 wired-in package ghc mapped to ghc-8.0.2 wired-in package dph-seq not found. wired-in package dph-par not found. *** Chasing dependencies: Chasing modules from: *SimpleParser.hs !!! Chasing dependencies: finished in 0.62 milliseconds, allocated 0.337 megabytes Stable obj: [] Stable BCO: [] Ready for upsweep [NONREC ModSummary { ms_hs_date = 2017-06-28 09:58:23 UTC ms_mod = Main, ms_textual_imps = [(Nothing, Prelude), (Nothing, Text.ParserCombinators.Parsec)] ms_srcimps = [] }] *** Deleting temp files: Deleting: compile: input file SimpleParser.hs *** Checking old interface for Main: [1 of 1] Compiling Main ( SimpleParser.hs, SimpleParser.o ) *** Parser [Main]: !!! Parser [Main]: finished in 0.20 milliseconds, allocated 0.134 megabytes *** Renamer/typechecker [Main]: *** Deleting temp files: Deleting: *** Deleting temp dirs: Deleting: ghc: panic! (the 'impossible' happened) (GHC version 8.0.2 for x86_64-apple-darwin): initTc: unsolved constraints WC {wc_insol = [W] anyOf_a1lw :: t_a1lv[tau:1] (CHoleCan: anyOf)} Please report this as a GHC bug: http://www.haskell.org/ghc/reportabug }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13889> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 2

[GHC] #13927: Panic!
by GHC 05 Jul '17

05 Jul '17

#13927: Panic! -------------------------------------+------------------------------------- Reporter: Deus | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: | Operating System: Linux Architecture: x86_64 | Type of failure: Compile-time (amd64) | crash or panic Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- Hi, I'm using haskell for an assignment and I createt this (which told me to do a bug report): [1 of 1] Compiling Main ( plant.hs, plant.o ) ghc: panic! (the 'impossible' happened) (GHC version 8.0.2 for x86_64-unknown-linux): initTc: unsolved constraints WC {wc_insol = [W] true_a1Gg :: t_a1Gf[tau:1] (CHoleCan: true) [W] false_a1Gj :: t_a1Gi[tau:1] (CHoleCan: false) [W] true_a1Qq :: t_a1Qp[tau:1] (CHoleCan: true)} {{{#!hs data Farbe = Rot | Rosa | Weis | Blau | Lila | Grun | Gelb deriving (Show, Eq) data Pflanze = Blatt | Blute Farbe | Stiel Pflanze Pflanze deriving (Show, Eq) fold_pflanze :: (a -> a -> a) -> (Farbe -> a) -> a -> Pflanze -> a fold_pflanze f g x (Blatt) = x fold_pflanze f g x (Blute fa) = (f x (g fa)) fold_pflanze f g x (Stiel p1 p2) = fold_pflanze f g (fold_pflanze f g x p1) p2 --4. farbezuliste :: Farbe -> [Farbe] farbezuliste f = [f] appendlisten :: [Farbe] -> [Farbe] -> [Farbe] appendlisten f1 f2 = f1 ++ f2 blutenfarben :: Pflanze -> [Farbe] blutenfarben p = fold_pflanze appendlisten farbezuliste [] p --5. fold_pflanze2 :: (Farbe -> Int) -> Int -> Pflanze -> Int fold_pflanze2 f x (Blatt) = x + 1; fold_pflanze2 f x (Blute fa) = x + (f fa) fold_pflanze2 f x (Stiel p1 p2) = (-2) + (fold_pflanze2 f (fold_pflanze2 f x p1) p2) evaluatefarbe :: Farbe -> Int evaluatefarbe Rot = 2 evaluatefarbe Rosa = 3 evaluatefarbe Weis = 5 evaluatefarbe Blau = 1 evaluatefarbe Lila = 10 evaluatefarbe Grun = -1 evaluatefarbe Gelb = 0 schonheit :: Pflanze -> Int schonheit p = fold_pflanze2 evaluatefarbe 0 p --6. istrosa :: Farbe -> Bool istrosa Rosa = true istrosa otherwise = false und :: Bool -> Bool -> Bool und x y = x && y rosabluhend :: Pflanze -> Bool rosabluhend p = fold_pflanze und istrosa true p }}} I tryed to add the code as attechment bug it crashed (It also told me to do a bug report but I have an assignment to do). -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13927> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 5

[GHC] #13928: Providing a more specific argument prevents fusion caused by join point floating.
by GHC 05 Jul '17

05 Jul '17

#13928: Providing a more specific argument prevents fusion caused by join point floating. -------------------------------------+------------------------------------- Reporter: mpickering | Owner: (none) Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 8.0.1 Keywords: JoinPoints | Operating System: Unknown/Multiple Architecture: | Type of failure: None/Unknown Unknown/Multiple | Test Case: | Blocked By: Blocking: | Related Tickets: Differential Rev(s): | Wiki Page: -------------------------------------+------------------------------------- I don't know whether this is expected or not but I am writing it down here for the record. Defining `any` as in section 5 of the paper "compiling without continuations" produces nice fused code as promised. However, fixing the predicate in `any` causes the fusion to stop happening producing potentially worse code. {{{ module ListFusion where find :: (a -> Bool) -> [a] -> Maybe a find p xs = go xs where go [] = Nothing go (x:xs) = if p x then Just x else go xs fuses :: (Int -> Bool) -> [Int] -> Bool fuses p xs = case find p xs of Just x -> True Nothing -> False fuseNot :: (Int -> Bool) -> [Int] -> Bool fuseNot _p xs = case find (> 4) xs of Just x -> True Nothing -> False }}} Core output {{{ [1 of 1] Compiling ListFusion ( listfusion.hs, listfusion.o ) ==================== Tidy Core ==================== Result size of Tidy Core = {terms: 87, types: 82, coercions: 0, joins: 2/2} -- RHS size: {terms: 21, types: 20, coercions: 0, joins: 1/1} find :: forall a. (a -> Bool) -> [a] -> Maybe a [GblId, Arity=2, Caf=NoCafRefs, Str=<L,C(U)><S,1*U>, Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=ALWAYS_IF(arity=2,unsat_ok=True,boring_ok=False) Tmpl= \ (@ a_a1UH) (p_aSB [Occ=OnceL!] :: a_a1UH -> Bool) (xs_aSC [Occ=Once] :: [a_a1UH]) -> joinrec { go_s28Z [Occ=LoopBreakerT[1]] :: [a_a1UH] -> Maybe a_a1UH [LclId[JoinId(1)], Arity=1, Unf=OtherCon []] go_s28Z (ds_d27L [Occ=Once!] :: [a_a1UH]) = case ds_d27L of { [] -> GHC.Base.Nothing @ a_a1UH; : x_aSE xs1_aSF [Occ=Once] -> case p_aSB x_aSE of { False -> jump go_s28Z xs1_aSF; True -> GHC.Base.Just @ a_a1UH x_aSE } }; } in jump go_s28Z xs_aSC}] find = \ (@ a_a1UH) (p_aSB :: a_a1UH -> Bool) (xs_aSC :: [a_a1UH]) -> joinrec { go_s28Z [Occ=LoopBreaker] :: [a_a1UH] -> Maybe a_a1UH [LclId[JoinId(1)], Arity=1, Str=<S,1*U>, Unf=OtherCon []] go_s28Z (ds_d27L :: [a_a1UH]) = case ds_d27L of { [] -> GHC.Base.Nothing @ a_a1UH; : x_aSE xs1_aSF -> case p_aSB x_aSE of { False -> jump go_s28Z xs1_aSF; True -> GHC.Base.Just @ a_a1UH x_aSE } }; } in jump go_s28Z xs_aSC -- RHS size: {terms: 19, types: 15, coercions: 0, joins: 1/1} fuses :: (Int -> Bool) -> [Int] -> Bool [GblId, Arity=2, Caf=NoCafRefs, Str=<L,C(U)><S,1*U>, Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=ALWAYS_IF(arity=2,unsat_ok=True,boring_ok=False) Tmpl= \ (p_aSG [Occ=OnceL!] :: Int -> Bool) (xs_aSH [Occ=Once] :: [Int]) -> joinrec { go_s28X [Occ=LoopBreakerT[1]] :: [Int] -> Bool [LclId[JoinId(1)], Arity=1, Unf=OtherCon []] go_s28X (ds_d27L [Occ=Once!] :: [Int]) = case ds_d27L of { [] -> GHC.Types.False; : x_aSE [Occ=Once] xs1_aSF [Occ=Once] -> case p_aSG x_aSE of { False -> jump go_s28X xs1_aSF; True -> GHC.Types.True } }; } in jump go_s28X xs_aSH}] fuses = \ (p_aSG :: Int -> Bool) (xs_aSH :: [Int]) -> joinrec { go_s28X [Occ=LoopBreaker] :: [Int] -> Bool [LclId[JoinId(1)], Arity=1, Str=<S,1*U>, Unf=OtherCon []] go_s28X (ds_d27L :: [Int]) = case ds_d27L of { [] -> GHC.Types.False; : x_aSE xs1_aSF -> case p_aSG x_aSE of { False -> jump go_s28X xs1_aSF; True -> GHC.Types.True } }; } in jump go_s28X xs_aSH -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} ListFusion.$trModule4 :: GHC.Prim.Addr# [GblId, Caf=NoCafRefs, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 20 0}] ListFusion.$trModule4 = "main"# -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} ListFusion.$trModule3 :: GHC.Types.TrName [GblId, Caf=NoCafRefs, Str=m1, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}] ListFusion.$trModule3 = GHC.Types.TrNameS ListFusion.$trModule4 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} ListFusion.$trModule2 :: GHC.Prim.Addr# [GblId, Caf=NoCafRefs, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 40 0}] ListFusion.$trModule2 = "ListFusion"# -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} ListFusion.$trModule1 :: GHC.Types.TrName [GblId, Caf=NoCafRefs, Str=m1, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 20}] ListFusion.$trModule1 = GHC.Types.TrNameS ListFusion.$trModule2 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} ListFusion.$trModule :: GHC.Types.Module [GblId, Caf=NoCafRefs, Str=m, Unf=Unf{Src=<vanilla>, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=IF_ARGS [] 10 30}] ListFusion.$trModule = GHC.Types.Module ListFusion.$trModule3 ListFusion.$trModule1 Rec { -- RHS size: {terms: 20, types: 13, coercions: 0, joins: 0/0} ListFusion.fuseNot_go [Occ=LoopBreaker] :: [Int] -> Maybe Int [GblId, Arity=1, Caf=NoCafRefs, Str=<S,1*U>] ListFusion.fuseNot_go = \ (ds_d27L :: [Int]) -> case ds_d27L of { [] -> GHC.Base.Nothing @ Int; : x_aSE xs_aSF -> case x_aSE of wild1_a28o { GHC.Types.I# x1_a28q -> case GHC.Prim.tagToEnum# @ Bool (GHC.Prim.># x1_a28q 4#) of { False -> ListFusion.fuseNot_go xs_aSF; True -> GHC.Base.Just @ Int wild1_a28o } } } end Rec } -- RHS size: {terms: 9, types: 7, coercions: 0, joins: 0/0} fuseNot :: (Int -> Bool) -> [Int] -> Bool [GblId, Arity=2, Caf=NoCafRefs, Str=<L,A><S,1*U>, Unf=Unf{Src=InlineStable, TopLvl=True, Value=True, ConLike=True, WorkFree=True, Expandable=True, Guidance=ALWAYS_IF(arity=2,unsat_ok=True,boring_ok=False) Tmpl= \ _ [Occ=Dead] (xs_aSK [Occ=Once] :: [Int]) -> case ListFusion.fuseNot_go xs_aSK of { Nothing -> GHC.Types.False; Just _ [Occ=Dead] -> GHC.Types.True }}] fuseNot = \ _ [Occ=Dead] (xs_aSK :: [Int]) -> case ListFusion.fuseNot_go xs_aSK of { Nothing -> GHC.Types.False; Just x_a1U5 -> GHC.Types.True } }}} -- Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/13928> GHC <http://www.haskell.org/ghc/> The Glasgow Haskell Compiler

1 0