Re: [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 request   |               Status:  new
        Priority:  lowest            |            Milestone:
       Component:  Compiler          |              Version:  8.0.1
      Resolution:                    |             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:                    |
-------------------------------------+-------------------------------------
Description changed by Iceland_jack:

@@ -46,1 +46,0 @@
- baldur@Loki:/tmp$

New description:

 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 

 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.
 }}}

--

--
Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/12400#comment:1
GHC http://www.haskell.org/ghc/
The Glasgow Haskell Compiler

    