#10963: Beginner-targeted language extension -------------------------------------+------------------------------------- Reporter: kanetw | Owner: Type: feature request | Status: patch Priority: normal | Milestone: Component: Compiler | Version: 7.10.2 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: | Unknown/Multiple Type of failure: None/Unknown | Test Case: Blocked By: | Blocking: Related Tickets: | Differential Rev(s): Phab:D2136 Wiki Page: | -------------------------------------+------------------------------------- Comment (by simonpj): I'm anxious about having ''three'' forms of `:type`. That seems jolly confusing to me. It's bad enough having `:info` as well as `:type`, but there are good reasons for that. But I'd rather not make matters worse. Suggestion: * Always do defaulting with `:type`. That means the `:type e` lines up with evaluating `e`. (In other words, adopt your proposed behaviour for `:type`.) * You can always use `:info` if you want the most general type of an identifier. * I am very doubtful about the usefulness of `:type-spec`. Simon -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/10963#comment:5 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler