[project @ 2004-02-12 02:01:54 by mthomas]
Rejig haddock and alex.

[project @ 2004-02-11 09:19:01 by simonmar]
Happy 1.14 is needed to compile the HEAD these days.

[project @ 2004-02-10 17:55:24 by simonpj]
Always expose newtypes, at least for now (see comments)

[project @ 2004-02-10 17:54:50 by simonpj]
Comments only

[project @ 2004-02-09 17:23:20 by ross]
only uses FFI, not glasgow-exts.  also updated ffi syntax

[project @ 2004-02-09 17:21:33 by ross]
the H98 Report no longer says Char is 16 bits, plus a typo

[project @ 2004-02-09 15:04:19 by malcolm]
Some hints about compiling hsc2hs with nhc98.

[project @ 2004-02-07 16:37:06 by panne]
Simplifications + small steps towards a stand-alone hsc2hs:

 * Replaced Config module by a simple CPP macro
 * Don't #include configuration header
 * Bumped version number
 * Warning police

[project @ 2004-02-07 14:08:57 by panne]
Fixed ingenious sed magic for package configuration files.
Do we really need any sed mangling with gcc's -P option???

[project @ 2004-02-05 14:35:44 by panne]
* (Hopefully) made the recursive nature of autoreconf clear
* We don't need automake
* configure doesn't create a cache by default

[project @ 2004-02-05 09:46:22 by simonpj]
Mention autoreconf, not autoconf

[project @ 2004-02-04 15:12:41 by simonmar]
Remove $(SCRIPT_OBJS) from $(MOSTLY_CLEAN_FILES) (added in
prev. commit).  It turns out that we put actual sources in
$(SCRIPT_OBJS) in several places, so it does not consist of entirely
re-buildable things.

[project @ 2004-02-04 10:00:43 by simonmar]
Use parsec package when bootstrapping.

[project @ 2004-02-03 16:46:33 by simonpj]
Add comments about Template Haskell

[project @ 2004-02-03 10:50:46 by simonmar]
Go back to using $(OBJS) to build $(HS_PROG).

[project @ 2004-02-03 10:49:17 by simonmar]
Remove $(SCRIPT_OBJS) from $(OBJS) - it can't be serving any useful
purpose there.

[project @ 2004-02-02 10:49:20 by simonmar]
Accept '-}' at the end of a LINE pragma, in addition to '#-}', for
compatibility with GHC <= 4.08(!).

[project @ 2004-02-02 10:07:37 by simonmar]
Fix build

[project @ 2004-02-01 23:43:02 by dons]
typo in comment only: 'Browing' -> 'Browsing'

[project @ 2004-01-30 09:35:20 by simonmar]
On second thoughts, just use $(HS_OBJS) and $(C_OBJS) in the HS_PROG
rule.  We don't want SCRIPT_OBJS in there too.

[project @ 2004-01-28 17:26:48 by igloo]
Import getPrimRepSize, isFloatingRep, typePrimRep for alpha.

[project @ 2004-01-28 10:27:26 by simonmar]
Build $(HS_PROG) from $(OBJS), not $(HS_OBJS).  In general a Haskell
program might have C bits too, and we don't want to have to hack this
into the Makefile each time.

[project @ 2004-01-28 10:22:27 by simonmar]
Don't add C_OBJS to HS_OBJS.

[project @ 2004-01-28 10:04:25 by simonpj]
---------------------------------------
    Fix the WinME/98/95 double-backslash bug
  ---------------------------------------

Merge to stable branch, at least
once we are sure it's right

Backslashes should not be escaped in command-line arguments for rawSystem,
on Win32.  This only actually causes failures on WinME/98/95, and we can't
test that since we don't have it.  But this fix seems right regardless.

There are extensive new comments in libraries/base/System/Cmd.hs which
describe the issues.

[project @ 2004-01-27 14:41:22 by simonmar]
error message sorting wibble

[project @ 2004-01-27 09:16:27 by simonpj]
Comments only

[project @ 2004-01-26 11:47:16 by simonmar]
GHC 5.x is required for bootstrapping GHC these days.

[project @ 2004-01-26 10:04:42 by simonmar]
Fix error message printing

[project @ 2004-01-26 09:56:29 by simonmar]
unbreak the build

[project @ 2004-01-23 14:30:34 by simonmar]
For building GHC as a package, we need package.conf.in.

