#10615: Panic; no skolem info (partial type signatures) -------------------------------------+------------------------------------- Reporter: holzensp | Owner: Type: bug | Status: new Priority: normal | Milestone: Component: Compiler | Version: 7.10.1 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: | Blocking: | Differential Revisions: -------------------------------------+------------------------------------- Comment (by holzensp): BTW, actually turning on ```PartialTypeSignatures``` gives the expected output: {{{ GHCi, version 7.10.1: http://www.haskell.org/ghc/ :? for help [1 of 1] Compiling Test ( Test.hs, interpreted ) Test.hs:47:6: Warning: Found hole ‘_f’ with type: a -> b -> a Where: ‘a’ is a rigid type variable bound by the inferred type of f :: a -> b -> a at Test.hs:48:1 ‘b’ is a rigid type variable bound by the inferred type of f :: a -> b -> a at Test.hs:48:1 In the type signature for ‘f’: _f Ok, modules loaded: Test. *Test> :r [1 of 1] Compiling Test ( Test.hs, interpreted ) Test.hs:47:6: Warning: Found hole ‘_’ with inferred constraints: () In the type signature for ‘f’: _ => _f Test.hs:47:11: Warning: Found hole ‘_f’ with type: a -> b -> a Where: ‘a’ is a rigid type variable bound by the inferred type of f :: a -> b -> a at Test.hs:48:1 ‘b’ is a rigid type variable bound by the inferred type of f :: a -> b -> a at Test.hs:48:1 In the type signature for ‘f’: _ => _f Ok, modules loaded: Test. }}} -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10615#comment:1 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler