1. 19 Nov, 2001 5 commits
    • sof's avatar
      [project @ 2001-11-19 18:53:50 by sof] · 57d15e1c
      sof authored
      If the configure script determined that the build-tree version of happy
      is to be used, descend into happy/ and build it, if needs be.
    • sof's avatar
      [project @ 2001-11-19 18:47:43 by sof] · 5b4f91d4
      sof authored
      - change the interpretation of FPTOOLS_TOP_ABS, it is now the UNIXy path.
        For Win32, it is of the form <drive>:<path> where '/' is the directory
        separator. Prior to this commit, the directory separator was '\'.
      - for the (only) place we need to have a platform-native representation
    • simonpj's avatar
      [project @ 2001-11-19 16:34:12 by simonpj] · 53ce311e
      simonpj authored
      Tidy up imports
    • simonpj's avatar
      [project @ 2001-11-19 16:33:17 by simonpj] · 615a5546
      simonpj authored
      Improve error msg
    • simonpj's avatar
      [project @ 2001-11-19 14:23:52 by simonpj] · d8af6b8c
      simonpj authored
      	Yet another cut at the DmdAnal domains
      This version of the domain for demand analysis was developed
      in discussion with Peter Sestoft, so I think it might at last
      be more or less right!
      Our idea is mentally to separate
      	strictness analysis
      	absence and boxity analysis
      Then we combine them back into a single domain.  The latter
      is all you see in the compiler (the Demand type, as before)
      but we understand it better now.
  2. 18 Nov, 2001 1 commit
  3. 16 Nov, 2001 3 commits
    • sof's avatar
      [project @ 2001-11-16 16:58:41 by sof] · 116328b6
      sof authored
      if IS_CBITS_LIB is YES: Extend SRC_HS2HS_OPTS in the same way that SRC_CC_OPTS is
    • simonpj's avatar
      [project @ 2001-11-16 15:42:26 by simonpj] · 772ffb22
      simonpj authored
      	Add continuation splitting to Simplify
      When the simplifier finds a 'case', it calls mkDupableAlt
      to make the "continuation" (that is, the context of the
      case expression) duplicatable, so that it can push it into
      the case branches.  This is crucial for the case-of-case
      But it turns out that it's a bad idea to do that when
      the context is "I'm the argument of a strict function".  Consider
      	f (case x of { True -> False; False -> True }) arg2
      where f is a strict function.  Then we *could* (and were)
      transforming to
      	let $j a = f a arg2
      	case x of { True -> $j False; False -> $j True }
      But this is in general a terribly bad thing to do.
      See the example in comments with Simplify.mkDupableCont.
    • simonpj's avatar
      [project @ 2001-11-16 15:33:53 by simonpj] · 2ce9f3af
      simonpj authored
      Correct docs about SPECIALIZE instance; MERGE TO STABLE
  4. 15 Nov, 2001 1 commit
  5. 14 Nov, 2001 5 commits
    • simonmar's avatar
      [project @ 2001-11-14 16:34:22 by simonmar] · 9a558a75
      simonmar authored
      use SET_HDR rather than explicitly setting p->header.info.
    • simonmar's avatar
      [project @ 2001-11-14 11:46:12 by simonmar] · 37ed96e4
      simonmar authored
      Fix up the interpreter following the recent modifications to
      suspendThread/resumeThread.  Someone should test that foreign imports
      in the interpreter still work.
    • simonmar's avatar
      [project @ 2001-11-14 11:39:29 by simonmar] · 9bd3b5f3
      simonmar authored
      Change the way we do finalization for duplex handles.  Previously, we
      arranged that the read side pointed to the right side via a special
      handle type (ReadSideHandle _), and the finalizer points to the write
      side.  This turned out to interact badly with hGetContents, which
      likes to explicitly close the read side of the handle after it reads
      EOF or gets an error, which resulted in double-closes for duplex
      Now we store the pointer from the read side to the write side in the
      Handle structure itself, so it doesn't get lost when hGetContents
      changes the handle type to SemiClosedHandle.  Furthermore, in hClose
      we no longer close the file descriptor associated with the read side
      of a duplex handle - the actual close will have to wait until the
      finalizer runs, because someone might still be using the write side.
      Thanks to Volker Stolz for pointing out the problem.
    • simonmar's avatar
      [project @ 2001-11-14 11:35:23 by simonmar] · 01bd67ae
      simonmar authored
      remove an unnecessary duplicate binding
    • simonmar's avatar
      [project @ 2001-11-14 11:15:53 by simonmar] · 92b87035
      simonmar authored
      GC unused import
  6. 13 Nov, 2001 5 commits
  7. 12 Nov, 2001 4 commits
  8. 09 Nov, 2001 9 commits
    • sof's avatar
      [project @ 2001-11-09 21:25:56 by sof] · 124690e9
      sof authored
      GhcCanonVersion: leave out GhcPatchLevel, causes problems when
      the GhcPatchLevel isn't a patchlevel but a date.
    • sof's avatar
      [project @ 2001-11-09 20:58:40 by sof] · 914cc0f0
      sof authored
      prel_PrelHandle_read(): de-hebetudified.
    • sof's avatar
      [project @ 2001-11-09 20:30:11 by sof] · cb470321
      sof authored
      Make recent rts/ changes work by recognising symbols starting
      with __stg as being known-funny-things.
      Still recognise "^stg" as 'funny', not sure if that's still
    • sof's avatar
      [project @ 2001-11-09 18:40:52 by sof] · 6a0b3f67
      sof authored
      lookupInstEnv: "#ifdef DEBUG"-protect trace code
      that got included in prev. commit.
      (I'm guessing it either should be removed or moved
      into the ASSERT, but I'll let the original committer
      decide which).
    • sof's avatar
      [project @ 2001-11-09 18:17:48 by sof] · 579b46fe
      sof authored
      * Moved CANON_HC_VERSION out of ghc/compiler/Makefile and into mk/config.mk.in
        (and renamed it as GhcCanonVersion).
      * Have ghc/driver/Makefile use it; cheaper and more robust than the version
        testing it was already doing.
    • sof's avatar
      [project @ 2001-11-09 17:39:45 by sof] · cd844a66
      sof authored
      Optimised defn of CANON_HC_VERSION, synthesise it from config.mk info,
      not via an expensive $(shell ...) call.
    • sof's avatar
      [project @ 2001-11-09 17:02:09 by sof] · 666d7f6b
      sof authored
      Use -fvia-C when compiling rename/ParseIface.hs and parser/Parser.hs -
      Int16 primops aren't supported by the NCG on all plats.
    • simonpj's avatar
      [project @ 2001-11-09 16:41:15 by simonpj] · b1c75ab0
      simonpj authored
      	Fix an obscure overlapping-instance bug
      When searching for instances, we used bale out if the type
      we seek could be instantiated to match the instance (because
      it might be so instantiated later, in which case we don't
      want to miss the opportunity).
      The bug was that we used *matching* whereas we should use
      Comments in the file InstEnv.
    • sof's avatar
      [project @ 2001-11-09 16:29:06 by sof] · 41a551e3
      sof authored
      Auto-rule for INSTALL_DATAS and cbits/ header files:
      Nuke $(shell perl -e '...') use, i.e., don't load in and start up
      a 3M binary just to capitalise a word (which gets done twice per
      invocation of 'make').
  9. 08 Nov, 2001 7 commits
    • sof's avatar
      [project @ 2001-11-08 19:34:23 by sof] · 629b8c60
      sof authored
      gen_Eq_binds: when comparing constructor tags, emit just
         a == b = case con2tag_Foo# a of
                    a# -> case con2tag_Foo# b of b# -> a# PrelGHC.==# b#
      and not
         a == b = case con2tag_Foo# a of
                    a# -> case con2tag_Foo# b of
                            b# -> if a# PrelGHC.==# b# then PrelBase.True else PrelBase.False
      (Not that this wouldn't get simplified, but still).
    • sof's avatar
      [project @ 2001-11-08 19:20:55 by sof] · 56883a7f
      sof authored
      rnHsForeignDecl: 'foreign import's (incl 'f.e.d's) _define_ local toplevel
      names, so better use RnEnv.lookupTopBndrRn and not RnEnv.lookupOccRn to
      resolve the name.
      As was, declaring ForeignImports with the same name as an imported entity
      wasn't permitted.
    • sof's avatar
      [project @ 2001-11-08 18:55:19 by sof] · 0377a8db
      sof authored
      gencode: for completeness sake only, handle CCallTypedefs
    • sof's avatar
      [project @ 2001-11-08 18:53:44 by sof] · 37cb78bd
      sof authored
      ghc-inplace: single-quote -B option to avoid de-escaping those b-slashes
    • sof's avatar
      [project @ 2001-11-08 18:51:03 by sof] · 8c08b1a3
      sof authored
      hardtop_plat: escape those backslashes (exponentially so).
    • sof's avatar
      [project @ 2001-11-08 17:39:14 by sof] · f8bd123f
      sof authored
      Prev. commit upset world order - revert back to printing out
      build tree loc. first.
    • simonmar's avatar
      [project @ 2001-11-08 17:04:28 by simonmar] · f400d408
      simonmar authored
      minor simplification