Skip to content
Snippets Groups Projects
  1. Jul 13, 2000
  2. Jul 12, 2000
  3. Jul 11, 2000
  4. Jul 10, 2000
  5. Jul 09, 2000
  6. Jul 08, 2000
  7. Jul 07, 2000
    • Simon Peyton Jones's avatar
      [project @ 2000-07-07 12:13:43 by simonpj] · 7bb06950
      Simon Peyton Jones 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.
      7bb06950
    • Simon Peyton Jones's avatar
      [project @ 2000-07-07 12:13:22 by simonpj] · ec459c23
      Simon Peyton Jones authored
      Improve comments
      ec459c23
    • Simon Peyton Jones's avatar
      [project @ 2000-07-07 12:12:48 by simonpj] · 23cb37fa
      Simon Peyton Jones authored
      Fix duplicate class assertion error msg
      23cb37fa
    • Simon Marlow's avatar
      [project @ 2000-07-07 11:03:57 by simonmar] · 6151c960
      Simon Marlow authored
      Rearrange exception stuff, as per my message on glasgow-haskell-users
      recently.
      
      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
      deprecated.
      6151c960
    • Simon Marlow's avatar
      [project @ 2000-07-07 10:35:32 by simonmar] · 219fbecc
      Simon Marlow 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.
      219fbecc
Loading