[project @ 2001-08-20 12:36:10 by chak]
Added two links to CVS

[project @ 2001-08-20 11:00:18 by simonpj]
Remove the identity-substitution "optimisation" from zip_ty_env.

-- There used to be a special case for when
-- ty == TyVarTy tv
-- (a not-uncommon case) in which case the substitution was dropped.
-- But the type-tidier changes the print-name of a type variable without
-- changing the unique, and that led to a bug.   Why?  Pre-tidying, we had
-- a type {Foo t}, where Foo is a one-method class.  So Foo is really a newtype.
-- And it happened that t was the type variable of the class.  Post-tiding,
-- it got turned into {Foo t2}.  The ext-core printer expanded this using
-- sourceTypeRep, but that said "Oh, t == t2" because they have the same unique,
-- and so generated a rep type mentioning t not t2.
--
-- Simplest fix is to nuke the "optimisation"

[project @ 2001-08-20 10:20:34 by simonmar]
Now copes with more forms of identifiers, as suggested by Marcin.

[project @ 2001-08-20 10:19:47 by simonmar]
Add a new entry point: parseIdentifier, which parses a qualified or
non-qualified operator or variable, including parenthesised and
backquoted forms, and the special identifiers [], (), (,), (,,) etc.

[project @ 2001-08-20 08:17:38 by simonpj]
Fix (another) "missing instnace" bug in the renamer.
This one interacted with the interactive loop in ghci.

[project @ 2001-08-20 07:54:33 by simonpj]
Improve error messages from the typechecker,
after a suggestion from Alastair Reid.

[project @ 2001-08-20 07:48:36 by simonpj]
Trim import lists

[project @ 2001-08-20 07:48:05 by simonpj]
Print implicit-parameter bindings properly

[project @ 2001-08-19 20:14:22 by sof]
Nuke uses of LEADING_UNDERSCORE; use Config.cLeadingUnderscore instead.

[project @ 2001-08-18 11:55:48 by qrczak]
Use char * instead of void * for pointer arithmetic.

[project @ 2001-08-18 01:15:36 by sof]
Don't use a hardwired tmpdir, consult TMP and TEMP (via GetTempPath()).

[project @ 2001-08-17 22:29:06 by sof]
Add -I$(GHC_INCLUDE_DIR) to SRC_MKDEPENDHS_OPTS; ghc-4.0x
needs this since 'mkdependHS' also chases #includes.

Not an issue with ghc-5.xx's dep-generator, since it invokes
CPP prior to gathering up the imports.

This should bring ghc-4.08-based nightly builds back to life.

[project @ 2001-08-17 17:18:51 by apt]
How I spent my summer vacation.

Primops
-------

The format of the primops.txt.pp file has been enhanced to allow
(latex-style) primop descriptions to be included.  There is a new flag
to genprimopcode that generates documentation including these
descriptions. A first cut at descriptions of the more interesting
primops has been made, and the file has been reordered a bit.

31-bit words
------------

The front end now can cope with the possibility of 31-bit (or even 30-bit)
Int# and Word# types.  The only current use of this is to generate
external .core files that can be translated into OCAML source files
(OCAML uses a one-bit tag to distinguish integers from pointers).
The only way to get this right now is by hand-defining the preprocessor
symbol WORD_SIZE_IN_BITS, which is normally set automatically from
the familiar WORD_SIZE_IN_BYTES.

Just in case 31-bit words are used, we now have Int32# and Word32# primitive types
and an associated family of operators, paralleling the existing 64-bit
stuff.  Of course, none of the operators actually need to be implemented
in the absence of a 31-bit backend.
There has also been some minor re-jigging of the 32 vs. 64 bit stuff.
See the description at the top of primops.txt.pp file for more details.
Note that, for the first time, the *type* of a primop can now depend
on the target word size.

Also, the family of primops intToInt8#, intToInt16#, etc.
have been renamed narrow8Int#, narrow16Int#, etc., to emphasize
that they work on Int#'s and don't actually convert between types.

