[project @ 2003-11-11 10:05:11 by simonmar]
wibble

[project @ 2003-11-10 12:05:04 by simonpj]
Corner case fix for -fundecidable-instances

[project @ 2003-11-10 12:04:25 by simonpj]
Better error message for ghc --show-iface, with no file supplied

[project @ 2003-11-10 11:23:54 by simonmar]
Make 'ghc --show-iface' give a reasonable error message on old
interface files again.  We previously disabled the version check for
--show-iface so that you could run --show-iface on a profiled
interface file, but this disabled too much error checking.  Really we
just want to disable the 'way' check, not the whole version check.

HEADS UP: interface format changed.  Recompile libraries.

[project @ 2003-11-10 09:48:38 by simonpj]
Add assertErrorName to the known-key names

[project @ 2003-11-06 17:09:50 by simonpj]
------------------------------------
Major increment for Template Haskell
------------------------------------

1.  New abstract data type "Name" which appears where String used to be.
    E.g.  data Exp = VarE Name | ...

2.  New syntax 'x and ''T, for quoting Names.  It's rather like [| x |]
    and [t| T |] respectively, except that

a) it's non-monadic:  'x :: Name
b) you get a Name not an Exp or Type

3.  reify is an ordinary function
reify :: Name -> Q Info
    New data type Info which tells what TH knows about Name

4.  Local variables work properly.  So this works now (crashed before):
f x = $( [| x |] )

5.  THSyntax is split up into three modules:

  Language.Haskell.TH TH "clients" import this

  Language.Haskell.TH.THSyntax data type declarations and internal stuff

  Language.Haskell.TH.THLib Support library code (all re-exported
by TH), including smart constructors and
pretty printer

6.  Error reporting and recovery are in (not yet well tested)

report :: Bool {- True <=> fatal -} -> String -> Q ()
recover :: Q a -> Q a -> Q a

7.  Can find current module

currentModule :: Q String

Much other cleaning up, needless to say.

[project @ 2003-11-06 10:31:55 by simonmar]
Add a separate --help message for GHCi.

[project @ 2003-11-06 09:42:45 by simonpj]
Import all instances in cases like C (a b)

[project @ 2003-11-05 14:52:28 by simonpj]
Part 2 of previous commit (fixes to derivable type classes)

[project @ 2003-11-05 14:51:53 by simonpj]
Fixes to derivable type classes; should work now

[project @ 2003-11-05 11:39:38 by simonpj]
Fix a stupid error in interactive environment handling (not present in STABLE)

[project @ 2003-11-04 13:15:20 by simonpj]
Beginnings of VarBr

[project @ 2003-11-04 13:14:06 by simonpj]
Remove dead code

[project @ 2003-11-04 00:38:34 by dons]
Error out if user tries to use in-tree GMP on mips.
Too many arithmetic errors in the resulting compiler otherwise.

[project @ 2003-11-03 17:26:04 by simonmar]
Remove references to non-existent g3 function.

[project @ 2003-11-03 17:24:41 by simonmar]
Remove references to Haskell 1.4, replace with up to date Haskell 98
references.  Includes removing a comment about the fact that Haskell
1.4 didn't have principle types (Haskell 98 fixed that bug).

[project @ 2003-11-03 16:00:57 by simonpj]
Wibbles to pretty printing of types

[project @ 2003-11-03 15:27:32 by simonpj]
Missing cases in isLiftedTypeKind etc

[project @ 2003-11-03 15:27:08 by simonpj]
Wibble to subordinate names

[project @ 2003-11-03 15:26:22 by simonpj]
The generic to/from methods for derivable type classes should only
be generated for types in the current group, rather than all the
in-scope tycons.  Otherwise they get generated multiple times in
a Template-Haskell situation.

[project @ 2003-11-03 12:25:39 by simonmar]
Add some I/O error checking so that an error when writing the output
file will correctly result in a non-zero exit code.

