Agda's concept of holes seems perfect for this. Does Haskell have anything similar?
On Fri, Apr 8, 2011 at 9:50 PM, Kazu Yamamoto <k...@iij.ad.jp> wrote: > I made a mistake. Use M-t instead of C-cC-t. > >>> Currently what I do is declare a signature for helper, and then if it >>> gets a type error try to figure out how to fix it. It's usually not >>> very hard, but it would be slick to have the signature filled in >>> automatically. >> >> Try ghc-mod on Hackage if you are an Emacs user. >> >> If GHC can guess the signature of helper function, haskell-mode with >> ghc-mod automatically hilights the function. Typing C-cC-t inserts the >> guessed signature. >> >> http://www.mew.org/~kazu/proj/ghc-mod/en/ >> >> --Kazu > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
