1. 08 Jul, 2000 3 commits
  2. 07 Jul, 2000 7 commits
    • simonpj's avatar
      [project @ 2000-07-07 12:13:43 by simonpj] · 7bb06950
      simonpj authored
      This commit moves the instance environment out of the Class data
      structure, where it was immutable, to part of the type-checker
      environment.  This change is absolutely essential as part of
      our move to GHCi, and I think it's also going to be necessary
      for Andrei's work on generic functions.
      As part of this change, we can remove
        a) types/InstEnv.*	(thereby also removing a hi-boot loop)
        b) a tc-fixpoint-loop in TcModule
      Both of these are worthwhile simplifications.
    • simonpj's avatar
      [project @ 2000-07-07 12:13:22 by simonpj] · ec459c23
      simonpj authored
      Improve comments
    • simonpj's avatar
      [project @ 2000-07-07 12:12:48 by simonpj] · 23cb37fa
      simonpj authored
      Fix duplicate class assertion error msg
    • simonmar's avatar
      [project @ 2000-07-07 11:03:57 by simonmar] · 6151c960
      simonmar authored
      Rearrange exception stuff, as per my message on glasgow-haskell-users
      The main change is the IOError type is now a synonym for Exception.
      IO.ioError can therefore be used for throwing exceptions.  IO.catch
      still catches only IO exceptions, for backwards compatibility.
      The interface exported by Exception has changed somewhat:
      	try       :: IO a -> IO (Either Exception a)
      	tryJust   :: (Exception -> Maybe b) -> a    -> IO (Either b a)
      	catch     :: IO a -> (Exception -> IO a) -> IO a
      	catchJust :: (Exception -> Maybe b) -> IO a -> (b -> IO a) -> IO a
      	ioErrors		:: Exception -> Maybe IOError
      	arithExceptions 	:: Exception -> Maybe ArithException
      	errorCalls		:: Exception -> Maybe String
      	dynExceptions		:: Exception -> Maybe Dynamic
      	assertions		:: Exception -> Maybe String
      	asyncExceptions 	:: Exception -> Maybe AsyncException
      raiseInThread is now called throwTo.
      Where possible, the old functions have been left around, but marked
    • simonmar's avatar
      [project @ 2000-07-07 10:35:32 by simonmar] · 219fbecc
      simonmar authored
      Remove the cast from CMacroExprs - it doesn't appear to be needed.
      This fixes the recently introduced bug when compiling CCS_HDR macros
      in profiling code.
    • simonmar's avatar
      [project @ 2000-07-07 09:44:31 by simonmar] · c01c4779
      simonmar authored
      fix -keep-hc-file-too
    • simonmar's avatar
      [project @ 2000-07-07 09:37:39 by simonmar] · 29e5b129
      simonmar authored
      revert rev. 1.81
  3. 06 Jul, 2000 11 commits
    • panne's avatar
      [project @ 2000-07-06 20:50:37 by panne] · e65d8417
      panne authored
    • keithw's avatar
      [project @ 2000-07-06 17:22:40 by keithw] · a75df25a
      keithw authored
      Fix obvious typo (pprStgARg for pprStgArg).  Clearly not a frequently-
      tickled part of the compiler!
    • simonpj's avatar
      [project @ 2000-07-06 16:31:45 by simonpj] · 525898a9
      simonpj authored
      * Improve the warning "M is imported but nothing from it is used"
        In particular, don't warn if some instances from it are imported.
        It's pretty much impossible to do the Right Thing always.
        A comment in Rename.lhs says
      	-- NOTE: Consider
      	--	      module This
      	--		import M ()
      	--	 The import M() is not *necessarily* redundant, even if
      	-- 	 we suck in no instance decls from M (e.g. it contains
      	--	 no instance decls, or This contains no code).  It may be
      	--	 that we import M solely to ensure that M's orphan instance
      	--	 decls (or those in its imports) are visible to people who
      	--	 import This.  Sigh.
      	--	 There's really no good way to detect this, so the error message
      	--	 in RnEnv.warnUnusedModules is weakened instead
      * Minor comment changes to RnIfaces.lhs
      * Use NameEnv instead of UFM in TcEnv (tidy up only)
    • simonmar's avatar
      [project @ 2000-07-06 16:28:40 by simonmar] · 89cefac8
      simonmar authored
      Add Marcin Kowalczyk and Michael Weber to the "Additional
      Contributors" section.
    • simonmar's avatar
      [project @ 2000-07-06 15:43:28 by simonmar] · df480464
      simonmar authored
      A string constant block can consist of multiple .string/.ascii
      directives.  The sparc-specific code in this file already handled this
      properly, but the x86 code was wrong.
    • simonmar's avatar
      [project @ 2000-07-06 15:24:57 by simonmar] · 09c44c1e
      simonmar authored
      no need to set hsc_lang = HscC when -split-objs is on.
    • simonmar's avatar
      [project @ 2000-07-06 14:08:31 by simonmar] · 5d42ac16
      simonmar authored
      New form of literal: MachLabel, for addresses of labels.  Used by
      foreign label instead of MachLitLit now.
      Real lit-lits now cause the NCG to panic.
      Also: removed CLitLit from AbsCSyn; it was only used in one place for
      a purpose it shouldn't have been used for in the first place.
    • rrt's avatar
      [project @ 2000-07-06 13:42:35 by rrt] · f7e174ea
      rrt authored
      Corrected URLs.
    • simonmar's avatar
      [project @ 2000-07-06 13:32:35 by simonmar] · a058828d
      simonmar authored
      New section on Packages, collecting together the various
      package-related documentation and adding some new stuff about the package
      management features.
    • rrt's avatar
      [project @ 2000-07-06 11:43:24 by rrt] · 040b3640
      rrt authored
      Bump the version no.
    • simonmar's avatar
      [project @ 2000-07-06 09:35:37 by simonmar] · 07080fd8
      simonmar authored
      ghc 4.06 didn't have -package, so use it only for 4.07+.
  4. 05 Jul, 2000 5 commits
    • simonmar's avatar
      [project @ 2000-07-05 17:16:02 by simonmar] · 5cbfe4e7
      simonmar authored
      bullet-proof the package code a bit more; check for write access to the
      configuration file before doing anything, check whether we're adding a
      package that's already there, etc.
    • simonmar's avatar
      [project @ 2000-07-05 17:01:59 by simonmar] · b2d52fc9
      simonmar authored
      Packages can now be added/removed from an installed GHC as follows:
          $ ./ghc-inplace --list-packages
          gmp, rts, std, lang, concurrent, data, net, posix, text, util,
          hssource, win32, com, std2
          $ ./ghc-inplace --add-package <newpkg
          Reading package info from stdin... done.
          Saving old package config file... done.
          Writing new package config file... done.
          $ ./ghc-inplace --list-packages
          gmp, rts, std, lang, concurrent, data, net, posix, text, util,
          hssource, win32, com, std2, mypkg
          $ ./ghc-inplace --delete-package mypkg
          Saving old package config file... done.
          Writing new package config file... done.
          $ ./ghc-inplace --list-packages
          gmp, rts, std, lang, concurrent, data, net, posix, text, util,
          hssource, win32, com, std2
      This is a first stab at the kind of functionality we need for
      installing Haskell libraries via RPMs: the RPM script would install
      the libraries, and then do a "ghc --add-package" passing the
      appropriate paths.  You'd then have "ghc -package" at your disposal to
      use the newly installed package.  Similarly on de-install, the RPM
      script would run "ghc --delete-package".
      Also in this commit: prettify the package dumping.
    • keithw's avatar
      [project @ 2000-07-05 15:42:19 by keithw] · 8d5bf65c
      keithw authored
      Add -t flag to specify title of report.
    • sewardj's avatar
      [project @ 2000-07-05 14:28:49 by sewardj] · dfedfb02
      sewardj authored
      Rename the marker used by Diff_Gcc_Nat.hs to ___ncg_debug_marker, to make
      it clear it has nothing to do with the usual object-splitting machinery.
      Improve Diff_Gcc_Nat:
      * Emit a warning, and stop, if there are no debug markers in the NCG code.
      * Handle .uahalf and .uaword, which appear in sparc assembly, but not x86.
    • sewardj's avatar
      [project @ 2000-07-05 09:46:35 by sewardj] · 558c0ec0
      sewardj authored
      Make -S work when going via the NCG.
  5. 04 Jul, 2000 3 commits
  6. 03 Jul, 2000 11 commits