[GHC] #12400: Suggest misspelling if a type signature has similarly named binding

16 Jul 2016

      #12400: Suggest misspelling if a type signature has similarly named binding
-------------------------------------+-------------------------------------
           Reporter:  Iceland_jack   |             Owner:
               Type:  feature        |            Status:  new
  request                            |
           Priority:  lowest         |         Milestone:
          Component:  Compiler       |           Version:  8.0.1
           Keywords:                 |  Operating System:  Unknown/Multiple
       Architecture:                 |   Type of failure:  Incorrect
  Unknown/Multiple                   |  warning at compile-time
          Test Case:                 |        Blocked By:
           Blocking:                 |   Related Tickets:
Differential Rev(s):                 |         Wiki Page:
-------------------------------------+-------------------------------------
 Due to clumsy fingers I often run into

 {{{#!hs
 mkBinder :: a
 mkBidner = undefined
 }}}

 errors with

 {{{
 t1ZE.hs:1:1-8: error: …
     The type signature for ‘mkBinder’ lacks an accompanying binding
 Compilation failed.
 }}}

 Maybe it could mention

 {{{
 note: did you mean 'mkBinder'?
 }}}

 ----

 How `clang` does it

 {{{#!c
 #include <stdio.h>

 int main(void)
 {
   prinft("hi");
 }
 }}}

 {{{
 % clang -Werror c.c
 c.c:5:3: error: implicit declaration of function 'prinft' is invalid in
 C99 [-Werror,-Wimplicit-function-declaration]
   prinft("hi");
   ^
 c.c:5:3: note: did you mean 'printf'?
 /usr/include/stdio.h:362:12: note: 'printf' declared here
 extern int printf (const char *__restrict __format, ...);
            ^
 1 error generated.
 baldur@Loki:/tmp$
 }}}

--
Ticket URL: <http://ghc.haskell.org/trac/ghc/ticket/12400>
GHC <http://www.haskell.org/ghc/>
The Glasgow Haskell Compiler