1. 07 Feb, 2005 4 commits
    • simonpj's avatar
      [project @ 2005-02-07 12:07:21 by simonpj] · 233b831b
      simonpj authored
      ------------------------------
      	Improve unused-import warnings
      	------------------------------
      
      	Merge to STABLE
      
      This commit improves the warning messages for unused imports, in the
      case where the 'module A' form is used in an export list.
      
      In doing this, I've realised that the unused-import checking is deficient
      in several ways.  At least
      
      	a) it doesn't recognise that there might be several import statements
      	   for the same module (TcRnTypes.imp_mods has only one entry per
      	   module
      
      	b) it doesn't understand about qualified modules at all
      
      	c) even more fundamentally, it starts from the used Names,
      	   but if the module mentions (say) aliases M.f and N.f for
      	   the same Name, then two imports might be necessary for it
      
      I'm not going to fix these problems now; this message just records them.
      233b831b
    • simonmar's avatar
      [project @ 2005-02-07 11:13:35 by simonmar] · f026ced9
      simonmar authored
      Mention that GHC is required for building GHC.
      f026ced9
    • simonmar's avatar
      [project @ 2005-02-07 11:11:33 by simonmar] · c6fd65f1
      simonmar authored
      Point directly to the Building Guide from here.
      c6fd65f1
    • simonpj's avatar
      [project @ 2005-02-07 09:55:54 by simonpj] · e25528e6
      simonpj authored
      Better documentation for unboxed types; merge to STABLE
      e25528e6
  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 3 commits
    • simonpj's avatar
      [project @ 2005-01-31 16:59:37 by simonpj] · b2446845
      simonpj authored
      Tidy up stop-phase passing; fix bug in -o handling for ghc -E X.hs -o X.pp
      b2446845
    • simonpj's avatar
      [project @ 2005-01-31 15:48:13 by simonpj] · bd0d2652
      simonpj authored
      ---------------------------
      	Some Template Haskell fixes
      	---------------------------
      
      * Tidy up conversion from TH.Name to RdrName.RdrName. It was partly
        duplicated between Convert.thRdrName and TcSplice.lookupThName.
        Now it's all in one place: Convert.thRdrName
      
      * Fix a bug in TH.tupleTypeName/TH.tupleDataName (GHC.Tuple -> Data.Tuple)
      
      * Export appEs from Language.Haskell.TH
      bd0d2652
    • simonpj's avatar
      [project @ 2005-01-31 14:57:36 by simonpj] · 34fa81c4
      simonpj authored
      Compile utilities and lib/compat with GhcHcOpts, in case it is profiled
      34fa81c4