1. 07 Feb, 2005 3 commits
  2. 04 Feb, 2005 7 commits
    • simonpj's avatar
      [project @ 2005-02-04 17:36:47 by simonpj] · b8802cd2
      simonpj authored
      Wibble to message
      b8802cd2
    • simonpj's avatar
      [project @ 2005-02-04 17:24:01 by simonpj] · c36a2f9b
      simonpj authored
      ------------------------------------------------------
      	Report top-level implicit parameter errors more nicely
      	------------------------------------------------------
      
      Consider
          module Main where
      
      	main = let ?x = 5 in print foo
      
      	foo = woggle 3
      
      	woggle :: (?x :: Int) => Int -> Int
      	woggle y = ?x + y
      
      GHC's current rules say that 'foo' is monomorphic, so we get
      	foo :: Int
      but we also get an unbound top-level constraint (?x::Int).  GHC 6.2 emits a
      message like:
           Unbound implicit parameter (?x::Int)
           arising from use of `woggle' at ...
      
      The point is that THERE IS NO WAY FOR THIS CONSTRAINT TO GET BOUND,
      because we don't have a top-level binding form for implicit parameters.
      So it's stupid for 'foo' to be monomorphic.
      
      This commit improves matters by giving a much nicer error message:
      
           Implicit parameters escape from the monomorphic top-level binding(s) of `foo':
             ?x::Int arising from use of `woggle' at tcfail130.hs:10:6-11
           Probably fix: add type signatures for the top-level binding(s)
           When generalising the type(s) for `foo'
      c36a2f9b
    • simonpj's avatar
      [project @ 2005-02-04 15:43:28 by simonpj] · 6ac3317e
      simonpj authored
      Respect --exclude-module in ghc -M; some tidying up as well
      6ac3317e
    • simonpj's avatar
      [project @ 2005-02-04 15:42:54 by simonpj] · 6df9942f
      simonpj authored
      Comments and type sig
      6df9942f
    • simonmar's avatar
      [project @ 2005-02-04 13:36:27 by simonmar] · c592dcee
      simonmar authored
      The HEAD is now 6.5
      c592dcee
    • simonmar's avatar
      [project @ 2005-02-04 13:32:28 by simonmar] · a304af45
      simonmar authored
      In the fragments of Haskell code which setup buffering and flushing
      for the std Handles in GHCi, qualify names with System.IO rather than IO.
      a304af45
    • simonmar's avatar
      [project @ 2005-02-04 11:58:23 by simonmar] · fdfdac78
      simonmar authored
      Need to add -I. when compiling with GHC 6.3+
      fdfdac78
  3. 03 Feb, 2005 4 commits
  4. 02 Feb, 2005 12 commits
  5. 01 Feb, 2005 10 commits
  6. 31 Jan, 2005 4 commits