1. 14 Jul, 1999 17 commits
  2. 12 Jul, 1999 2 commits
  3. 08 Jul, 1999 4 commits
  4. 07 Jul, 1999 3 commits
    • simonmar's avatar
      [project @ 1999-07-07 15:28:19 by simonmar] · d8e3e531
      simonmar authored
      Reduce ScrutConDiscount from 3 to 2.
      d8e3e531
    • simonmar's avatar
      [project @ 1999-07-07 15:27:27 by simonmar] · 65284c96
      simonmar authored
      - charge 1 for a case expression
      
      - give a discount of opt_UF_ScrutConDiscount each time a constructor
        is scrutinised
      
      (previously a case expression was not charged for at all, and the
      discount for a scrutinised constructor was (opt_UF_ScrutConDiscount *
      tyconFamilySize).  In 4.02, a case expression was also charged
      tyconFamilySize to balance the discount, but this had the disadvantage
      of charging for alternatives which may not be present in the actual
      case expression).
      65284c96
    • simonmar's avatar
      [project @ 1999-07-07 11:22:13 by simonmar] · 69a603fb
      simonmar authored
      Back out yesterday's change - needs more thought.
      69a603fb
  5. 06 Jul, 1999 14 commits
    • simonpj's avatar
      [project @ 1999-07-06 16:45:31 by simonpj] · 9d38678e
      simonpj authored
      All Simon's recent tuning changes.  Rough summary follows:
      
      * Fix Kevin Atkinson's cant-find-instance bug.  Turns out that Rename.slurpSourceRefs
        needs to repeatedly call getImportedInstDecls, and then go back to slurping
        source-refs.  Comments with Rename.slurpSourceRefs.
      
      * Add a case to Simplify.mkDupableAlt for the quite-common case where there's
        a very simple alternative, in which case there's no point in creating a
        join-point binding.
      
      * Fix CoreUtils.exprOkForSpeculation so that it returns True of (==# a# b#).
        This lack meant that
      	case ==# a# b# of { True -> x; False -> x }
        was not simplifying
      
      * Make float-out dump bindings at the top of a function argument, as
        at the top of a let(rec) rhs.  See notes with FloatOut.floatRhs
      
      * Make the ArgOf case of mkDupableAlt generate a OneShot lambda.
        This gave a noticeable boost to spectral/boyer2
      
      
      * Reduce the number of coerces, using worker/wrapper stuff.
        The main idea is in WwLib.mkWWcoerce.  The gloss is that we must do
        the w/w split even for small non-recursive things.  See notes with
        WorkWrap.tryWw.
      
      * This further complicated getWorkerId, so I finally bit the bullet and
        make the workerInfo field of the IdInfo work properly, including
        under substitutions.  Death to getWorkerId.  Kevin Glynn will be happy.
      
      * Make all lambdas over realWorldStatePrimTy
        into one-shot lambdas.  This is a GROSS HACK.
      
      * Also make the occurrence analyser aware of one-shot lambdas.
      
      * Make various Prelude things into INLINE, so that foldr doesn't
        get inlined in their body, so that the caller gets the benefit
        of fusion.  Notably in PrelArr.lhs.
      9d38678e
    • sewardj's avatar
      [project @ 1999-07-06 16:40:22 by sewardj] · 47a40c89
      sewardj authored
      Assembler/Disassembler: handle and print calls to compiled code
      Evaluator: return to scheduler when entering unknown closure
      StgCRun: debugging trace in miniinterpreter (temporary)
      Updates: fix normal and vectored returns to Hugs
      47a40c89
    • sewardj's avatar
      [project @ 1999-07-06 16:17:39 by sewardj] · 7635e89a
      sewardj authored
      Make vectored returns to Hugs work, and make IS_CODE_PTR etc work
      for dynamically loaded objects.
      7635e89a
    • simonmar's avatar
      [project @ 1999-07-06 15:33:23 by simonmar] · 99032744
      simonmar authored
      Should really call OnExitHook() in shutdownHaskellAndExit().
      99032744
    • sewardj's avatar
      [project @ 1999-07-06 15:24:36 by sewardj] · ca6e1e45
      sewardj authored
      Mods to enable interworking with simple compiled code.  Supports fns and
      data decls.  Classes, instances, primops, don't work yet.
      Unregisterised, mininterpreted x86-ELF is the supported object format.
      GC appears to work correctly.
      ca6e1e45
    • simonmar's avatar
      [project @ 1999-07-06 15:24:35 by simonmar] · 17622819
      simonmar authored
      we're on to 4.04 now.
      17622819
    • sewardj's avatar
      [project @ 1999-07-06 15:24:35 by sewardj] · 4c633843
      sewardj authored
      Mods to enable interworking with simple compiled code.  Supports fns and
      data decls.  Classes, instances, primops, don't work yet.
      Unregisterised, mininterpreted x86-ELF is the supported object format.
      GC appears to work correctly.
      4c633843
    • simonmar's avatar
      [project @ 1999-07-06 15:24:01 by simonmar] · c5b5811c
      simonmar authored
      Add a note about @raiseInThread@.
      c5b5811c
    • simonmar's avatar
      [project @ 1999-07-06 15:23:17 by simonmar] · e8876154
      simonmar authored
      -ddump-rdr is now -ddump-parsed
      e8876154
    • simonmar's avatar
      [project @ 1999-07-06 15:21:57 by simonmar] · e5a20346
      simonmar authored
      only pop explicit layout contexts with '}'.
      e5a20346
    • simonmar's avatar
      [project @ 1999-07-06 15:21:01 by simonmar] · 3f2df52d
      simonmar authored
      print the compiler version on the same line as the compilee version;
      looks a bit tidier.
      3f2df52d
    • sewardj's avatar
      [project @ 1999-07-06 15:20:59 by sewardj] · a4d7e186
      sewardj authored
      Header file for an alternative bignum implementation, which is in
      interpreter/sainteger.c.  Currently used by STGHugs.
      Temporary -- until we resolve GMP licensing issues.
      a4d7e186
    • simonmar's avatar
      [project @ 1999-07-06 15:19:41 by simonmar] · a2769f31
      simonmar authored
      Re-jig some stuff in here so it doesn't look like you need so many
      tools to build GHC.
      a2769f31
    • sof's avatar
      [project @ 1999-07-06 15:12:47 by sof] · cde3484c
      sof authored
      Added maxPrecedence
      cde3484c