[project @ 2002-05-29 13:09:24 by simonpj]
Wibble to previous commit on negative literals in patterns (fixes crash in GHC/Real.lhs)

[project @ 2002-05-29 13:06:02 by simonpj]
Document GHC-mingw vs GHC-cygwin

[project @ 2002-05-28 21:52:06 by sof]
setMode: permit (redundant) setting of same mode flag

[project @ 2002-05-28 09:22:08 by wolfgang]
Preliminary support for GCC 3.1 on MacOS X

[project @ 2002-05-28 08:38:19 by simonpj]
Fix assert

[project @ 2002-05-27 16:13:42 by simonpj]
Make negative literals work in patterns

The issue here is that

f (-1) = True
f x    = False

should generate

f x = x == negate (fromInteger 1)

rather than

f x = x == fromInteger (-1)

[project @ 2002-05-27 16:13:32 by simonmar]
Remove u2i, it was identical to getKey.

[project @ 2002-05-27 16:12:35 by simonmar]
Use Unique.getKey instead of Unique.u2i (they are the same function).

[project @ 2002-05-27 16:11:42 by simonmar]
Update copyright

[project @ 2002-05-27 15:28:07 by simonpj]
Allow infix type constructors

This commit adds infix type constructors (but not yet class constructors).
The documentation describes what should be the case.  Lots of tiresome
changes, but nothing exciting.

Allows infix type constructors everwhere a type can occur, and in a data
or type synonym decl.  E.g.

data a :*: b = ....

You can give fixity decls for type constructors, but the fixity decl
applies both to the tycon and the corresponding data con.

[project @ 2002-05-27 10:20:20 by simonpj]
Build TyDecl and ConDecl with the RdrHsSyn constructors, so the SysNames are right

[project @ 2002-05-24 09:52:12 by simonpj]
speakNth works for 11,12,13

[project @ 2002-05-23 15:51:26 by simonpj]
Don't report ambiguity errors
if other type errors have happened

This saves a gratuitous error cascade when the type checker
recovers from one error by giving f type (forall a.a), and
then find an ambiguity problem as a direct result.

[project @ 2002-05-23 15:49:07 by simonpj]
Bug-fix for validity checking of type synonyms

[project @ 2002-05-23 15:37:32 by simonpj]
Reject type arguments gracefully

[project @ 2002-05-22 18:36:19 by sof]
HC_SPLIT_POST: reduce the risk of exceeding command line length limits.

[As was, constructing the relocatable ".o"s from split object files
failed with stuff inside of libraries/haskell-src/Language/Haskell/
under cygwin(&bash).]

[project @ 2002-05-22 09:02:40 by simonmar]
We don't pass --old-ghc to Happy any more.  Also, wire $(HappyOpts) to
-agc in config.mk rather than passing it through from configure, since
it was always the same anyhow.

[project @ 2002-05-21 14:58:49 by wolfgang]
Bug-fixes for PowerPC
*) Rewrote StgRun in assembler (that seems to be the cleanest way to get it to work).
*) Fixed a small typo in createAdjustor.

[project @ 2002-05-21 13:43:59 by simonpj]
Parse External Core correctly

Amazingly, recursive bindings with only one binding in the
group were being parsed as non-recursive.

[project @ 2002-05-18 05:28:14 by ken]
Add missing va_end's to va_start's.

[project @ 2002-05-17 09:03:13 by simonmar]
If we have a Happy version 1.13 or later, turn on the --old-ghc option
for now.

[project @ 2002-05-17 08:21:51 by simonpj]
Wibble

[project @ 2002-05-17 08:13:08 by simonpj]
Win32 updates from Simon

[project @ 2002-05-15 20:25:10 by sof]
make prev commit work

[project @ 2002-05-15 19:46:11 by sof]
Assume the presence of a Bits Int32 instance only

[project @ 2002-05-15 18:20:28 by sof]
add Main.hi to CLEAN_FILES to cope with the fact that HaskTags.hs is rooming the Main module

[project @ 2002-05-15 08:59:58 by chak]
* Added the options `-ffi' and `-fffi', which switch on FFI support
  (`-fglasgow-exts' implies `-fffi').

  NB: Strictly speaking `-fffi' is the correct name; however, `-ffi' is
      supported as an alternative spelling.

* `-fglasgow-exts' no longer enables the `with' keyword for implicit
  parameters.  To use `with' as a keyword, the additional option `-fwith' has
  to be supplied.  (Note that SimonM recently enabled the use of `let' instead
  of `with'.)

  NB: This might prompt some makefile tweaks in libraries or regression tests.

* Renamed `Foreign.Marshal.Utils.withObject' to `Foreign.Marshal.Utils.with'
  as required by the FFI Addendum.  (The old name is still available, but
  marked as deprecated.)

* Added `realloc' to `Foreign.Marshal.Alloc' (tracking RC4 of the FFI
  Addendum).

Docu
~~~~
* Added `-ffi', `-fffi', and `-fwith' to the flag reference and the section
  describing options for Glasgow extensions

* Removed most of the FFI section in the User's Guide in favour of a reference
  to the Addendum plus a brief description of additional features supported by
  GHC.

  NB: The old material is still available at fptools/docs/, I merely removed
  the reference in the User's Guide.

[project @ 2002-05-14 08:30:34 by matthewc]
* Note that ia64-linux works unregisterised and a registerised port is in
  progress.
* Recommend bootstrapping from a machine of the same word size :)

