1. 22 Oct, 2001 1 commit
    • simonmar's avatar
      [project @ 2001-10-22 09:05:26 by simonmar] · b01bb1ca
      simonmar authored
      import CLabe (isAsmTemp) for sparc/alpha (I guess someone removed the
      import after a warning from -fwarn-unused-imports, so I've put the
      import inside the relevant #ifdef this time).
      b01bb1ca
  2. 19 Oct, 2001 12 commits
    • qrczak's avatar
      [project @ 2001-10-19 22:16:28 by qrczak] · e65c60d9
      qrczak authored
      Typo.
      e65c60d9
    • qrczak's avatar
      [project @ 2001-10-19 18:33:11 by qrczak] · 82afb115
      qrczak authored
      Clean mkDerivedConstantsHdr and mkNativeHdr.
      82afb115
    • simonpj's avatar
      [project @ 2001-10-19 14:22:11 by simonpj] · bbffa95a
      simonpj authored
      Try to get mkLocalOcc right
      bbffa95a
    • simonpj's avatar
      [project @ 2001-10-19 11:47:18 by simonpj] · c85373c7
      simonpj authored
      Fix codegen globalisation for -split-objs
      c85373c7
    • rrt's avatar
      [project @ 2001-10-19 11:44:08 by rrt] · c10cab36
      rrt authored
      More notes about InstallShield. This is now a first draft of the
      InstallShield notes; probably some bits have been left out, and I need
      to fix make install to bring reality closer to document.
      c10cab36
    • rrt's avatar
      [project @ 2001-10-19 11:16:16 by rrt] · 0f11ab8e
      rrt authored
      Say a bit about the way InstallShield should work. It doesn't yet, as
      I have to finish fixing make install for Windows.
      0f11ab8e
    • sewardj's avatar
      [project @ 2001-10-19 10:09:27 by sewardj] · f0ccf346
      sewardj authored
      merge from stable, rev 1.3.2.2:
      
      Fix some mistakes and omissions, plus remove some caveats that seem no
      longer to hold.
      f0ccf346
    • sewardj's avatar
      [project @ 2001-10-19 10:04:37 by sewardj] · d7510542
      sewardj authored
      merge from stable, rev 1.105.4.1:
      
        When not compiling via C, catch Casms in the typecheck and reject
        them in a civilised way rather than having the various back ends barf.
      d7510542
    • sewardj's avatar
      [project @ 2001-10-19 10:02:50 by sewardj] · aa162076
      sewardj authored
      merge from stable, revs:
      
        1.191.4.1 +2 -2      fptools/ghc/compiler/Makefile
        1.7.4.2   +38 -13    fptools/ghc/compiler/ghci/ByteCodeFFI.lhs
        1.58.4.2  +4 -3      fptools/ghc/compiler/ghci/ByteCodeGen.lhs
        1.25.4.1  +40 -10    fptools/ghc/compiler/ghci/ByteCodeLink.lhs
      
        Make the bytecode generation machinery print a helpful message if
        it has to give up due to lack of 64-bit support.
      
        Add various bits of supporting infrastructure for 64-bit values
        in the bytecode generator.  Making it all work is beyond the scope
        of a patchlevel release, so these are unused right now.
      
      
        1.25.4.2  +27 -7     fptools/ghc/compiler/ghci/ByteCodeLink.lhs
      
        Print a civilised and helpful error message if the bytecode linker
        should encounter a link failure.
      
      
        1.58.4.3  +6 -8      fptools/ghc/compiler/ghci/ByteCodeGen.lhs
        1.25.4.3  +1 -1      fptools/ghc/compiler/ghci/ByteCodeLink.lhs
      
        Also give civilised messages for interactive FFI link failures.
      
      
        1.25.4.4  +2 -1      fptools/ghc/compiler/ghci/ByteCodeLink.lhs
      
        Refine the runtime-link-failure msg a bit.
      aa162076
    • sewardj's avatar
      [project @ 2001-10-19 09:45:26 by sewardj] · 46e4022b
      sewardj authored
      merge from stable revs:
      
        1.60.2.7  +29 -8     fptools/ghc/rts/Linker.c
        Teach the runtime linker to ignore stabs-style debugging info on x86-ELF.
      
        1.60.2.8  +15 -3     fptools/ghc/rts/Linker.c
        PEi386 fixes for ignoring stabs-style (GNU, -g) debugging info.
      46e4022b
    • sewardj's avatar
      [project @ 2001-10-19 09:41:11 by sewardj] · dd33e044
      sewardj authored
      merge from stable revs:
        1.121.4.1 +7 -6      fptools/ghc/rts/GC.c
        1.9.4.1   +4 -1      fptools/ghc/rts/GCCompact.c
        1.17.4.1  +4 -3      fptools/ghc/rts/StoragePriv.h
      
        SimonM's fixes to deal with GHCi and CAFs properly in the compacting
        collector.
      dd33e044
    • sewardj's avatar
      [project @ 2001-10-19 09:33:28 by sewardj] · 033561ea
      sewardj authored
      merge from stable rev 1.54.4.1:
      
        CLEAN_FILES += gmp/libgmp.a
      033561ea
  3. 18 Oct, 2001 22 commits
    • simonpj's avatar
      [project @ 2001-10-18 16:29:12 by simonpj] · 685e04e4
      simonpj authored
      ----------------------------------------------
      	The CoreTidy/CorePrep/CoreToStg saga continues
      	[actually, this commit mostly completes the job]
      	----------------------------------------------
      
      			DO NOT MERGE!
      
      * CorePrep injects implicit bindings, not the type checker,
        nor CgConTbls.   (This way, all the code generators see
        them, so no need to fiddle with the byte code generator.)
      
        As a result, all bindings in the module are for LocalIds,
        at least until CoreTidy.   This is a Big Win.
      
        Hence remove nasty isImplicitId test in update_bndr in
        SimplCore and DmdAnal
      
      * hasNoBinding is no longer true of a dataConId (worker).
        There's an implicit curried binding for it.
      
      * Remove yukky test in exprIsTrivial that did not regard
        a hasNoBinding Id as trivial; similarly in SimplUtils.tryEtaReduce
      
      * In CoreTidy, get the names to avoid from the type env.
        That way it includes implicit bindings too.
      
      * CoreTidy set the Arity of a top-level Id permanently;
        it's up to the rest of the compiler to respect it.
        Notably, CorePrep uses etaExpand to make the manifest arity
        match the claimed arity.
      
      * As a result, nuke CgArity, so that CgInfo now contains only
        CafInfo.  The CafInfo is knot-tied as before.
      
      
      Other things
      
      * In Simplify.simplLazyBind, be a bit keener to float bindings
        out if it's a top-level binding.
      685e04e4
    • simonpj's avatar
      [project @ 2001-10-18 16:27:42 by simonpj] · 25e8bcad
      simonpj authored
      Tidy up maybeGlobaliseId
      25e8bcad
    • simonpj's avatar
      [project @ 2001-10-18 16:25:18 by simonpj] · 962448d7
      simonpj authored
      Complete the removal of nullAddr# primop (dont merge)
      962448d7
    • simonpj's avatar
      [project @ 2001-10-18 16:11:57 by simonpj] · a1fe9675
      simonpj authored
      Correct bug in todays bug-fix to DmdAnal
      a1fe9675
    • simonpj's avatar
      [project @ 2001-10-18 15:57:06 by simonpj] · 19ce3c7e
      simonpj authored
      Add stuff about variables
      19ce3c7e
    • simonmar's avatar
      [project @ 2001-10-18 15:26:57 by simonmar] · 1d40a5e1
      simonmar authored
      Oops, don't try to load the rts or gmp packages at all.
      1d40a5e1
    • simonmar's avatar
      [project @ 2001-10-18 14:41:01 by simonmar] · bda94313
      simonmar authored
      Add a lightweight arena allocation scheme, and use it to speed up
      allocation of cost centres and cost-centre stacks in the profiler.
      bda94313
    • rrt's avatar
      [project @ 2001-10-18 13:56:09 by rrt] · bd10e5c9
      rrt authored
      Make catch work with older compilers, and avoid clash between
      Exception.catch and PrelException's catch.
      bd10e5c9
    • simonmar's avatar
      [project @ 2001-10-18 13:46:47 by simonmar] · 45f66f4e
      simonmar authored
      Use 'long long' types for the various memory allocation counters in
      cost centres and cost centre stacks, as these are prone to overflowing.
      45f66f4e
    • simonmar's avatar
      [project @ 2001-10-18 13:19:49 by simonmar] · d2206e76
      simonmar authored
      Back out part of the previous commit that shouldn't have gone in, and
      tidy up a little.
      d2206e76
    • simonpj's avatar
      [project @ 2001-10-18 13:09:50 by simonpj] · 94b17da4
      simonpj authored
      Fix two minor bugs in DmdAnal, and add comments.
      The bugs were both in dmdTransform, the dataConId case
      
        * The test for saturation should be against call_depth
          not agaainst (length ds).
      
        * The arg_ds computation for k=Keep should be
          with 'both' not 'lub'.
      94b17da4
    • rrt's avatar
      [project @ 2001-10-18 11:40:46 by rrt] · adab0038
      rrt authored
      Remove old rubbish and put some new in instead.
      adab0038
    • rrt's avatar
      [project @ 2001-10-18 11:20:19 by rrt] · 124c4554
      rrt authored
      GHC 4.08 hasn't got catch, so use catchAllIO.
      124c4554
    • rrt's avatar
      [project @ 2001-10-18 10:31:48 by rrt] · fa8b487b
      rrt authored
      I think catch was introduced long ago enough now that we can use it
      instead of catchAllIO. If it's still a problem, then this file can be
      treated like e.g. ghc-pkg/Main.hs.
      fa8b487b
    • simonpj's avatar
      [project @ 2001-10-18 10:04:21 by simonpj] · 1970492e
      simonpj authored
      Yet more wibbles in CorePrep (eta expansion this time)
      1970492e
    • simonpj's avatar
      [project @ 2001-10-18 10:03:58 by simonpj] · d8d54df6
      simonpj authored
      Comments only
      d8d54df6
    • simonmar's avatar
      [project @ 2001-10-18 09:37:54 by simonmar] · 80d58cf3
      simonmar authored
      Simplify the grammar in a few places - we don't allow VARSYMs or
      CONSYMs in interface files any more (everything is z-encoded), so
      remove these productions, and inline some non-terminals that were only
      used in one place.
      80d58cf3
    • simonpj's avatar
      [project @ 2001-10-18 09:22:37 by simonpj] · ae9865af
      simonpj authored
      Wibbles on the better-floating story
      ae9865af
    • simonmar's avatar
      [project @ 2001-10-18 09:17:04 by simonmar] · 9b6eccb5
      simonmar authored
      - use var_fs instead of just VARID for type variables, so that
        specialids (as, qualified, hiding, forall etc.) don't confuse the
        interface file parser.
      
      - remove superfluous '!' in var_fs rule.  This was necessary to avoid
        conflicts caused by the previous change.
      9b6eccb5
    • simonmar's avatar
      [project @ 2001-10-18 08:53:03 by simonmar] · c34157ea
      simonmar authored
      Eeeek!  When looking for an interface for a way other than the normal
      way (eg. profiling) we were correctly finding the .p_hi file, but then
      reading the .hi file!
      
      Sigbjorn: go stand in the corner for the rest of the day.
      
      MERGE TO STABLE
      c34157ea
    • simonpj's avatar
      [project @ 2001-10-18 08:22:06 by simonpj] · 4c6ea37b
      simonpj authored
      Wibble to case fiddling; dont merge
      4c6ea37b
    • simonpj's avatar
      [project @ 2001-10-18 08:03:29 by simonpj] · ce20fc57
      simonpj authored
      Add comments
      ce20fc57
  4. 17 Oct, 2001 5 commits
    • simonpj's avatar
      [project @ 2001-10-17 16:08:35 by simonpj] · cf8adb9e
      simonpj authored
      Tidy up case-simplification a little bit
      cf8adb9e
    • simonpj's avatar
      [project @ 2001-10-17 15:44:40 by simonpj] · 0b4ef195
      simonpj authored
      ---------------------------
        	Better floating in CorePrep
        	---------------------------
      
      	** DO NOT MERGE  **
      
      [NB: this commit also changes the wrongly-named
      	-ddump-sat
      flag to be called
      	-ddump-prep ]
      
      Earlier fiddling with CorePrep meant that it was ANF-ing
      the top-level defn:
      
      	x = length [True,False]
      to
      	x = let	s1 = False : []
      		s2 = True  : s1
      	    in length s2
      
      This is Very Bad for big constant data structures, as show
      up in Happy-generated parsers, and that's why we get the
      big-block-alloc crash in hssource.  Instead we want
      
      	s1 = False : []
      	s2 = True  : s1
      	x = length s2
      
      This happens now, (I hope), but it's part of an ongoing jiggling
      process in the CoreTidy-CorePrep-CoreToStg part of the compiler, so
      it's possible I have broken something else.
      0b4ef195
    • simonpj's avatar
      [project @ 2001-10-17 15:40:02 by simonpj] · 22334801
      simonpj authored
      Remove foldr/cons RULE; see comments with the RULE
      22334801
    • simonpj's avatar
      [project @ 2001-10-17 15:39:08 by simonpj] · 87aae97c
      simonpj authored
      Remove unused variable
      87aae97c
    • simonpj's avatar
      [project @ 2001-10-17 15:38:43 by simonpj] · f342fa9e
      simonpj authored
      Add comments
      f342fa9e