1. 04 Mar, 2005 2 commits
  2. 03 Mar, 2005 5 commits
    • wolfgang's avatar
      [project @ 2005-03-03 21:03:06 by wolfgang] · b53005ae
      wolfgang authored
      Look for the docbook-xsl directory in /sw/share/xml/xsl/docbook-xsl,
      because that's where the Fink distribution for Mac OS X puts it.
      
      MERGE TO STABLE
      b53005ae
    • wolfgang's avatar
      [project @ 2005-03-03 21:01:49 by wolfgang] · 524b54ce
      wolfgang authored
      Install dynamic libraries even when they're not part of a package,
      but honor NO_INSTALL_LIBRARY instead.
      
      MERGE TO STABLE
      524b54ce
    • simonmar's avatar
      [project @ 2005-03-03 17:01:01 by simonmar] · 5b0e3240
      simonmar authored
      Add some text about platforms I forgot to commit before, and a couple
      of wibbles to the porting section.
      5b0e3240
    • chak's avatar
      [project @ 2005-03-03 11:48:02 by chak] · 706ebc79
      chak authored
      Merge to STABLE
      
      Fixed two bugs:
      * #1035575 from SourceForge (by adding smart constructors for source tuple
        construction at value and type level)
      * Parallel array comprehensions were handled wrongly
        - The singleton expression-pattern pair `()'-`[:():]' is the neutral element
          for cross products (comma notation in comprehensions), but not for
          parallel comprehensions.
        - Now groups of parallel statements are handled separately (which is more
          like the vanilla list comprehension case).
        - The code is too general in that it correctly handles cross-products of
          groups of parallel qualifiers.  As this is correctly handled in the
          list and the array comprehension case, the syntax may be generalised to
          allow arbitrary nesting of cross-products and parallel qualifiers.
      706ebc79
    • simonmar's avatar
      [project @ 2005-03-03 10:37:57 by simonmar] · fc9bacde
      simonmar authored
      Sparc: allow whitespace before .section directive.  Should fix
      linking problems on sparc/solaris.
      fc9bacde
  3. 02 Mar, 2005 14 commits
  4. 01 Mar, 2005 7 commits
    • simonpj's avatar
      [project @ 2005-03-01 21:40:40 by simonpj] · ff818166
      simonpj authored
      Type signatures and skolem constants (again)
      		Merge to STABLE
      
      This commit lays to rest the vexed question of skolem constants
      and type signatures.  My fix last week made type-signature variables
      into ordinary meta type variables, because they can be unified
      together (see Note [Signature skolems] in TcType).  But that was wrong
      becuase GADTs will only refine skolems.
      
      So this commit extends TcTyVarDetails with a new constructors, SigSkolTv,
      which is a skolem (like SkolemTv) but is unifiable (like MetaTv).  It's
      a bit of a hack, but the code came out quite nicely.
      
      Now the GADT tests work.
      ff818166
    • sof's avatar
      [project @ 2005-03-01 19:16:14 by sof] · 70768203
      sof authored
      aclocal.m4:FP_PROG_SORT: locate unix-like sort utility; on success, substituted as SortCmd.
      -configure.ac: use FP_PROG_SORT
      -mk/config.mk.in: added SORT setting..only used by libraries/Makefile
      
      Merge to STABLE
      70768203
    • simonmar's avatar
      [project @ 2005-03-01 16:20:27 by simonmar] · 6ecafed9
      simonmar authored
      6.4 announcement, first draft
      6ecafed9
    • simonmar's avatar
      [project @ 2005-03-01 14:59:18 by simonmar] · 1d88ebeb
      simonmar authored
      Work around bugs in DocBook XSL stylesheets: don't put
      cross-references in section headers.
      1d88ebeb
    • simonmar's avatar
      [project @ 2005-03-01 14:32:43 by simonmar] · c0233dc7
      simonmar authored
      -no-link is renamed to -c
      c0233dc7
    • simonmar's avatar
      [project @ 2005-03-01 11:51:14 by simonmar] · 24f3d678
      simonmar authored
      More dependencies required by 'make -j8'
      24f3d678
    • simonpj's avatar
      [project @ 2005-03-01 05:49:43 by simonpj] · 6d36af4a
      simonpj authored
      Make desugaring of pattern-matching much more civilised.
      
      Before this change we wrapped new bindings around the
      right hand side; but that meant they ended up wrapped
      in reverse order.  Now we accumulate the bindings
      separately, in the eqn_wrap field of an EqnInfo.
      
      This cures a desugaring bug encountered by Akos Korosmezey
      immortalised as ds055
      6d36af4a
  5. 28 Feb, 2005 7 commits
    • simonmar's avatar
      [project @ 2005-02-28 17:12:36 by simonmar] · b4dae163
      simonmar authored
      Back out previous change; something broke, I'll look into it later
      b4dae163
    • simonmar's avatar
      [project @ 2005-02-28 17:01:13 by simonmar] · 6d194f48
      simonmar authored
      Optimisation: the update code only needs to check whether the closure
      being updated is a BLACKHOLE_BQ if it has been blackholed; which is
      only the case after lazy blackholing has taken place.
      
      So to avoid this unnecessary cost, we have two kinds of update frame:
      one which checks for BLACKHOLE_BQ and one that doesn't, and the lazy
      blackholing algorithm converts the latter kind into the former as it
      replaces thunks with blackholes.
      6d194f48
    • simonpj's avatar
      [project @ 2005-02-28 16:04:54 by simonpj] · a8428524
      simonpj authored
      Add forall-hoisting to TcIface; see comments with mkIfTcAPp
      	Fixes Sourceforge bug 1146068
      	tc191 tests
      
      This fix is temporary, until we get rid of forall-hoisting 
      altogether
      a8428524
    • simonpj's avatar
      [project @ 2005-02-28 16:02:57 by simonpj] · 6c3c61e0
      simonpj authored
      Fix kind error in record update; tc190 tests
      6c3c61e0
    • simonpj's avatar
      [project @ 2005-02-28 16:02:42 by simonpj] · 408b3003
      simonpj authored
      Comment only
      408b3003
    • simonpj's avatar
      [project @ 2005-02-28 16:01:52 by simonpj] · 05c7c6e4
      simonpj authored
      Print empty classes right
      05c7c6e4
    • simonmar's avatar
      [project @ 2005-02-28 12:03:12 by simonmar] · 09e2c3a1
      simonmar authored
      The type variables in the types of wired-in entities were built using
      mkVarOcc, which gives a variable name rather than a type variable
      name.  Normally the compiler doesn't care, but when tidying types for
      output to the user the tidier would consider a VarName as distinct
      from a TvName, and not give them different print names.
      
      This fix makes puts all the type variables in the TvName namespace.
      09e2c3a1
  6. 26 Feb, 2005 1 commit
    • panne's avatar
      [project @ 2005-02-26 11:03:13 by panne] · 41b8c26e
      panne authored
      Don't use draft mode when generating FO, otherwise fop might try
      download a watermark when generating PDF/PS. Fixed a comment typo on
      the way.
      41b8c26e
  7. 25 Feb, 2005 4 commits