Addresses
---------

As another part of coping with the possibility of 31-bit ints,
the addr2Int# and int2Addr# primops are now thoroughly deprecated
(and not even defined in the 31-bit case) and all uses
of them have been removed except from the (deprecated) module
hslibs/lang/Addr

Addr# should now be treated as a proper abstract type, and has these suitable operators:

nullAddr# : Int# -> Addr# (ignores its argument; nullary primops cause problems at various places)
plusAddr# :  Addr# -> Int# -> Addr#
minusAddr : Addr# -> Addr# -> Int#
remAddr# : Addr# -> Int# -> Int#

Obviously, these don't allow completely arbitrary offsets if 31-bit ints are
in use, but they should do for all practical purposes.

It is also still possible to generate an address constant, and there is a built-in rule
that makes use of this to remove the nullAddr# calls.

Misc
----
There is a new compile flag -fno-code that causes GHC to quit after generating .hi files
and .core files (if requested) but before generating STG.

Z-encoded names for tuples have been rationalized; e.g.,
Z3H now means an unboxed 3-tuple, rather than an unboxed
tuple with 3 commas (i.e., a 4-tuple)!

Removed misc. litlits in hslibs/lang

Misc. small changes to external core format.  The external core description
has also been substantially updated, and incorporates the automatically-generated
primop documentation; its in the repository at /papers/ext-core/core.tex.

A little make-system addition to allow passing CPP options to compiler and
library builds.

[project @ 2001-08-17 16:06:30 by sof]
- have SysTools.FileOption take a prefix that is not to be transformed
  (this is to accommodate MS-style cmd-line options of the kind: "/out=foo.obj")
- have users of Finder.mkHomeModuleLocn catch up with recent change to its type.

[project @ 2001-08-17 15:46:54 by simonmar]
bugfix for -G1

[project @ 2001-08-17 14:44:54 by simonmar]
fix a profiling bug: the cost centre stack in a raise_closure wasn't
being initialised.

[project @ 2001-08-17 12:56:55 by simonmar]
The .hi file wasn't tracking the module name (my fault).  Fix it.

[project @ 2001-08-17 12:43:24 by sewardj]
On 4.08.X compilers, just make rawSystem be System.system.  This is
so we can still build stage1s with 4.08.X.  It won't work on Win32
but the minimum compiler to build a stage1 for Win32 is 5.01 AFAICS.

[project @ 2001-08-17 11:20:00 by rrt]
Add rules for way "i" for maing libraries, so that a DLL rather than a .a
gets built, and with al rather than ld.

[project @ 2001-08-17 11:14:28 by rrt]
std.dll now gets made by target.mk rules

[project @ 2001-08-17 11:13:04 by rrt]
Add a dummy function _ErrorHdrHook to return the address of ErrorHdrHook.
Dunno how this ever compiled before. Maybe this is just a special Friday
effect. Maybe I shouldn't be committing stuff today. Maybe I should just
give up now.

[project @ 2001-08-17 11:08:01 by simonmar]
don't include <string.h> here, HsStd.h is the right place.

[project @ 2001-08-17 11:06:58 by simonmar]
include <string.h>

[project @ 2001-08-17 10:10:15 by rrt]
Use EXCLUDED_SRCS to handle ilxstubs.c

