[project @ 2001-08-21 09:36:15 by simonmar]
document the requirement for source files in --make.

[project @ 2001-08-21 09:32:26 by simonmar]
document the requirement for source files in :load.

[project @ 2001-08-21 09:25:48 by simonmar]
Accept The Truth and disallow loading any home modules which don't
have a source file.

The reason is that the compilation manager can't figure out
dependencies unless it has the source file to browse through -
previously there was a half-hearted attempt to let you get away with
just an object + interface file, but it didn't work in general.
Better just to disallow it altogether.

Note that this applies to --make too.

[project @ 2001-08-21 09:04:22 by rrt]
Remove unused function isSlash

[project @ 2001-08-21 09:03:32 by rrt]
Fix ghc-pkg to find package.conf when installed on Windows

[project @ 2001-08-21 08:59:41 by simonmar]
Add a case so that tyConTheta works for tuples (made this change
earlier but forgot to commit it - it fixes the panic when you do :info
() in GHCi).

[project @ 2001-08-21 08:53:22 by simonmar]
Allow renameFile to rename dangling symlinks.  We use lstat, but check
for HAVE_LSTAT first.

[project @ 2001-08-20 16:50:13 by simonpj]
-------------------------------------
Make NOINLINE zap the strictness info
-------------------------------------

Make a NOINLINE pragma zap strictness information.
Reasons given in the WorkWrap comment:

-- Furthermore, zap the strictess info in the Id.  Why?  Because
-- the NOINLINE says "don't expose any of the inner workings at the call
-- site" and the strictness is certainly an inner working.
--
-- More concretely, the demand analyser discovers the following strictness
-- for unsafePerformIO:  C(U(AV))
-- But then consider
-- unsafePerformIO (\s -> let r = f x in
--        case writeIORef v r s of (# s1, _ #) ->
--        (# s1, r #)
-- The strictness analyser will find that the binding for r is strict,
-- (becuase of uPIO's strictness sig), and so it'll evaluate it before
-- doing the writeIORef.  This actually makes tests/lib/should_run/memo002
-- get a deadlock!
--
-- Solution: don't expose the strictness of unsafePerformIO.

This fixes the memo002 deadlock.

[project @ 2001-08-20 16:48:50 by simonpj]
Add assertion

[project @ 2001-08-20 16:17:17 by simonmar]
- be more informative about primitive types: they are identified as
  such, and a declaration is printed out as if the thing was an
  abstract data type (this at least tells you what the arity of the
  tycon is).

- print 'infix 4 elem' as 'infix 4 `elem`'.

[project @ 2001-08-20 16:15:34 by simonmar]
Do something vaguely useful in ifaceTyCls when presented with a
primitive type constructor.  We pretend it's an abstract data type for
now.

[project @ 2001-08-20 14:57:42 by sof]
sigemptyset: may be implemented as a macro on some plats,
so wrap it up in an inline function to get the C types
right. (Thomas Nordin, using OpenBSD, spotted this one).

[project @ 2001-08-20 14:44:05 by simonmar]
This StablePtr test is old, most of the features it uses are
deprecated and have been replaced by newer mechanisms (eg. foreign
export) which is tested elsewhere.

[project @ 2001-08-20 14:18:30 by simonpj]
Amplify comment on mkMachInt a little

[project @ 2001-08-20 14:10:02 by simonmar]
Remove the in-range assertions on mkMachInt/mkMachWord.  They clearly
aren't true, because there's nothing stopping you from writing an
out-of-range Int# literal (although that's the only way I can see for
these to arise).

The wider issue is what should be done about out-of-range Int#
literals; I vaguely remember that at some point we disallowed them,
but I can't find anything in the logs.  The case which triggered the
assertion, namely "intToWord# 0xffff0000" would appear to be a
legitimate use for an out-of-range Int# literal though, given that
you can't write Word# literals directly.

[project @ 2001-08-20 13:43:18 by sewardj]
I have braved the insanity of the Sparc calling conventions and lived
to tell the tale.  This commit adds support for foreign import
{static,dynamic} for Sparc in GHCi.

[project @ 2001-08-20 13:18:17 by simonmar]
Commit a new autoheader-generated version of this file.

[project @ 2001-08-20 13:17:06 by simonmar]
It isn't necessary to put HAVE_DLOPEN in here, autoheader can figure
that out for itself.

[project @ 2001-08-20 13:15:52 by simonmar]
dunno what DATA_SECTION_WIBBLE is supposed to be, but it doesn't
appear anywhere else in the source tree so I'm removing it.

[project @ 2001-08-20 13:15:04 by simonmar]
check for lstat()

[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.