==================== Tidy Core ==================== 2017-09-13 23:36:40.8606438 UTC Result size of Tidy Core = {terms: 715, types: 976, coercions: 8, joins: 0/1} -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} CoreDump.Tensor.Ounzip.$trModule4 :: GHC.Prim.Addr# CoreDump.Tensor.Ounzip.$trModule4 = "main"# -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} CoreDump.Tensor.Ounzip.$trModule3 :: GHC.Types.TrName CoreDump.Tensor.Ounzip.$trModule3 = GHC.Types.TrNameS CoreDump.Tensor.Ounzip.$trModule4 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} CoreDump.Tensor.Ounzip.$trModule2 :: GHC.Prim.Addr# CoreDump.Tensor.Ounzip.$trModule2 = "CoreDump.Tensor.Ounzip"# -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} CoreDump.Tensor.Ounzip.$trModule1 :: GHC.Types.TrName CoreDump.Tensor.Ounzip.$trModule1 = GHC.Types.TrNameS CoreDump.Tensor.Ounzip.$trModule2 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} CoreDump.Tensor.Ounzip.$trModule :: GHC.Types.Module CoreDump.Tensor.Ounzip.$trModule = GHC.Types.Module CoreDump.Tensor.Ounzip.$trModule3 CoreDump.Tensor.Ounzip.$trModule1 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} lvl :: GHC.Prim.Addr# lvl = "error"# -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} lvl1 :: [Char] lvl1 = GHC.CString.unpackCString# lvl -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} lvl2 :: GHC.Prim.Addr# lvl2 = "static-tensor-0.1.0.0-1bgjq3JOZMoDpQl5pqUrpL"# -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} lvl3 :: [Char] lvl3 = GHC.CString.unpackCString# lvl2 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} lvl4 :: GHC.Prim.Addr# lvl4 = "Data.List.Unrolled"# -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} lvl5 :: [Char] lvl5 = GHC.CString.unpackCString# lvl4 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} lvl6 :: GHC.Prim.Addr# lvl6 = "src\\Data\\List\\Unrolled.hs"# -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} lvl7 :: [Char] lvl7 = GHC.CString.unpackCString# lvl6 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} lvl8 :: Int lvl8 = GHC.Types.I# 185# -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} lvl9 :: Int lvl9 = GHC.Types.I# 22# -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} lvl10 :: Int lvl10 = GHC.Types.I# 69# -- RHS size: {terms: 8, types: 0, coercions: 0, joins: 0/0} lvl11 :: GHC.Stack.Types.SrcLoc lvl11 = GHC.Stack.Types.SrcLoc lvl3 lvl5 lvl7 lvl8 lvl9 lvl8 lvl10 -- RHS size: {terms: 4, types: 0, coercions: 0, joins: 0/0} lvl12 :: GHC.Stack.Types.CallStack lvl12 = GHC.Stack.Types.PushCallStack lvl1 lvl11 GHC.Stack.Types.EmptyCallStack -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} lvl13 :: GHC.Prim.Addr# lvl13 = "unzip: Not enough elements in the list."# -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} lvl14 :: [Char] lvl14 = GHC.CString.unpackCString# lvl13 -- RHS size: {terms: 3, types: 6, coercions: 4, joins: 0/0} lvl15 :: ([Float], [Float]) lvl15 = error @ 'GHC.Types.LiftedRep @ ([Float], [Float]) (lvl12 `cast` ) lvl14 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} lvl16 :: [Char] lvl16 = GHC.CString.unpackCString# CoreDump.Tensor.Ounzip.$trModule4 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} lvl17 :: GHC.Prim.Addr# lvl17 = "TensorInstances"# -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} lvl18 :: [Char] lvl18 = GHC.CString.unpackCString# lvl17 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} lvl19 :: GHC.Prim.Addr# lvl19 = "tests\\TensorInstances.hs"# -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} lvl20 :: [Char] lvl20 = GHC.CString.unpackCString# lvl19 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} lvl21 :: Int lvl21 = GHC.Types.I# 40# -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} lvl22 :: Int lvl22 = GHC.Types.I# 3# -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} lvl23 :: Int lvl23 = GHC.Types.I# 51# -- RHS size: {terms: 8, types: 0, coercions: 0, joins: 0/0} lvl24 :: GHC.Stack.Types.SrcLoc lvl24 = GHC.Stack.Types.SrcLoc lvl16 lvl18 lvl20 lvl21 lvl22 lvl21 lvl23 -- RHS size: {terms: 4, types: 0, coercions: 0, joins: 0/0} lvl25 :: GHC.Stack.Types.CallStack lvl25 = GHC.Stack.Types.PushCallStack lvl1 lvl24 GHC.Stack.Types.EmptyCallStack -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} lvl26 :: GHC.Prim.Addr# lvl26 = "Not enough elements to build a Tensor of shape [2,3,4]"# -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} lvl27 :: [Char] lvl27 = GHC.CString.unpackCString# lvl26 -- RHS size: {terms: 4, types: 15, coercions: 4, joins: 0/0} fail20 :: GHC.Prim.Void# -> Tensor '[2, 3, 4] Float fail20 = \ _ -> error @ 'GHC.Types.LiftedRep @ (Tensor '[2, 3, 4] Float) (lvl25 `cast` ) lvl27 -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} lvl28 :: Tensor '[2, 3, 4] Float lvl28 = fail20 GHC.Prim.void# -- RHS size: {terms: 590, types: 733, coercions: 0, joins: 0/1} CoreDump.Tensor.Ounzip.$wounzip_ :: [(Float, Float)] -> (# Tensor '[2, 3, 4] Float, Tensor '[2, 3, 4] Float #) CoreDump.Tensor.Ounzip.$wounzip_ = \ (w :: [(Float, Float)]) -> let { ds :: ([Float], [Float]) ds = case w of { [] -> lvl15; : x xs -> case x of { (a1, b1) -> case xs of { [] -> lvl15; : x1 xs1 -> case x1 of { (a2, b2) -> case xs1 of { [] -> lvl15; : x2 xs2 -> case x2 of { (a3, b3) -> case xs2 of { [] -> lvl15; : x3 xs3 -> case x3 of { (a4, b4) -> case xs3 of { [] -> lvl15; : x4 xs4 -> case x4 of { (a5, b5) -> case xs4 of { [] -> lvl15; : x5 xs5 -> case x5 of { (a6, b6) -> case xs5 of { [] -> lvl15; : x6 xs6 -> case x6 of { (a7, b7) -> case xs6 of { [] -> lvl15; : x7 xs7 -> case x7 of { (a8, b8) -> case xs7 of { [] -> lvl15; : x8 xs8 -> case x8 of { (a9, b9) -> case xs8 of { [] -> lvl15; : x9 xs9 -> case x9 of { (a10, b10) -> case xs9 of { [] -> lvl15; : x10 xs10 -> case x10 of { (a11, b11) -> case xs10 of { [] -> lvl15; : x11 xs11 -> case x11 of { (a12, b12) -> case xs11 of { [] -> lvl15; : x12 xs12 -> case x12 of { (a13, b13) -> case xs12 of { [] -> lvl15; : x13 xs13 -> case x13 of { (a14, b14) -> case xs13 of { [] -> lvl15; : x14 xs14 -> case x14 of { (a15, b15) -> case xs14 of { [] -> lvl15; : x15 xs15 -> case x15 of { (a16, b16) -> case xs15 of { [] -> lvl15; : x16 xs16 -> case x16 of { (a17, b17) -> case xs16 of { [] -> lvl15; : x17 xs17 -> case x17 of { (a18, b18) -> case xs17 of { [] -> lvl15; : x18 xs18 -> case x18 of { (a19, b19) -> case xs18 of { [] -> lvl15; : x19 xs19 -> case x19 of { (a20, b20) -> case xs19 of { [] -> lvl15; : x20 xs20 -> case x20 of { (a21, b21) -> case xs20 of { [] -> lvl15; : x21 xs21 -> case x21 of { (a22, b22) -> case xs21 of { [] -> lvl15; : x22 xs22 -> case x22 of { (a23, b23) -> case xs22 of { [] -> lvl15; : x23 xs23 -> case x23 of { (a24, b24) -> (GHC.Types.: @ Float a1 (GHC.Types.: @ Float a2 (GHC.Types.: @ Float a3 (GHC.Types.: @ Float a4 (GHC.Types.: @ Float a5 (GHC.Types.: @ Float a6 (GHC.Types.: @ Float a7 (GHC.Types.: @ Float a8 (GHC.Types.: @ Float a9 (GHC.Types.: @ Float a10 (GHC.Types.: @ Float a11 (GHC.Types.: @ Float a12 (GHC.Types.: @ Float a13 (GHC.Types.: @ Float a14 (GHC.Types.: @ Float a15 (GHC.Types.: @ Float a16 (GHC.Types.: @ Float a17 (GHC.Types.: @ Float a18 (GHC.Types.: @ Float a19 (GHC.Types.: @ Float a20 (GHC.Types.: @ Float a21 (GHC.Types.: @ Float a22 (GHC.Types.: @ Float a23 (GHC.Types.: @ Float a24 (GHC.Types.[] @ Float)))))))))))))))))))))))), GHC.Types.: @ Float b1 (GHC.Types.: @ Float b2 (GHC.Types.: @ Float b3 (GHC.Types.: @ Float b4 (GHC.Types.: @ Float b5 (GHC.Types.: @ Float b6 (GHC.Types.: @ Float b7 (GHC.Types.: @ Float b8 (GHC.Types.: @ Float b9 (GHC.Types.: @ Float b10 (GHC.Types.: @ Float b11 (GHC.Types.: @ Float b12 (GHC.Types.: @ Float b13 (GHC.Types.: @ Float b14 (GHC.Types.: @ Float b15 (GHC.Types.: @ Float b16 (GHC.Types.: @ Float b17 (GHC.Types.: @ Float b18 (GHC.Types.: @ Float b19 (GHC.Types.: @ Float b20 (GHC.Types.: @ Float b21 (GHC.Types.: @ Float b22 (GHC.Types.: @ Float b23 (GHC.Types.: @ Float b24 (GHC.Types.[] @ Float))))))))))))))))))))))))) } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } } in (# case ds of { (es1, es2) -> case es1 of { [] -> lvl28; : x0 ds1 -> case ds1 of { [] -> lvl28; : x1 ds2 -> case ds2 of { [] -> lvl28; : x2 ds3 -> case ds3 of { [] -> lvl28; : x3 ds4 -> case ds4 of { [] -> lvl28; : x4 ds5 -> case ds5 of { [] -> lvl28; : x5 ds6 -> case ds6 of { [] -> lvl28; : x6 ds7 -> case ds7 of { [] -> lvl28; : x7 ds8 -> case ds8 of { [] -> lvl28; : x8 ds9 -> case ds9 of { [] -> lvl28; : x9 ds10 -> case ds10 of { [] -> lvl28; : x10 ds11 -> case ds11 of { [] -> lvl28; : x11 ds12 -> case ds12 of { [] -> lvl28; : x12 ds13 -> case ds13 of { [] -> lvl28; : x13 ds14 -> case ds14 of { [] -> lvl28; : x14 ds15 -> case ds15 of { [] -> lvl28; : x15 ds16 -> case ds16 of { [] -> lvl28; : x16 ds17 -> case ds17 of { [] -> lvl28; : x17 ds18 -> case ds18 of { [] -> lvl28; : x18 ds19 -> case ds19 of { [] -> lvl28; : x19 ds20 -> case ds20 of { [] -> lvl28; : x20 ds21 -> case ds21 of { [] -> lvl28; : x21 ds22 -> case ds22 of { [] -> lvl28; : x22 ds23 -> case ds23 of { [] -> lvl28; : x23 ds24 -> TensorInstances.$WTensor'2'3'4'Float x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 } } } } } } } } } } } } } } } } } } } } } } } } }, case ds of { (es1, es2) -> case es2 of { [] -> lvl28; : x0 ds1 -> case ds1 of { [] -> lvl28; : x1 ds2 -> case ds2 of { [] -> lvl28; : x2 ds3 -> case ds3 of { [] -> lvl28; : x3 ds4 -> case ds4 of { [] -> lvl28; : x4 ds5 -> case ds5 of { [] -> lvl28; : x5 ds6 -> case ds6 of { [] -> lvl28; : x6 ds7 -> case ds7 of { [] -> lvl28; : x7 ds8 -> case ds8 of { [] -> lvl28; : x8 ds9 -> case ds9 of { [] -> lvl28; : x9 ds10 -> case ds10 of { [] -> lvl28; : x10 ds11 -> case ds11 of { [] -> lvl28; : x11 ds12 -> case ds12 of { [] -> lvl28; : x12 ds13 -> case ds13 of { [] -> lvl28; : x13 ds14 -> case ds14 of { [] -> lvl28; : x14 ds15 -> case ds15 of { [] -> lvl28; : x15 ds16 -> case ds16 of { [] -> lvl28; : x16 ds17 -> case ds17 of { [] -> lvl28; : x17 ds18 -> case ds18 of { [] -> lvl28; : x18 ds19 -> case ds19 of { [] -> lvl28; : x19 ds20 -> case ds20 of { [] -> lvl28; : x20 ds21 -> case ds21 of { [] -> lvl28; : x21 ds22 -> case ds22 of { [] -> lvl28; : x22 ds23 -> case ds23 of { [] -> lvl28; : x23 ds24 -> TensorInstances.$WTensor'2'3'4'Float x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 } } } } } } } } } } } } } } } } } } } } } } } } } #) -- RHS size: {terms: 8, types: 85, coercions: 0, joins: 0/0} ounzip_ :: [(Float, Float)] -> (Tensor '[2, 3, 4] Float, Tensor '[2, 3, 4] Float) ounzip_ = \ (w :: [(Float, Float)]) -> case CoreDump.Tensor.Ounzip.$wounzip_ w of { (# ww1, ww2 #) -> (ww1, ww2) }