Currently, if you try to compile a literate Haskell file and /tmp is
full, unlit will write an empty file and exit successfully, leading to
confusing behaviour.

[project @ 2003-11-03 10:22:21 by simonmar]
merge rev. 1.9.6.2 to the HEAD (remove comment about multiple Main modules)

[project @ 2003-11-03 10:11:04 by simonmar]
merge rev. 1.9.6.1 to the HEAD (add overflown relocs bug)

[project @ 2003-11-02 06:55:24 by dons]
More RTLD_* symbols are now available on OpenBSD.
This does not mean that ghci works yet, though.

[project @ 2003-11-01 23:43:13 by panne]
Synched with hugs98 repository again (X_FLAGS handling this time)

Merge to STABLE.

[project @ 2003-11-01 20:05:57 by panne]
Synched with latest changes in hugs98 repository (finding "find" plus
#ifdef massage). Some common autoconf macro directory would be really
handy: ToDo...

[project @ 2003-11-01 01:52:01 by sof]
expandEnvVars.expandStrings: flatten the expanded strings so as to
permit a substitution to expand into multiple elements of the final
list.

merge to stable.

[project @ 2003-11-01 01:01:18 by sof]
Maintain order of 'objs' when adding them to v_Ld_inputs.
Fixes ghc-6.x linking bug when .a's are given explicitly
on the command-line.

merge to stable.

[project @ 2003-10-31 23:24:47 by sof]
tidy up siginterrupt() use

[project @ 2003-10-31 23:23:43 by sof]
check for siginterrupt()

[project @ 2003-10-31 16:48:45 by sof]
prog_name: use '\' as separator with mingw builds.

merge to stable

[project @ 2003-10-31 16:22:11 by sof]
Report max heap in Mbytes as well.

merge to stable

[project @ 2003-10-31 16:21:27 by sof]
win32: in case of a heap overflow, report this via heapOverflow(), and not
       by panic'ing.

merge to stable.

[project @ 2003-10-31 12:57:59 by simonpj]
Wibble to TH -> HsSyn conversion

[project @ 2003-10-31 12:57:15 by simonpj]
Trim exports

[project @ 2003-10-31 12:56:50 by simonpj]
Pretty-printing wibble; fixes many tests

[project @ 2003-10-30 16:01:49 by simonpj]
This commit does a long-overdue tidy-up

* Remove PprType (gets rid of one more bunch of hi-boot files)

* Put pretty-printing for types in TypeRep

* Make a specialised pretty-printer for Types, rather than
  converting to IfaceTypes and printing those

[project @ 2003-10-30 10:14:59 by simonpj]
1.  When desugaring a [d| ... |], do not gensym the method names of
    an instance declaration, else we get very confused!

2.  We don't need to make fresh Names in DsMeta.mkGenSym, because
    the existing Name will do, I believe.  We'll do the genSym when
    we *run* the splice.  (This stuff makes my head hurt.)

    Assuming this is so, we can simplify the mkGenSym stuff still more.

[project @ 2003-10-30 10:12:39 by simonpj]
Wibble

[project @ 2003-10-30 09:38:14 by simonpj]
Improve panic msg

[project @ 2003-10-30 09:37:57 by simonpj]
Formatting only

[project @ 2003-10-30 09:33:30 by simonpj]
Updating TH; not finished

[project @ 2003-10-30 09:03:15 by simonpj]
Remove redundant param from allUses

[project @ 2003-10-30 09:01:31 by simonpj]
Tiny code simplification (allUses)

[project @ 2003-10-29 19:05:55 by simonpj]
Add info about compiling the Main module

[project @ 2003-10-29 18:14:27 by simonpj]
Fix a bad consequence of the new story for the generic toT/fromT functions
derived from data types declarations. The problem was that they were being
generated and then discarded by the simplifier, because there was nothing
keeping them alive.

This commit
  * Adds a field tcg_keep to the TcGblEnv, which records things
    to be kept alive;

  * Makes the desugarer pin the keep-alive flag on each binding
    (it's actually a call to setIdLocalExported)

  * Removes that job from updateBinders in SimplCore

It's somewhat tiresome, but not really difficult.

[project @ 2003-10-29 18:10:57 by simonpj]
Put to and from the correct way round

[project @ 2003-10-29 18:10:25 by simonpj]
Print info about orphan rules and instances

[project @ 2003-10-29 18:10:14 by simonpj]
Squish bogus warning

[project @ 2003-10-29 17:58:16 by ross]
don't recognise (| or (# if followed by a symbol character, e.g. (||)

good for STABLE, I hope

[project @ 2003-10-29 17:04:13 by simonpj]
Declaration splices should shadow the top-level environment

[project @ 2003-10-29 16:12:00 by wolfgang]
Add support for .bss (zero-initialized) sections on Mac OS X

Merge to stable.

[project @ 2003-10-28 13:15:58 by simonpj]
Wibbles about argument variance

[project @ 2003-10-27 14:08:46 by simonpj]
Fix to super-class loop avoidance code; commented in the file; tcrun020 tests

[project @ 2003-10-27 14:08:04 by simonpj]
Improve duplicate-instance reporting; swap inst-env param order

[project @ 2003-10-27 14:07:01 by simonpj]
Comments only

[project @ 2003-10-27 14:06:06 by simonpj]
Always qualify in defaultErrStyle

[project @ 2003-10-27 14:05:17 by simonpj]
Improve error message when iface decl not found

[project @ 2003-10-27 14:04:28 by simonpj]
Eliminate bogus warning

[project @ 2003-10-27 14:03:59 by simonpj]
Remove unused function dontAddErrLoc

[project @ 2003-10-24 14:45:38 by stolz]
Initialize hp_file for heap profiling (code stolen from Profiling.c).
This bug might suggest some general reviewing of this code-path...

Closes: SF bug [ 827485 ] Heap profile w/ debugging RTS dumps core
http://sourceforge.net/tracker/index.php?func=detail&aid=827485&group_id=8032&atid=108032

[project @ 2003-10-24 11:45:40 by simonmar]
Fix bugs in previous commit.

[project @ 2003-10-24 09:56:45 by simonmar]
When allocating a large object in gen 0, update the n_large_blocks
count.  I think this is just an accounting issue, and doesn't actually
cause a space leak, but it does result in an assertion failure when
running with sanity checking on.

[project @ 2003-10-24 09:52:51 by simonmar]
Remove a comment that appears to contradict the code.

[project @ 2003-10-24 09:00:59 by simonmar]
Set the mut_link of a MUT_ARR_PTRS_FROZEN to NULL.  This might be the
cause of the stage2 crash; I'll check as soon as the build completes.

[project @ 2003-10-23 12:23:00 by simonmar]
Add missing -optF flag.

[project @ 2003-10-23 12:22:37 by simonmar]
Fix markup

[project @ 2003-10-23 11:24:43 by simonpj]
Another HsForAllTy wibble

[project @ 2003-10-23 10:13:18 by simonmar]
Add missing table of -opt<blah> options.

[project @ 2003-10-23 08:06:48 by simonpj]
Wibble for HsForAllTy

[project @ 2003-10-22 16:25:42 by simonpj]
Do foralls right in the renamer

[project @ 2003-10-22 15:00:59 by simonmar]
Fix a nasty bug in the GC mutable list handling, which shows up when
an array is frozen and then unsafeThaw#'d.  The array could end up on
the mutable list twice.

Fixes SourceForge bug #819116.

[project @ 2003-10-22 14:31:09 by simonmar]
- In GHCi & Template Haskell, give a warning for things mentioned
  on the command line that we don't recognise, and then ignore them.
  In batch mode, these are still passed to the linker as before.

- Clean up & rename the filename-suffix recognising functions in
  DriverPhases. There's probably a better place for these, but I've left
  them where they are for now.

[project @ 2003-10-22 11:11:59 by simonmar]
thread_stack(RET_BCO): Grab the pointer to the BCO *before* threading
it.  Fixes crashes when using compacting GC with GHCi.

I noticed while debugging this that compacting GC is horrendously slow
now, which might have something to do with the new eval/apply PAP
layouts.  That's something to investigate later.

[project @ 2003-10-22 08:54:36 by dons]
mips64-sgi-irix6.5 works unregisterised

[project @ 2003-10-21 13:14:12 by simonpj]
Wibbles

[project @ 2003-10-21 12:54:17 by simonpj]
1. A tiresome change to HsType, to keep a record of whether or not
   the HsForAll was originally explicitly-quantified.  This is
   solely so that the type checker can print out messages that
   show the source code the programmer wrote.  Tiresome but
   easy.

2. Improve reporting of kind errors.

[project @ 2003-10-21 12:52:58 by simonpj]
Show generic-ness when printing a data decl

[project @ 2003-10-21 12:48:57 by simonpj]
Wibble to reporting duplicate instance decls

[project @ 2003-10-21 12:36:29 by simonpj]
Report duplicate instance declarations

[project @ 2003-10-21 11:51:15 by stolz]
Save one fcntl-call in setNonBlockingFd when Fd is already non-blocking.

Please merge.

[project @ 2003-10-21 11:42:30 by simonmar]
Change the filename policies (again).  Now the interface file and
object file always follow the source file unless the -odir or -hidir
options are specified.

[project @ 2003-10-21 11:25:40 by simonmar]
Add a FAQ entry for Ctrl-D and EOF.

[project @ 2003-10-21 10:06:33 by simonmar]
Clarify one paragraph in the recompilation checker section (I hope).

[project @ 2003-10-21 03:38:07 by sof]
stg_InstallConsoleEvent(): registering generic_handler() once will do

[project @ 2003-10-20 18:50:45 by panne]
Fixed previous commit. Negation is the root of all evil... :-)

[project @ 2003-10-20 17:15:27 by sof]
Console event handling support (i.e., Haskell-side support for SIGINT under win32).

win32/ConsoleHandler.h implements the Signals.h API. No library support
for installing user event handlers included in this commit.

[project @ 2003-10-20 15:56:23 by simonmar]
Check type of wint_t

[project @ 2003-10-20 14:04:07 by simonpj]
Wibble to the last commit; report derived warnings with -dppr-debug

[project @ 2003-10-20 14:02:19 by simonpj]
Suppress renamer warnings (such as unused variables) when
renaming stuff generated by 'deriving' code.

[project @ 2003-10-20 08:52:36 by simonmar]
merge rev. 1.60.2.1 (appears to have been committed on the branch by mistake).

[project @ 2003-10-17 17:52:33 by panne]
Add config.cache to DIST_CLEAN_FILES and remove autom4te.cache subdir
for every clean* target

[project @ 2003-10-16 20:54:12 by sof]
printStackChunk(): attempt to handle RET_FUNs

[project @ 2003-10-16 10:19:27 by simonpj]
When type-checking an interface in --make, when the source file hasn't
changed, we must bring into scope all the things defined in the interface.
This was breaking --make badly.

The epicentre here is TcIface.typecheckIface

[project @ 2003-10-14 15:03:04 by simonpj]
..and make RnExpr match RnSource too

[project @ 2003-10-14 14:58:44 by panne]
Synched .hi-boot files with reality (untested)

[project @ 2003-10-13 18:33:01 by sof]
supply missing AC_DEFINE_UNQUOTED() descr arg

[project @ 2003-10-13 14:54:37 by simonpj]
Type error cosmetics

[project @ 2003-10-13 10:43:02 by simonpj]
Deal corectly with rules for Ids defined in this module,
even when they are imported (as orphans) from other modules.

The epicentre for this stuff is SimplCore.

[project @ 2003-10-13 10:41:43 by simonpj]
Add idIsFrom