[project @ 2002-05-14 08:27:11 by matthewc]
Make adjustor unavailability on a particular platform a runtime barf
instead of an #error (to allow the remainder of ghc to function without
architecture-specific support)

[project @ 2002-05-14 08:25:46 by matthewc]
Bootstrapping fixes:
* Correct includes and libraries to use new libraries/ tree
* Check UseGhcForCc for "YES" instead of ""

[project @ 2002-05-14 08:23:11 by matthewc]
Need #include <stdlib.h> for malloc (otherwise the C compiler will
assume the return value is an int, with bad results)

[project @ 2002-05-14 08:17:38 by matthewc]
Round up GMP allocation requests to a whole number of StgWords
(GMP limbs are not necessarily an StgWord in size)

[project @ 2002-05-14 08:15:49 by matthewc]
IA64 only changes:
* Place HEAP_BASE in an appropriate place
* On IA64, use GCC "section" attribute to coax compiler into putting info
  tables in .text

[project @ 2002-05-14 08:09:07 by matthewc]
* Add ia64-*-linux* as a recognised system type
* Standardise capitalisation of YES and NO in HaveLibGmp
* Error out if user tries to use in-tree GMP on IA64 (results in hangs
  and segfaults - it probably needs an upgrade sometime)

[project @ 2002-05-11 13:58:18 by sof]
Have createThread() use a separate mutex to ensure unique
allocation of ThreadIds. A less-than-light solution, but
cleaner than trying to reuse sched_mutex for this purpose.

[project @ 2002-05-11 10:02:21 by panne]
Include hschooks.h via a global option to get ghc_strlen's
prototype. It's too omnipresent for per-file OPTIONS.

[project @ 2002-05-11 00:16:11 by sof]
As a result of calling exitScheduler(), enter into a
'shutting-down' state, so that the subsequent (sequential)
execution of finalisers won't get stuck inside the
Scheduler waiting for more work.

Cleanest way I could think of solving this problem on a
Friday afternoon.

[project @ 2002-05-10 22:02:02 by sof]
stopTaskManager(): no seppuku, please.

[project @ 2002-05-10 20:44:29 by panne]
Re-enable bootstrapping: More Ptr trouble, now that it's (almost) abstract...

[project @ 2002-05-10 13:34:18 by simonpj]
Remove {| |} syntax from expressions; never fully implemented

[project @ 2002-05-10 12:43:02 by simonpj]
If a type signature mentions a type variable that doesn't appear in
the type, GHC was dying horribly. Example (from happy -s):

type T a = () -> ()

f :: T a
f () = ()

This commit fixes the problem.

[project @ 2002-05-08 07:26:36 by sof]
summarise{File}: filter out GHC.Prim from import lists

[project @ 2002-05-07 22:44:41 by sof]
undo the undo; just me being confused.

[project @ 2002-05-07 18:08:24 by sof]
backing out lazyGet'ing of usages; introduces bad breakage w/ GHCi

[project @ 2002-05-07 09:47:27 by simonmar]
Mystery at least partially solved: it appears that in the FreeBSD
catalog we must list the iso8859 catalog *before* the docbook catalog,
otherwise things don't work properly.

[project @ 2002-05-07 04:58:15 by sof]
fprintf_ccs(): use snprintf() only if available

[project @ 2002-05-07 00:46:09 by sof]
downsweep.getSummary: keep track of the module a particular ModuleName
stems from, so that we can emit a better error message should the
module be out of scope - e.g.,

   sna$ ghc --make -iutil Foo.hs
   ghc.exe: chasing modules from: Foo.hs
   ghc.exe: can't find module `Xyzz' (while processing "util/Bar.hs")
   sna$

[project @ 2002-05-06 08:31:29 by simonmar]
Slurp the usages information lazilly from the interface file.  In most
cases we don't need it at all: we only use it when we're loading a
module's interface file to check whether the module needs recompiling.

