Commits on May 6, 2007
Commits on May 5, 2007
  1. Tweak ... generation

    igfoo committed May 5, 2007
        let x ...
    i.e. always put the = in:
        let x = ...
  2. Tweak the ... generation

    igfoo committed May 5, 2007
Commits on May 4, 2007
  1. Panic properly if wrongKindOfFamily is given an unexpected family

    igfoo committed May 4, 2007
    Used to just give a "Non-exhaustive patterns" failure
  2. libraries/filepath/ is boring

    igfoo committed May 4, 2007
  3. Warning police committed May 4, 2007
  4. Make -frewrite-rules into a dynamic flag; off for -O0 committed May 4, 2007
    Argubly rewrite rules should not fire with -O0, and it turns
    out that when compiling GHC.Base with -O0 we get a crash if
    the rewrite rules do fire (see Note [Scoping for Builtin rules]
    in PrelRules).
    So unless someone yells, rewrite rules are off with -O0.
    The new (now dynamic) flag is 
        -frewrite rules (with -fno-rewrite-rules to disable)
    The old (static) flag -frules-off is gone.
  5. Improve printing of "..." in HsExpr; fixes a stupidity in my earlier … committed May 4, 2007
  6. Fix the pruning of dead case alternatives committed May 4, 2007
    This fixes Trac #1251; test case is gadt/CasePrune
    GHC was being over-eager about pruning dead alternatives from case
    expressions, and that led to a crash because the case expression 
    ended up with no alternatives at all!
    See the long comments Note [Pruning dead case alternatives] in Unify.
  7. Warning police committed May 4, 2007
  8. isDataTyCon should be False for all type families, even data type fam… committed May 4, 2007
    isDataTyCon advertises that it's true of "data types that are
    definitely represented by heap-allocated constructors.  These are
    srcutinised by Core-level @case@ expressions, and they get info tables
    allocated for them."
    Type-family TyCons never have this property, not even data type families.
    It's the *instance* TyCons that do.
    I hope that this change does not break anything that somehow relied
    on the old (wrong) semantics.
Commits on May 3, 2007
  1. fix exit code of ghci -e "return ()"

    int-e committed May 3, 2007
    This should result in successful program termination. Not doing this
    breaks checking the exit code of  runghc Setup.lhs build  for example.
  2. Fix dependency information for RULES committed May 3, 2007
    A SpecInfo (inside IdInfo) keeps track of the free variables of a RULE
    so that the occurrency analyser knows about its dependencies.
    Previously it was only tracking the *rhs* free vars, but it should
    really include the *lhs* ones too.  See Note [Rule dependency info]
    in IdInfo.
    This fixes a WARNING when compiling some libraries.
  3. Less voluminous debug committed May 3, 2007
  4. Remove "__" prefix for forall when printing a RULE committed May 3, 2007
  5. Add the -ddump-mod-cycles flag to the user manual committed May 3, 2007
  6. Fix truncate on amd64 NCG; fixes arith005.

    igfoo committed May 3, 2007
    cvts[sd]2siq? ->
  7. Use a primop for getting the fields of the AP_STACK rather than an FF…

    Simon Marlow
    Simon Marlow committed May 3, 2007
    …I call
    This means we can avoid some StablePtrs, and also catch cases where
    the AP_STACK has been evaluated (this can happen with :history, see
    the hist001 test).
  8. improve the :list command

    Simon Marlow
    Simon Marlow committed May 3, 2007
    Now you can list source code in various ways:
      :list <line>
      :list <module> <line>
      :list <function>
  9. Only touch the configure stamp if configure succeeds

    igfoo committed May 3, 2007
    We don't touch $@ if configure failed as we would prefer to try
    configuring it next time round, rather than assuming it'll still fail.
    This is particularly important for corelibs, where failure means the
    build dies!
  10. Add history/trace functionality to the GHCi debugger

    Simon Marlow
    Simon Marlow committed May 3, 2007
    The debugger can now log each step of the evaluation without actually
    stopping, keeping a history of the recent steps (currently 50).  When
    a (real) breakpoint is hit, you can examine previous steps in the
    history (and their free variables) using the :history, :back and
    :forward commands.
  11. use extendInteractiveContext instead of custom code

    Simon Marlow
    Simon Marlow committed May 3, 2007
  12. use the reader part of the monad for the inScope set

    Simon Marlow
    Simon Marlow committed May 3, 2007
  13. Make coreSyn/CoreUtils.lhs compile

    igfoo committed May 3, 2007
    Use the right number of arguments in a panic case.
Commits on May 1, 2007
  1. Remove references to -fticky-ticky flag

    catamorphism committed May 1, 2007
    -ticky is the command-line flag for ticky-ticky profiling now, but
    internally, the -fticky-ticky flag was used to represent whether ticky
    was on. This led to link errors if the user supplied -fticky-ticky but
    not -ticky (ticky code would be generated but the wrong RTS library
    would be passed to the linker). I removed references to -fticky-ticky
    -- now, only the way flags dictate whether ticky is on, and
    -fticky-ticky is no longer accepted as a command-line option.
Commits on Apr 30, 2007
  1. Build arrows library if available

    alec committed Apr 30, 2007
    arrows is the only library in libraries/extra-packages not built when present