1. 23 Oct, 2001 6 commits
  2. 22 Oct, 2001 13 commits
    • sof's avatar
      [project @ 2001-10-22 22:55:31 by sof] · b8341ac7
      sof authored
      Get rid off about half a dozen symbols from RTS_MINGW_ONLY_SYMBOLS;
      some unnecessary, some redundant now that 'kernel32' is on the
      default DLL search list for 'std'.
      b8341ac7
    • sof's avatar
      [project @ 2001-10-22 22:41:02 by sof] · efefcb29
      sof authored
      std & mingw32: include 'kernel32' in extra_libraries
      
      [btw, this config file needs a bit of work to have it work on a
      i386-unknown-cygwin plat.]
      efefcb29
    • simonmar's avatar
      [project @ 2001-10-22 16:16:27 by simonmar] · b854692d
      simonmar authored
      new commands:
      
      	:set args <arg> ...
      	:set prog <progname>
      
      to set the results of System.getArgs and System.getProgName as seen by
      the program.
      b854692d
    • simonmar's avatar
      [project @ 2001-10-22 16:08:10 by simonmar] · a5caedcb
      simonmar authored
      -fwarn-name-shadowing should check the global env as well as the local
      env for names that could be shadowed (the docs don't say anything
      about it applying to local names only).
      a5caedcb
    • sewardj's avatar
      [project @ 2001-10-22 16:02:44 by sewardj] · 829355e5
      sewardj authored
      merge from stable, rev 1.60.2.9:
      
        Check for duplicate symbols when loading objects, and give up (with
        suitably helpful error msg) if duplicates are found.
      829355e5
    • simonmar's avatar
      [project @ 2001-10-22 14:47:37 by simonmar] · 1827a6ae
      simonmar authored
      oops, need to look for source files in mkdependHS mode too.
      1827a6ae
    • simonpj's avatar
      [project @ 2001-10-22 13:50:17 by simonpj] · 41435f65
      simonpj authored
      Make SimplGently a bit less gentle
      41435f65
    • simonmar's avatar
      [project @ 2001-10-22 13:45:15 by simonmar] · 2ca8eeed
      simonmar authored
      Default verbosity mode is always 1, and we don't print the
      "Compiling ( foo.hs, foo.o )" message if we're in OneShot mode.
      
      Fixes recently introduced problem where the "compilation IS NOT
      required" message isn't printed at all in OneShot mode.
      2ca8eeed
    • simonpj's avatar
      [project @ 2001-10-22 11:37:45 by simonpj] · 2c128fe8
      simonpj authored
      -------------------------------
      	Correct a nasty existential bug
      	-------------------------------
      
      	MERGE WITH STABLE BRANCH
      
      Thanks to Volker Stolz for finding this existential bug.
      Again, it's amazing that it hasn't shown up before.
      GHC 5.02 allows this utterly bogus program to get past
      the type checker
      
        data DS = forall a. C (a -> Int)
      
        call (C f) arg = f arg
      
      The existential-tyvar-escape check was wrong. Easily fixed, though.
      
      	tcfail099 now tests for this
      2c128fe8
    • simonmar's avatar
      [project @ 2001-10-22 10:48:33 by simonmar] · 0cce925f
      simonmar authored
      Describe how to use path searching in GHCi.
      0cce925f
    • simonmar's avatar
      [project @ 2001-10-22 10:33:50 by simonmar] · d45e90d3
      simonmar authored
      Changes to the finder algorithm: in non-compilation-manager modes
      (eg. ghc -c) we now search for .hi files only, because a source file
      is no good to us.  In compilation manager modes, we now don't search
      for .hi files in the home package at all.
      d45e90d3
    • simonpj's avatar
      [project @ 2001-10-22 09:37:24 by simonpj] · e0f44735
      simonpj authored
      ------------------------------------
      	Allow foralls in newtype-with-record
      	------------------------------------
      
      	MERGE WITH STABLE BRANCH
      
      A simple fix to a longstanding omission.  The parser rejected
      
      
       newtype CPS a = CPS { unCPS :: forall ans . (a -> ans) -> ans }
      
      because the production for "newconstr" said "type" instead of "ctype".
      e0f44735
    • 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
  3. 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
  4. 18 Oct, 2001 9 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