[project @ 2001-08-17 08:35:24 by rrt]
Make sure std is compiled with -fvia-C (NCG can't cope)

[project @ 2001-08-17 00:17:55 by sof]
SRC_CC_OPTS: add GHC_{INCLUDE,RUNTIME}_DIR to include path

[project @ 2001-08-17 00:14:49 by sof]
Get rid of (harmless) CPP warnings

[project @ 2001-08-16 22:54:24 by sof]
Death to GHC_INCLUDE_DIR (well, almost).

- mk/target.mk: get rid off the abomination of having SRC_CC_OPTS include
  GHC_INCLUDE_DIR and GHC_RUNTIME_DIR for all fptools/ projects.
- mk/suffix.mk: %.pp suffix rule no longer hardwires in the use of GHC_INCLUDE_DIR;
  just $(CPP_OPTS). ==> If you want GHC_INCLUDE_DIR on the include path, better
  add it to SRC_CPP_OPTS (say) at the point where you need it (ghc/compiler/Makefile
  and ghc/lib/std/Makefile do this now).
- wipe out the use of -I$(GHC_INCLUDE_DIR) in HC_OPTS in hslibs/; not needed.
- hslibs/mk/boilerplate.mk still define GHC_{IO_}INCLUDE_DIR for the purpose
  of using it when compiling .c files. It should be possible to get rid off it
  by having CC=$(HC), but I haven't imposed that change (yet).

[project @ 2001-08-16 15:24:05 by rrt]
Dunno how this got here

[project @ 2001-08-16 14:43:59 by rrt]
Update ILX tool functions to use Option and OptionFile

[project @ 2001-08-16 14:41:40 by rrt]
Remove spurious duplicate rule for PrelGHC.$(way)hi.

Improve rule for std.vlb, thanks to a fix to mkvlb.

Add -DILX to SRC_HC_OPTS (needed for PrelTopHandler).

[project @ 2001-08-16 14:35:52 by rrt]
Add -fruntime-types, which the ILX backend needs

[project @ 2001-08-16 11:16:27 by rrt]
Remove WAY_i_* settings from user ways section

[project @ 2001-08-16 11:06:10 by simonmar]
add newline to "WARNING: error while reading directory" message.

[project @ 2001-08-16 10:54:22 by simonmar]
Include fixity info in the output from :info.

[project @ 2001-08-16 10:25:21 by simonmar]
Prettier output for GHCi's :info

  - put parenthesis around operators in type signatures
    (both IfaceSig and ClassOpSig)

  - don't use the cryptic '= ::' notation for indicating that a
    class op has a default method, instead put the information in a
    comment after the type.

[project @ 2001-08-16 09:59:38 by simonmar]
Set the SrcLoc for expressions typed on the command line to
<interactive>:1 rather than <no file>:0.

[project @ 2001-08-16 05:30:27 by chak]
* Use new `gen_no' member in `bdescr'
* Track renaming of member `to_space' in `step' structure

[project @ 2001-08-16 05:06:44 by chak]
Compile `cmInfoThing' only for GHCI

[project @ 2001-08-15 18:31:57 by qrczak]
Fix HS_SRCS.

[project @ 2001-08-15 16:27:15 by simonmar]
Slight prettification of class declarations when printed out in
non-interface mode.

[project @ 2001-08-15 15:57:20 by simonmar]
Don't print all the fields of a record on the same line

[project @ 2001-08-15 15:50:41 by simonmar]
Aha!  I discovered how to distinguish ordinary record selectors from
class methods.

Prelude> :i +
-- + is a method in class Num
+ :: forall a. (Num a) => a -> a -> a

[project @ 2001-08-15 15:49:42 by simonmar]
recognise constructors properly

[project @ 2001-08-15 15:39:59 by simonmar]
Identify record selectors in :info.  Sadly there doesn't seem to be an
easy way to identify class methods.

[project @ 2001-08-15 15:02:04 by rrt]
Cut'n'paste the latest version of rawSystem, not the horrible old
past-its-sell-by-date version I had in my smelly old tree.

[project @ 2001-08-15 14:59:34 by rrt]
Dearie dearie me, we are in a tizz today.

Put some imports needed for all platforms where they belong, and not in a
mingwin-only ifdef.

[project @ 2001-08-15 14:41:49 by simonmar]
correct the help information about :info

[project @ 2001-08-15 14:40:24 by simonmar]
Implement the :info command for GHCi.

[project @ 2001-08-15 14:36:21 by rrt]
Cut'n'paste rawSystem from hslibs rather than messing around trying to copy
SystemExts.lhs into compiler/main, which makes for Makefile pain.

[project @ 2001-08-15 14:13:14 by chak]
Added note about daily updated online version.

[project @ 2001-08-15 14:08:53 by sewardj]
Nuke these two hangovers from Stg Hugs daze.

[project @ 2001-08-15 14:02:54 by sewardj]
Some Byzantine hacks from Reuben to make the main/SystemExts business
work as intended.

[project @ 2001-08-15 13:27:43 by sewardj]
Add a couple of #ifdef ILX.

[project @ 2001-08-15 12:23:56 by rrt]
Fix updating of HS_SRCS for SystemExts.lhs

[project @ 2001-08-15 12:20:51 by rrt]
Add way i for ILX, plus ILX2IL and ILASM

[project @ 2001-08-15 10:16:46 by rrt]
argc and argv no longer need faking; System.lhs copes

[project @ 2001-08-15 10:13:41 by qrczak]
This one-line file must have been here by mistake.

[project @ 2001-08-15 10:13:30 by rrt]
Now, commit ILX changes (mostly disablements)

[project @ 2001-08-15 10:00:42 by rrt]
Back out last commit, which overrode a lot of changes

[project @ 2001-08-15 09:58:00 by sewardj]
Reverse the effects of rev 1.54 (which accidentally disabled the strictness
analyser.)

[project @ 2001-08-15 09:54:38 by qrczak]
Fix peekArray for size==0.

[project @ 2001-08-15 09:48:44 by rrt]
Disable much ILXage owing to new driver support

[project @ 2001-08-15 09:37:18 by rrt]
Remove much gunk thanks to new driver support

[project @ 2001-08-15 09:36:39 by rrt]
Tidy

[project @ 2001-08-15 09:34:24 by rrt]
Many excellent fixes

[project @ 2001-08-15 09:33:41 by rrt]
Add ILX2IL and ILASM to Config.hs

[project @ 2001-08-15 09:32:40 by rrt]
Driver support for ILX compilation

[project @ 2001-08-15 09:28:58 by simonmar]
sigh, I'll make this work one day

[project @ 2001-08-15 09:24:47 by simonmar]
more wibbles

[project @ 2001-08-15 09:24:19 by rrt]
.NET can't cope with foreign labels

[project @ 2001-08-15 09:23:25 by rrt]
Fake argc & argv

[project @ 2001-08-15 09:22:19 by rrt]
Add ILX2IL_OPTS and ILASM_OPTS

[project @ 2001-08-15 09:19:04 by simonmar]
wibble

[project @ 2001-08-15 09:18:06 by simonmar]
Use the trick from unpackCStringLenIO to make peekArray run in
constant stack space: read the array from back to front using an
accumulating parameter.  Sadly this doesn't work for peekArray0.

[project @ 2001-08-15 08:57:31 by simonmar]
Add getProgArgv, setProgArgv

[project @ 2001-08-15 00:36:54 by sof]
Pass "-x c" as "-x" "c"; gcc-mingw gets confused by the former.

[project @ 2001-08-14 21:49:00 by sof]
DocBook catalog: Only prefix hardtop if we end up using a glafp-utils/docbook CATALOG

[project @ 2001-08-14 17:14:22 by sof]
Don't use 'foreign label' to get at prog_arg{v,c}, use
the RtsAPI-provided getProgArgv().

[project @ 2001-08-14 16:29:56 by simonmar]
Add TyCon.mkLiftedPrimTyCon, solely for RealWorld which is the only
lifted primitive TyCon.

[project @ 2001-08-14 16:28:00 by simonpj]
More wibbles in checking type validity

[project @ 2001-08-14 15:37:55 by simonpj]
Wibbles to the checking-types commit

[project @ 2001-08-14 15:27:32 by simonpj]
Yet another bug in lub

[project @ 2001-08-14 13:40:07 by sewardj]
Change the story about POSIX headers in C compilation.

Until now, all C code in the RTS and library cbits has by default been
compiled with settings for POSIXness enabled, that is:
   #define _POSIX_SOURCE   1
   #define _POSIX_C_SOURCE 199309L
   #define _ISOC9X_SOURCE
If you wanted to negate this, you'd have to define NON_POSIX_SOURCE
before including headers.

This scheme has some bad effects:

* It means that ccall-unfoldings exported via interfaces from a
  module compiled with -DNON_POSIX_SOURCE may not compile when
  imported into a module which does not -DNON_POSIX_SOURCE.

* It overlaps with the feature tests we do with autoconf.

* It seems to have caused borkage in the Solaris builds for some
  considerable period of time.

The New Way is:

* The default changes to not-being-in-Posix mode.

* If you want to force a C file into Posix mode, #include as
  the **first** include the new file ghc/includes/PosixSource.h.
  Most of the RTS C sources have this include now.

* NON_POSIX_SOURCE is almost totally expunged.  Unfortunately
  we have to retain some vestiges of it in ghc/compiler so that
  modules compiled via C on Solaris using older compilers don't
  break.

[project @ 2001-08-14 11:41:19 by simonmar]
Fix example code in the generics section.

[project @ 2001-08-14 06:35:56 by simonpj]
1. Arrange that w/w records unfoldings
   And that the simplifier preserves them

2. Greatly improve structure of checking user types in the typechecker
   Main changes:
TcMType.checkValidType checks for a valid type
TcMonoType.tcHsSigType uses checkValidType
Type and class decls use TcMonoType.tcHsType (which does not
check for validity) inside the knot in TcTyClsDecls,
and then runs TcTyDecls.checkValidTyCon
or TcClassDcl.checkValidClass to check for validity
once the knot is tied

[project @ 2001-08-13 18:15:45 by rrt]
Delete duplicate method

[project @ 2001-08-13 16:34:04 by simonmar]
Update to match the rest of the docs.

[project @ 2001-08-13 16:33:43 by simonmar]
Document -c<n> and bring up to date the documentation of -M<size.

[project @ 2001-08-13 16:33:12 by simonmar]
document -ignore-dot-ghci and -read-dot-ghci

[project @ 2001-08-13 16:32:43 by simonmar]
Document -package-conf and ghc-pkg --config-file

[project @ 2001-08-13 16:32:22 by simonmar]
Allow multiple -f/--config-file options, taking the last one.  This
allows ghc-pkg to be used to modify a user-specified package.conf file.

[project @ 2001-08-13 16:27:41 by rrt]
Update to new syntax and filename-munging method

[project @ 2001-08-13 15:49:37 by simonmar]
A bunch of changes (been waiting for the link to cvs.haskell.org to
come back):

- Two new flags -ignore-dot-ghci and -read-dot-ghci control the
  reading (or not) of ./.ghci and $HOME/.ghci.  This will be useful
  for automatic testing of GHCi.

- A new option -package-conf <file> allows reading an additional
  package.conf file, which can be used to keep a per-user set of
  packages.

- GHCi now fails gracefully on startup if linking the libraries
  specified on the command-line fails.

[project @ 2001-08-13 15:44:38 by simonmar]
The compilation manager now continues gracefully (by unloading all the
modules) if the link step fails.

[project @ 2001-08-13 15:43:36 by simonmar]
resolveObjs now returns a Bool, indicating success

[project @ 2001-08-13 14:34:40 by simonmar]
- Convert some fatal errors into non-fatal returns
- Don't include cryptic function names in non-internal errors
- Improve several error messages

[project @ 2001-08-13 12:34:37 by simonmar]
The '--' argument disables any further +RTS ... -RTS processing on the
command line.

[project @ 2001-08-13 11:58:04 by sewardj]
schemeR_wrk: look through tyapps when spotting top-level nullary
constructor uses.  Fixes bug reported by Mark Tehver:
<<loop>> in GHC 5.01 "Zarjaz"

[project @ 2001-08-13 10:27:27 by simonmar]
Don't use packString for GHC > 5.00