[project @ 2004-01-23 13:55:28 by simonmar]
Some small steps in the direction of making GHC useable as a library:

  - The ErrMsg type is now richer: we keep the location info and the
    PrintUnqualified separate until the message is printed out, and
    messages have a short summary and "extra info", where the extra
    info is used for things like the context info in the typechecker
    (stuff that you don't normally want to see in a more visual setting,
    where the context is obvious because you're looking at the code).

  - hscMain now takes an extra argument of type (Messages -> IO ()),
    which says what to do with the error messages.  In normal usage,
    we just pass ErrUtils.printErrorsAndWarnings, but eg. a development
    environment will want to do something different.  The direction we
    need to head in is for hscMain to *never* do any output to
    stdout/stderr except via abstractions like this.

[project @ 2004-01-23 13:46:49 by simonmar]
typo

[project @ 2004-01-23 13:44:52 by simonmar]
Changes to support building GHC as a package(!!)

[project @ 2004-01-23 13:42:40 by simonmar]
Small simplification

[project @ 2004-01-23 13:37:40 by simonmar]
Some tweaks for standalone packages

[project @ 2004-01-15 18:04:45 by ross]
The haskell-src package is no longer needed for bootstrapping.

[project @ 2004-01-15 14:43:17 by igloo]
Split Template Haskell out to its own package and update docs and tests.

[project @ 2004-01-12 15:47:50 by simonpj]
Wibble to kind inference; add zipWithM, zipWithM_ and use them

[project @ 2004-01-12 14:36:28 by simonpj]
Wibbles to exporting types abstractly

[project @ 2004-01-12 12:13:26 by simonpj]
Use PolyAlt when we dont know constructors

[project @ 2004-01-12 10:02:51 by simonpj]
Elaborate depreceated-pragma docs

[project @ 2004-01-11 14:43:14 by panne]
Fixed the previous commit: All lists of Strings in package configuration files
were split at commas to allow list-based variables, but this broke perfectly
sensible things like

   ["-Wl,-rpath,/usr/lib/jvm-bridge/lib/"]

into

   ["-Wl","-rpath","/usr/lib/jvm-bridge/lib/"]

which is plainly wrong. Now we do this *only* when a variable occurs on its own,
like:

   ["${deps}","foo"] => ["base","haskell98","network","foo"]

I have slight doubts about this obscure feature, but Sigbjorn seems to want
it...

Merge to STABLE

[project @ 2004-01-09 12:43:37 by simonmar]
Interesting - I'm not sure why the .lhs -> .raw-hs rule had an
explicit -cpp option in it, but the .hs -> .raw-hs rule didn't.
Remove it.

[project @ 2004-01-09 12:42:15 by simonmar]
Use gcc's -P option to avoid CPP #line droppings in the .hs -> .raw-hs rule.

[project @ 2004-01-09 12:41:12 by simonmar]
Add (missing?) -pgmdll option.  Remove duplicate -pgmP option.

[project @ 2004-01-09 12:37:27 by simonmar]
Comment previous commit.

[project @ 2004-01-09 12:36:54 by simonmar]
ooh, I didn't know about gcc's -P option.  Use it instead of hacky sed
script in .pp suffix rule.

[project @ 2004-01-09 12:09:23 by simonmar]
Remove extra space in 'Not in scope' error message.

[project @ 2004-01-08 15:26:44 by simonmar]
delayzh: Round *up* to nearest tick, not down

[project @ 2004-01-08 11:53:29 by simonpj]
---------------------------------------
Fix a long-standing CSE bug with unboxed tuples
  ---------------------------------------

Merge to stable

Consider
        case f x of
  (# a,b #) -> if a>0
       then f x -- CSE opportunity
       else (# b,a #)

 GHC 6.2's CSE pass wrongly optimised this to:

case f x of t
  (# a,b #) -> if a>0 then
  t -- WRONG
else (# b,a #)

(Wrong because we aren't allowed to mention a case binder for
an unboxed-tuple case.)

This commit fixes the problem.

[project @ 2004-01-08 10:45:33 by simonmar]
Fix warning message about missing Main module to refer to take into
account the -main-is flag.

[project @ 2004-01-08 10:34:02 by simonmar]
If a -main-is flag was given, with a module name, use *that* module
name rather than Main when deciding whether to link in batch mode or
not.

MERGE TO STABLE

[project @ 2004-01-06 18:50:22 by panne]
Removed unused macros

[project @ 2004-01-06 18:39:12 by panne]
Cleaned up libm detection

[project @ 2004-01-06 17:20:51 by panne]
Use new FP_CHECK_FUNC macro instead of the slightly obscure FPTOOLS_TRY_LINK_NOWARN

[project @ 2004-01-06 10:45:22 by simonmar]
Replace -ddump-all and -ddump-most with -v5 and -v4 respectively.

[project @ 2004-01-05 17:32:35 by simonmar]
Instead of grabbing the handle to the executable by calling
dlopen(NULL,...), use RTLD_DEFAULT as the handle to lookup symbols if
it is available.  It seems that RTLD_DEFAULT may be required on
certain systems, although I'm not sure it is available everywhere, so
I've left the old code as fallback in case it isn't available.

[project @ 2004-01-05 15:15:26 by igloo]
Use pprint rather than show . ppr to get String representations of TH
datastructures. Also moved pprint out of the class as we never want to
override it.

[project @ 2004-01-05 14:54:06 by simonmar]
Fix bug in genOutputFilenameFunc: the -keep-blah-files options weren't
being considered for the final phase.  Upshot: -keep-hc-files wasn't
working in --make mode (see driver060 & driver061 tests).

MERGE TO STABLE

[project @ 2004-01-05 12:11:42 by simonpj]
---------------------------------------
  Don't expose constructors as vigorously
  ---------------------------------------

GHC used to expose the constructors of a data type in the interface file,
even if (a) we were not optimising, and (b) the constructors are not exported.

In practice this isn't really necessary, and it's bad because it forces too
much recompilation.  I've been meaning to fix this for some while.

Now the data cons are hidden, even in the interface file, if both (a) and (b)
are true.  That means less interface file wobbling.

Mind you, the interface file still changes, because the to/from functions for
generic type classes change their types.  But provided you don't use them, you'll
get "compilation not required".

We could play the same game for classes (by hiding their class ops) but that'd
mean we'd have to change the data type for IfaceClassDecl, and I can't be
bothered to do that today.  It's unusual to have a class which exports none
of its methods anyway.

On the way, I changed the representation of tcg_exports and mg_exports (from
Avails to NameSet), but that should be externally invisible.

[project @ 2004-01-05 10:41:04 by simonpj]
Fix globaliseId wibble which was killing ghci

[project @ 2004-01-05 10:40:41 by simonpj]
Trim imports

[project @ 2004-01-05 09:35:39 by simonpj]
Buglet in desugaring instance declarations

[project @ 2004-01-05 09:35:00 by simonpj]
Pretty-print wibbles following Ians changes to TH libs

[project @ 2004-01-05 08:20:39 by simonpj]
Dont report deprecations arising from uses in the export list

[project @ 2004-01-04 01:48:04 by igloo]
Split the pretty-printer out - pprint will now give you pretty much
anything you are likely to want to pretty-print as a String. For a Doc
you need (to_HPJ_Doc . ppr), which could be made nicer if it is widely
used.

Also took the opportunity to do a bit of module renaming and fixed the
odd typo here and there.

[project @ 2003-12-31 16:55:17 by simonpj]
point to bash, not sh

[project @ 2003-12-31 08:23:25 by simonpj]
-----------------------------
        Improve deprecation reporting
-----------------------------

[PS: the 1.31 commit of basicTypes/RdrName.lhs
 also belongs in this commit.]

Up to now, deprecated functions are only reported when imported
from the module defining them, but not when re-exporting.  This
seems wrong -- often a "root" module gathers exports from sub-modules.

It turned out that there was a structural problem: the deprectaions
were getting put in the GlobalRdrEnv, and it simply doesn't have
the defining-module's interface to hand.

So this commit removes gre_deprec from GRE, and moves deprecation
reporting from the individual occurrences (RnEnv.lookupGreRn) to
RnNames.reportUnusedNames.  In many ways this is a better place for it,
because there we get a global view of the entire module.  For example,
repeated use of a single deprecated thing will only give rise to one
warning instead of multiple warnings.

So here's what we now get:

  Foo.hs:3:0:
    Warning: Deprecated use of Variable `withObject'
     (imported from Foreign.Marshal, but defined in Foreign.Marshal.Utils)
     use `with' instead

[project @ 2003-12-31 08:21:52 by simonpj]
Trim imports

[project @ 2003-12-30 20:51:24 by simonpj]
Fix imports

[project @ 2003-12-30 20:24:21 by simonpj]
Typo

[project @ 2003-12-30 16:29:17 by simonpj]
----------------------------
        Re-do kind inference (again)
----------------------------

   [WARNING: interface file binary representation has
   (as usual) changed slightly; recompile your libraries!]

Inspired by the lambda-cube, for some time GHC has used
type Kind = Type
That is, kinds were represented by the same data type as types.

But GHC also supports unboxed types and unboxed tuples, and these
complicate the kind system by requiring a sub-kind relationship.
Notably, an unboxed tuple is acceptable as the *result* of a
function but not as an *argument*.  So we have the following setup:

 ?
/ \
       /   \
      ??   (#)
     /  \
            *   #

where *    [LiftedTypeKind]   means a lifted type
#    [UnliftedTypeKind] means an unlifted type
(#)  [UbxTupleKind]     means unboxed tuple
??   [ArgTypeKind]      is the lub of *,#
?    [OpenTypeKind] means any type at all

In particular:

  error :: forall a:?. String -> a
  (->)  :: ?? -> ? -> *
  (\(x::t) -> ...) Here t::?? (i.e. not unboxed tuple)

All this has beome rather difficult to accommodate with Kind=Type, so this
commit splits the two.

  * Kind is a distinct type, defined in types/Kind.lhs

  * IfaceType.IfaceKind disappears: we just re-use Kind.Kind

  * TcUnify.unifyKind is a distinct unifier for kinds

  * TyCon no longer needs KindCon and SuperKindCon variants

  * TcUnify.zapExpectedType takes an expected Kind now, so that
    in TcPat.tcMonoPatBndr we can express that the bound variable
    must have an argTypeKind (??).

The big change is really that kind inference is much more systematic and
well behaved.  In particular, a kind variable can unify only with a
"simple kind", which is built from * and (->).  This deals neatly
with awkward questions about how we can combine sub-kinding with type
inference.

Lots of small consequential changes, especially to the kind-checking
plumbing in TcTyClsDecls.  (We played a bit fast and loose before, and
now we have to be more honest, in particular about how kind inference
works for type synonyms.  They can have kinds like (* -> #), so

This cures two long-standing SourceForge bugs

* 753777 (tcfail115.hs), which used erroneously to pass,
  but crashed in the code generator
      type T a = Int -> (# Int, Int #)
      f :: T a -> T a
      f t = \x -> case t x of r -> r

* 753780 (tc167.hs), which used erroneously to fail
      f :: (->) Int# Int#

Still, the result is not entirely satisfactory.  In particular

* The error message from tcfail115 is pretty obscure

* SourceForge bug 807249 (Instance match failure on openTypeKind)
  is not fixed.  Alas.

[project @ 2003-12-30 14:05:46 by simonpj]
Import trimming

[project @ 2003-12-28 13:09:43 by panne]
Added prototype for initAdjustor

[project @ 2003-12-28 13:02:46 by panne]
Warning police + a little cleanup of #ifdefs relating to execPage. Added two
TODOs on the way (an adjustor spanning two pages + calling initAdjustor at RTS
startup). Note that execPage is still disabled (why?).

[project @ 2003-12-23 10:10:53 by simonmar]
Add performMajorGC

[project @ 2003-12-22 16:27:10 by simonmar]
Fix threaded RTS problem that is currently causing the conc007 test to
loop indefinitely.  Comment from the source regarding this change:

/* Major bogosity:
 *
 * In the threaded RTS, we can't set the virtual timer because the
 * thread which has the virtual timer might be sitting waiting for a
 * capability, and the virtual timer only ticks in CPU time.
 *
 * So, possible solutions:
 *
 * (1) tick in realtime.  Not very good, because this ticker is used for
 *     profiling, and this will give us unreliable time profiling
 *     results.  Furthermore, this requires picking a single OS thread
 *     to be the timekeeper, which is a bad idea because the thread in
 *     question might just be making a temporary call into Haskell land.
 *
 * (2) save/restore the virtual timer around excursions into STG land.
 *     Sounds great, but I tried it and the resolution of the virtual timer
 *     isn't good enough (on Linux) - most of our excursions fall
 *     within the timer's resolution and we never make any progress.
 *
 * (3) have a virtual timer in every OS thread.  Might be reasonable,
 *     because most of the time there is only ever one of these
 *     threads running, so it approximates a single virtual timer.
 *     But still quite bogus (and I got crashes when I tried this).
 *
 * For now, we're using (1), but this needs a better solution. --SDM
 */

[project @ 2003-12-19 10:41:14 by simonmar]
Fix DEBUG & !RTS_SUPPORTS_THREADS build (bogus assertion failure)

[project @ 2003-12-19 10:39:54 by simonpj]
Accept unboxed tuples in type signatures

[project @ 2003-12-19 10:34:51 by simonpj]
---------------------------------------
  Precise locations for duplicate imports
  ---------------------------------------

As a displacment activity I added reporting for duplicate imports
And more precise locations for the imports themselves.  For example:

  module T where

  import Maybe (isJust,isJust)
  import Maybe (isJust)

gives

Foo.hs:
    Warning: `isJust' is imported more than once:
       imported from Maybe at Foo.hs:4:16-21
       imported from Maybe at Foo.hs:3:23-28
       imported from Maybe at Foo.hs:3:16-21

[project @ 2003-12-18 21:37:56 by panne]
Patch from Andres Loeh: Generate the *.raw-hs files with the inplace
GHC, otherwise one runs into a "fixed-point" problem where only
documentation known to the bootstrapping GHC could be built.

[project @ 2003-12-18 21:34:31 by panne]
Synched with latest changes in Hugs' aclocal.m4 (wglGetProcAddress
fiddling)

[project @ 2003-12-18 13:29:23 by simonmar]
Optimisation in awaitEvent(): reset the abandonRequestWait() signal if
it isn't needed (compensates for not using PulseEvent() in
abandonRequestWait(), see AsyncIO.c for details).

Code cleanup in awaitEvent(): don't test the various exit conditions twice.

[project @ 2003-12-18 13:27:27 by simonmar]
Fix some threaded RTS bugs:

 - in awaitRequests(), it was possible to return immediately even
   though wait was set to rtsTrue.  This lead to a busy wait loop,
   so I've disabled that case (see code for details).

 - using PulseEvent in abandonRequestWait() wasn't the right thing,
   because it exposed a race condition.  Again, see the comment in
   the code for details.

[project @ 2003-12-18 12:24:59 by simonmar]
Add missing 'continue' after 'passCapability'

[project @ 2003-12-18 10:46:49 by simonmar]
- make --disable-foo work for each of the --enable options
- tidyup: use AC_HELP_STRING everywhere

[project @ 2003-12-18 09:55:17 by simonmar]
no_glu is spelled no_GLU, and similarly for no_GLUT

[project @ 2003-12-18 09:32:07 by simonmar]
Undo part of previous merge: the HEAD doesn't export saved_termios (it
is accessed by functions in RtsStartup instead).

[project @ 2003-12-17 17:29:28 by sof]
merge rev. 1.106.2.3

[project @ 2003-12-17 17:18:27 by sof]
merge rev. 1.128.2.11

[project @ 2003-12-17 12:17:18 by simonmar]
Fix up following changes to the Capability API.  (strange, I'm *sure*
I tested this stuff...)

[project @ 2003-12-17 11:43:13 by simonpj]
---------------------------------
  Gate in a few more instance decls
  ---------------------------------

When we have
instance T a where...

we need to suck in the instance decl rather more aggressively than we
were.  (A case I hadn't thought of because it only happens with
undecideable instances.)

[project @ 2003-12-17 11:29:40 by simonpj]
-----------------------------------------------------
  Fix a subtle loop in the context-reduction machinery
  ----------------------------------------------------

This bug was provoked by a recent change: when trying to prove
a constraint C, TcSimplify.reduce now adds C to the database before
trying to prove C, thus building recursive dictionaries.

Two bugs
a) If we add C's superclasses (which we were) we can now build a
   bogusly-recursive dictionary (see Note [SUPERCLASS-LOOP]).
   Solution: in reduce, add C only (via addIrred NoSCs) and then
   later use addWanted to add its definition plus SCs.

b) Since we can have recursive definitions, the superclass-loop
   handling machinery (findAllDeps) must carry its visited-set
   with it (which it was not doing before)

The main file is TcSimplify; but I modified a bunch of others to
take advantage of new function extendVarSetList

[project @ 2003-12-17 08:38:14 by panne]
To get wglGetProcAddress on Windows, we have to link with
opengl32.dll, too, even when we are using Cygwin with X11.

[project @ 2003-12-16 16:24:55 by simonpj]
--------------------
Towards type splices
--------------------

Starts the move to supporting type splices, by making
HsExpr.HsSplice a separate type of its own, and adding
HsSpliceTy constructor to HsType.

[project @ 2003-12-16 16:24:42 by simonpj]
Trim exports

[project @ 2003-12-16 16:24:24 by simonpj]
Typo in comment

[project @ 2003-12-16 16:23:25 by simonpj]
Fix newtype deriving for Enum

[project @ 2003-12-16 16:21:42 by simonpj]
Remove unused parameter to groupAvails

[project @ 2003-12-16 16:19:29 by simonpj]
Dont report bindings beginning with _ as unused