Skip to content
Commits on Aug 28, 2007
  1. Better handling of join points in spill cleaner

    Ben.Lippmeier@anu.edu.au committed Aug 28, 2007
  2. @igfoo
  3. @igfoo
  4. @igfoo

    Tidy up the gmp/ Makefile a bit

    igfoo committed Aug 28, 2007
  5. FIX #1533: foreign exporing the same identifier multiple times gave a…

    Simon Marlow committed Aug 28, 2007
    … link error
    
    We were generating a new top-level binding derived from the name of
    the existing top-level name, and making the name external.  Multiple
    instances therefore clashed.  The fix is to make each name unique, by
    appending an actual Unique to the derived name.
  6. @mchakravarty

    Type checking for type synonym families

    mchakravarty committed Aug 28, 2007
    This patch introduces type checking for type families of which associated
    type synonyms are a special case. E.g.
    
            type family Sum n m
    
            type instance Sum Zero n = n
            type instance Sum (Succ n) m = Succ (Sum n m)
    
    where
    
            data Zero       -- empty type
            data Succ n     -- empty type
    
    In addition we support equational constraints of the form:
    
            ty1 ~ ty2
    
    (where ty1 and ty2 are arbitrary tau types) in any context where
    type class constraints are already allowed, e.g.
    
            data Equals a b where
                    Equals :: a ~ b => Equals a b
    
    The above two syntactical extensions are disabled by default. Enable
    with the -XTypeFamilies flag.
    
    For further documentation about the patch, see:
    
            * the master plan
              http://hackage.haskell.org/trac/ghc/wiki/TypeFunctions
    
            * the user-level documentation
              http://haskell.org/haskellwiki/GHC/Indexed_types
    
    The patch is mostly backwards compatible, except for:
    
            * Some error messages have been changed slightly.
    
            * Type checking of GADTs now requires a bit more type declarations:
              not only should the type of a GADT case scrutinee be given, but also
              that of any identifiers used in the branches and the return type.
    
    Please report any unexpected behavior and incomprehensible error message 
    for existing code.
    
    Contributors (code and/or ideas):
            Tom Schrijvers
            Manuel Chakravarty
            Simon Peyton-Jones
            Martin Sulzmann 
    with special thanks to Roman Leshchinskiy
Commits on Aug 27, 2007
  1. @pepeiborra

    :stepover ---> :steplocal, :stepmodule

    pepeiborra committed Aug 27, 2007
     :stepover is declared a failed experiment. 
    :steplocal steps only on ticks contained in the current
    top level declaration. 
    :stepmodule steps only on ticks contained on the current
     module. 
    The current top level declaration and module are with
     respect to the breakpoint we are stopped on.
    
     The main reason for the failure of :stepover
    (apart from lacking a lexical call stack of course)
    is that it fails to detect when the expression being 
    evaluated is "complete", i.e. there are no ticks left in it.
    My assumption of the rightmost tick as the "last one",
    signaling that the expression is completely evaluated,
    is not true at all under laziness. 
    This assumption was key in the implementation of :stepover.
  2. @pepeiborra

    Use a version of obtainTerm that takes a max depth bound

    pepeiborra committed Aug 27, 2007
    when printing the contents of binding at a breakpoint
  3. @pepeiborra
Commits on Aug 26, 2007
  1. @pepeiborra

    Style: remove trailing spaces

    pepeiborra committed Aug 26, 2007
  2. @pepeiborra
  3. convert to use System.FilePath

    Simon Marlow committed Aug 26, 2007
  4. Refactoring only: remove [Id] field from ForeignStubs

    Simon Marlow committed Aug 26, 2007
    We used to pass the list of top-level foreign exported bindings to the
    code generator so that it could create StablePtrs for them in the
    stginit code.  Now we don't use stginit unless profiling, and the
    StablePtrs are generated by C functions marked with
    attribute((constructor)).  This patch removes various bits associated
    with the old way of doing things, which were previously left in place
    in case we wanted to switch back, I presume.  Also I refactored
    dsForeigns to clean it up a bit.
  5. @igfoo

    Fix retainer profiling

    igfoo committed Aug 26, 2007
  6. @igfoo
  7. Synched GHC's .spec file with recent changes

    sven.panne@aedion.de committed Aug 26, 2007
    Fixed hsc2hs handling and added hpc binary. Explicitly generate Cabal docs.
    Note that the Haddock documentation is currently not in the right place,
    this needs more investigation, but at least we can build a valid RPM now.
  8. @igfoo
Commits on Aug 25, 2007
  1. Be more flexible when trying to make scripts executable

    sven.panne@aedion.de committed Aug 25, 2007
  2. @igfoo

    Don't put push-all and darcs-all in source dists

    igfoo committed Aug 25, 2007
    We don't have the _darcs directories, so they won't work.
  3. @igfoo

    Add a missing "entryCode"

    igfoo committed Aug 25, 2007
    This was causing us to try to jump to the address of an infotable when
    unregisterised, leading to a segfault.
  4. @igfoo
  5. @igfoo
  6. Overhaul boot script

    sven.panne@aedion.de committed Aug 25, 2007
    * Call autoreconf only if necessary, avoiding a strict tool dependency.
    * Be a good *nix citizen and don't clutter the output when everything is fine.
    * Make a few more scripts executable.
  7. Added a few missing files to a source distribution

    sven.panne@aedion.de committed Aug 25, 2007
  8. Fixed test for pwd executable

    sven.panne@aedion.de committed Aug 25, 2007
    Added a missing "test" and replaced the "-e" option of the shell-builtin
    "test" with "-f". The former is not portable, see autoconf documentation.
Commits on Aug 24, 2007
  1. comment wibble

    Ben.Lippmeier@anu.edu.au committed Aug 24, 2007
  2. Add count of reg-reg moves remaining for linear allocator stats

    Ben.Lippmeier@anu.edu.au committed Aug 24, 2007
  3. Add a count of how many spill/reloads/reg-reg-moves remain to dump-as…

    Ben.Lippmeier@anu.edu.au committed Aug 24, 2007
    …m-stats
  4. @pepeiborra

    A partial attempt to improve :stepover

    pepeiborra committed Aug 24, 2007
      
      With this patch, :stepover can effectively appear to step over recursive calls and 
      calls to locally bound functions (in a where clause).
      
      However, when we run out of ticks in the current expression, 
      the illusion vanishes and laziness brings us to the body of the last function 
      we "stepped over". 
      This is not desired at all, it is potentially very confusing.
      As a countermeasure, when this happens :stepover emits a warning
    
         "Warning: no more breakpoints in this function body, switching to :step"
  5. @igfoo
  6. @igfoo
  7. @igfoo
  8. @igfoo
Commits on Aug 22, 2007
  1. @pepeiborra

    Better document :stepover and its limitations

    pepeiborra committed Aug 22, 2007
    :stepover only works lexically locally, in the context of the 
    current expression. I have tried to make this point clear
    in the users guide with an example.
Commits on Aug 10, 2007
  1. @igfoo
Something went wrong with that request. Please try again.