==================== Tidy Core ==================== 2017-09-08 01:36:25.6263477 UTC Result size of Tidy Core = {terms: 41, types: 20, coercions: 0, joins: 0/0} -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} CoreDump.Tensor.Fill.$trModule4 :: GHC.Prim.Addr# CoreDump.Tensor.Fill.$trModule4 = "main"# -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} CoreDump.Tensor.Fill.$trModule3 :: GHC.Types.TrName CoreDump.Tensor.Fill.$trModule3 = GHC.Types.TrNameS CoreDump.Tensor.Fill.$trModule4 -- RHS size: {terms: 1, types: 0, coercions: 0, joins: 0/0} CoreDump.Tensor.Fill.$trModule2 :: GHC.Prim.Addr# CoreDump.Tensor.Fill.$trModule2 = "CoreDump.Tensor.Fill"# -- RHS size: {terms: 2, types: 0, coercions: 0, joins: 0/0} CoreDump.Tensor.Fill.$trModule1 :: GHC.Types.TrName CoreDump.Tensor.Fill.$trModule1 = GHC.Types.TrNameS CoreDump.Tensor.Fill.$trModule2 -- RHS size: {terms: 3, types: 0, coercions: 0, joins: 0/0} CoreDump.Tensor.Fill.$trModule :: GHC.Types.Module CoreDump.Tensor.Fill.$trModule = GHC.Types.Module CoreDump.Tensor.Fill.$trModule3 CoreDump.Tensor.Fill.$trModule1 -- RHS size: {terms: 26, types: 1, coercions: 0, joins: 0/0} fill_ :: Float -> Tensor '[2, 3, 4] Float fill_ = \ (x :: Float) -> TensorInstances.$WTensor'2'3'4'Float x x x x x x x x x x x x x x x x x x x x x x x x