[project @ 2002-05-06 08:30:05 by simonmar]
- Make the mi_usages and mi_deprecs fields of ModIface lazy again
  (mi_deprecs was already slurped lazilly from the interface file, but
  the strictness annotation on its field meant it was actually slurped
  strictly.  We're about to slurp mi_usages lazilly too.)

[project @ 2002-05-05 17:03:54 by panne]
Simon Sez: "Don't use -s!"

[project @ 2002-05-03 13:09:47 by simonmar]
In the get method for FastString, do the dictionary lookup strictly
(speeds things up and reduces the residency by a few k).

[project @ 2002-05-03 11:25:58 by simonmar]
seqList the result of mkImportInfo: this fixes a space leak whereby
the entire collection of Ifaces read by the renamer were being held on
to during the core-to-core phases.

[project @ 2002-05-03 11:23:41 by simonmar]
I fluffed the seqList call in the previous revision, so it wasn't
actually doing anything.  I've verified that fixing it properly *does*
remove a space leak.

[project @ 2002-05-03 11:10:47 by simonmar]
Eliminate a duplicate binding

[project @ 2002-05-02 14:37:27 by simonmar]
Overhaul:

  - Fix the markup in various ways, and indent it so it doesn't look
    so much like it was machine-generated by a badly written perl
    script

  - Add a section entitled "Porting GHC", describing the intricacies
    of porting from unregisterised .hc files, amongst other things.
    Comments/corrections welcome.

[project @ 2002-05-02 13:33:27 by simonmar]
Add this script which does an unregisterised bootstrap to build HC
files for porting GHC.

[project @ 2002-05-02 09:09:18 by simonmar]
ptext => ftext

[project @ 2002-05-01 22:17:29 by sof]
check for <sys/uio.h>

[project @ 2002-05-01 22:16:30 by sof]
remove CCONST_xxx

[project @ 2002-05-01 18:48:07 by sof]
fix a silly introduced by prev. commit

[project @ 2002-05-01 17:56:52 by sof]
mapM ~> mapM_

[project @ 2002-05-01 17:51:35 by sof]
BUILD_LIB: also include EXTRA_OBJS

[project @ 2002-05-01 17:51:02 by sof]
define EXTRA_OBJS, derived from EXTRA_SRCS

[project @ 2002-05-01 17:12:24 by sof]
remove addDLL, now in InteractiveUI

[project @ 2002-05-01 15:48:48 by simonmar]
Clean up the code to load a dynamic library some more and hopefully
make it work on Windows (untested).

[project @ 2002-05-01 15:46:14 by simonmar]
Cleanup and overhaul the bogus dynamic library loading code in
InteractiveUI.  Bugs fixed:

  - when linking in extra_libraries from a package,
    we now search library_paths in addition to the default
    dlopen() paths.

  - the path-searching machinery for dynamic libraries specified
    on the command line was broken, it didn't work unless the library
    was found on the first path in the list.

[project @ 2002-05-01 13:16:04 by simonmar]
Re-add reallyUnsafePtrEquality# (hey, it's really easy to add primops
these days!).

[project @ 2002-05-01 13:12:11 by simonmar]
Comment only

[project @ 2002-05-01 13:11:24 by simonmar]
Do 'make boot' then 'make all' as separate steps (fixes problem with
parallel make).

[project @ 2002-05-01 10:45:58 by simonmar]
Mention Haddock and libraries projects.

[project @ 2002-05-01 09:30:04 by simonmar]
- When converting ModuleNames to Modules for use in the the module
  initialisation code, look them up in the IfaceTable(s) instead of
  calling findModule again.  They are guaranteed to be in either
  the HomeIfaceTable or the PackageIfaceTable after the renamer,
  so this saves some trips to the filesystem.  Also, move this
  code earlier in the compilation cycle to avoid holding on to the
  renamed syntax for too long (not sure if this makes a difference or
  not, but it definitely looked space-leakish before).

- remove Util.unJust, it is a duplicate of Maybes.expectJust

[project @ 2002-05-01 09:10:32 by simonpj]
When reading an interface file, don't discard CPR info even
if -fcpr-off is selected.  The info describes what the .o file
contains, so we can't ignore that!

[project @ 2002-04-30 16:34:12 by simonmar]
Add a FAQ section.  This will replace the mini-FAQ on the download
page (which we never really kept up to date), and will hopefully
accumulate all sorts of useful Q/As over time.  Please feel free to
add to it...

[project @ 2002-04-30 16:23:47 by simonmar]
Remove some out of date stuff and tidy up the markup.

[project @ 2002-04-30 15:34:24 by simonmar]
Enclose the text about the CPP/string gap problem in a section so we
can refer to it easily.

[project @ 2002-04-30 15:11:40 by simonmar]
Add a section entitled "How do I tell if my bug has already been reported?"

[project @ 2002-04-30 14:40:56 by simonmar]
Make this work with 'make -j'

[project @ 2002-04-30 14:40:33 by simonmar]
hsc2hs isn't needed for 'make boot' any more (we do 'make boot all' in
fptools/ghc before booting fptools/libraries).

[project @ 2002-04-30 14:19:56 by simonmar]
Fix for 'make -j'

[project @ 2002-04-30 10:31:50 by simonmar]
Mention that you can use :load without any arguments.

[project @ 2002-04-30 09:26:14 by simonmar]
As Matt Chapman pointed out to me, the argument to allocatePinned() is
in words, not bytes.  Fix the 8-byte alignment tweak (yet again).

[project @ 2002-04-29 19:24:57 by panne]
Guess what: SLIT => FSLIT    :-}

[project @ 2002-04-29 18:42:03 by panne]
(F)SLIT fixes, continued...

[project @ 2002-04-29 17:47:02 by panne]
Sync with latest (F)SLIT changes

[project @ 2002-04-29 16:17:55 by simonmar]
- Fix bootstrapped compilation,

- Add the following RULE:

text "abc"  ==> ptext SLIT("abc")

  so most of the time there shouldn't be any need to use SLIT().
  I'll go around and apply the opposite of the above RULE once
  I've convinced myself that the RULE does what it should.

[project @ 2002-04-29 15:41:59 by simonmar]
Add haddock to $(AllProjects)

[project @ 2002-04-29 14:03:38 by simonmar]
FastString cleanup, stage 1.

The FastString type is no longer a mixture of hashed strings and
literal strings, it contains hashed strings only with O(1) comparison
(except for UnicodeStr, but that will also go away in due course).  To
create a literal instance of FastString, use FSLIT("..").

By far the most common use of the old literal version of FastString
was in the pattern

  ptext SLIT("...")

this combination still works, although it doesn't go via FastString
any more.  The next stage will be to remove the need to use this
special combination at all, using a RULE.

To convert a FastString into an SDoc, now use 'ftext' instead of
'ptext'.

I've also removed all the FAST_STRING related macros from HsVersions.h
except for SLIT and FSLIT, just use the relevant functions from
FastString instead.

[project @ 2002-04-28 01:58:29 by sof]
Heal HEID.

* eRROR_ID: use FSLIT() rather than SLIT() to have "error" be added to
  the FastString hash table rather than as an ext. C string; the Binary
  instance for FastString can't handle the latter, only the former.
  [any deep reasons why not?]

[project @ 2002-04-26 22:35:54 by sof]
When the OS thread is all out of work, shut down in a gentler
manner by calling shutdownHaskell() rather than
shutdownHaskellAndExit(). Give up the sched_mutex lock also.

[project @ 2002-04-26 22:31:31 by sof]
finalizeWeakPointersNow(): synchronously finalize, don't use sep. OS threads (if available.)

[project @ 2002-04-26 16:32:03 by simonpj]
Fix the bug that Sven found when bootstrapping:

     stgSyn/CoreToStg.lhs:1112:
         Couldn't match `#' against `*'
         When matching types `GHC.Prim.Int#' and `a'
      Expected type: GHC.Prim.Int#
             Inferred type: a
     In the application `error ("cafRefs " ++ (showSDoc (ppr id)))'

I forgot to keep eRROR_ID in the list of wiredInIds in MkId.
Fixed and commented (but not yet tested).

Simon

[project @ 2002-04-25 18:48:02 by panne]
Ooops, I mixed up PowerPC and SPARC ABIs: On SPARC the stack is always
double-word aligned (quad-word on PowerPC), so the "fully correct"
solution is very probably really correct. => Fixed the comment.  :-}

[project @ 2002-04-25 18:18:56 by panne]
Highly untested fixes for SPARC:
   * Commented on "fully correct" solution
   * Flush cache
   * Fixed freeHaskellFunctionPtr

FYI: http://www.cs.unm.edu/~maccabe/classes/341/labman/node12.html
contains a good "Dummy's Guide" to the SPARC stack frame layout.
Just if you can't dig this info up on e.g. SUN's site, because
they've hidden everything useful... :-]

[project @ 2002-04-25 15:42:46 by sof]
add thenIO to knownKeyNames - as was, ghci-HEAD fell over

[project @ 2002-04-25 08:57:51 by simonmar]
Remove a bogus ASSERT (I *knew* I should have tested that
last change properly... one bug per line, sigh).

[project @ 2002-04-25 04:54:55 by sof]
allocatePinned: do what the prev. commit was billed to do

[project @ 2002-04-25 00:29:59 by ken]
-lpthread requires -lexc on alpha-dec-osf3

[project @ 2002-04-24 13:29:01 by simonmar]
freeStablePtr(): Only call freeStableName() if sn->ref == 0.

From: Bernard James POPE <bjpop@cs.mu.OZ.AU>

[project @ 2002-04-24 11:06:10 by simonpj]
Fix an obscure corner situation in case-simplification (cg051)

[project @ 2002-04-24 10:12:52 by simonpj]
Do the scoped-tyvar fix right this time