[project @ 2000-07-26 13:29:03 by simonmar]
- add wORD_SIZE (size of an StgWord in bytes)
- add bLOCK_SIZE_W (size of a storage manager block in words)

[project @ 2000-07-26 13:27:54 by simonmar]
Add a constant definition for WORD_SIZE, the size of an StgWord in bytes.

[project @ 2000-07-26 13:13:49 by simonmar]
Revert part of the previous change, which broke the build by
generating a PrelStable.hi with some bogus kind information in it.

[project @ 2000-07-25 18:16:53 by rrt]
Advised Windows users to read the Windows installation notes for GHC before
trying to build anything.

[project @ 2000-07-25 18:10:38 by rrt]
Pointed out that Windows users should read the GHC installation guide before
trying to build anything.

[project @ 2000-07-25 15:54:38 by simonmar]
increase the repeat count; this bug is pretty fragile

[project @ 2000-07-25 15:48:16 by simonmar]
Add test for handle finalization bug, fixed in
  1.60      +1 -2      fptools/ghc/lib/std/PrelHandle.lhs
  1.15      +4 -10     fptools/ghc/lib/std/PrelIO.lhs

[project @ 2000-07-25 15:20:10 by simonmar]
Fix bug reported by Hannah Schroeter: reading a file lazily using
hGetContents and then closing it using hClose can cause the program to
fall over with a deadlock.

The reason is that when closing the file in lazyRead{Block,Line,Char},
we set the foreign object in the handle to nullFile__, which causes
the finalizer to run (at some point in the future).  The finalizer
takes the MVar in the handle, frees the contents, but never puts the
MVar back.  hClose then tries to take the MVar, and deadlocks.

The solution is not to set the foreign object to nullFile__ in the
first place; I'm not sure why it was done this way, and in fact it
leads to a memory leak.  hClose itself has a similar problem, leading
to a leak of the fileObject.

[project @ 2000-07-25 12:24:14 by michaelw]
giving the version number when asked for is NOT an error, therefore
output now goes to stdout (cf. Coding Standards)

[project @ 2000-07-24 15:31:47 by simonmar]
update documentation to reflect changes in the format of a package spec.

[project @ 2000-07-24 15:16:44 by simonmar]
Sigh, change the package definition again.  We weren't making a
distinction between libraries which need a suffix tag
(eg. libHSstd_p), and those that don't (eg. libHSstd_cbits).

The package spec now has two components for libraries, hs_libraries
(tagged) and extra_libraries (untagged).  The ordering of these
components is important: we specify that hs_libraries are linked
before extra_libraries.  This sounds problematic if you want to link
some plain C libraries before some Haskell libs, but in these cases it
should be possible to create separate packages for the two libs and
specify the dependencies explicitly.

[project @ 2000-07-24 14:29:55 by simonmar]
Some changes to the way FFI decls are handled:

  - a foreign export dynamic which returns a newtype of
    an Addr now works correctly.  Similarly for foreign label.

  - unlifted types are not allowed in the arguments of a foreign
    export.  Previously we generated incorrect code for these cases.

Newtypes in FFI declarations now work everywhere they should, as far
as I can see.

These changes will be backported into 4.08.1.

[project @ 2000-07-23 10:53:11 by panne]
Strictfp-like behaviour is the default now, which can be switched off
via -fexcess-precision. (Has anybody a better name for this option?)

[project @ 2000-07-21 09:48:47 by rrt]
Fix EXTINFO_RTS.

[project @ 2000-07-21 09:31:46 by rrt]
Add EXTINFO_RTS and use it (same as EXTFUN_RTS for info tables).

[project @ 2000-07-21 09:11:19 by rrt]
Changed ERTSF_ to EXTFUN_RTS.

[project @ 2000-07-21 09:01:48 by rrt]
Removed ERTSF_ and used EXTFUN_RTS instead, which does the same thing.

[project @ 2000-07-21 08:45:05 by rrt]
Make sure we *don't* try to make hsc_dll (as it will be identical to hsc).

[project @ 2000-07-21 08:40:04 by rrt]
Add dll as a fully-fledged way.

[project @ 2000-07-21 08:37:30 by rrt]
Make gmp.dll in DLL_PEN.

[project @ 2000-07-21 08:35:22 by rrt]
Make sure DLL_NAME only has DLL_PEN prepended if DLL_NAME has already been
set, i.e. a DLL is really to be built.

[project @ 2000-07-20 17:06:41 by rrt]
What's the story, Rory?

   My name's not Rory. Owing to circumstances not fully understood, the RTS
   used to work DLLized, even though it was largely broken. Unfortunately,
   this was recently fixed.

What used to happen?

   The EF_ macro from StgMacros.h was used to refer to primops &c.

Why was this a Bad Thing?

   Because you need to use EDF_ when building with DLLs.

What was the result?

   primops such as divExactInteger were compiled as _divExactInteger, rather
   than __imp__div_Exact_Integer, so they didn't refer to the DLL routines.

How on earth did it work?

   I'm not sure, but somehow the code for the relevant routines got linked
   into the import libraries (e.g. libHSrts_imp.a), and were thus linked
   statically into the final binary.

So that explains why the import libraries (supposedly just containing stubs)
were larger than the DLLs they were stubbing, or the static libraries, for
that matter?

   Perhaps.

Golly!

   Indeed.

What caused this code leakage?

   That's what I don't know. Perhaps a bug in the Cygwin DLL-building tools?
   I've upgraded from B20.1 to 1.1 recently.

So, what's the hack, Mac?

   My name's not Mac. I added a new macro, ERTSF_, which uses DLL_IMPORT_RTS
   to make sure that the Right Thing is always done (because you mustn't
   make DLL references to RTS routines when compiling the RTS).

Thanks for the chat, Matt!

   <punch>

[project @ 2000-07-20 12:33:09 by rrt]
4.07->4.08

[project @ 2000-07-20 12:32:50 by rrt]
Fixed a version-o.

[project @ 2000-07-20 10:50:47 by rrt]
&amp;gt; => &gt;

[project @ 2000-07-20 10:34:42 by rrt]
Updated instructions for Windows install to reflect reality as of v4.08.

[project @ 2000-07-19 14:46:40 by rrt]
Added -dll option for dll way, now a proper way.

[project @ 2000-07-19 14:45:53 by rrt]
Target dlls directly into DLL_PEN so that they don't get rebuilt all the time.

[project @ 2000-07-19 10:07:29 by rrt]
Gave driver access to bash for running system calls under Windows by writing
command out to a temp file, then sending that as the argument to "sh -". Sigh.
This is #ifdefed on mingw32_TARGET_OS; saner OSs just use system as normal.

[project @ 2000-07-19 08:46:10 by rrt]
Stop doing all system calls via "sh -c", as this messed up quoting.

[project @ 2000-07-18 17:34:52 by rrt]
oops, ghc-inplace ain't an EXE.

[project @ 2000-07-18 17:31:02 by rrt]
Added a few EXE_SUFFIXes to get the driver going on Windows.

[project @ 2000-07-18 17:29:53 by rrt]
Changed ExeSuffix to exeext (which is what configure.in actually calls it).

[project @ 2000-07-18 17:09:02 by simonmar]
remove hscpp

[project @ 2000-07-18 15:57:16 by rrt]
Add $(EXE_SUFFIX) to hp2ps and unlit

[project @ 2000-07-18 15:55:19 by rrt]
Move dlls to $(DLL_PEN) after generation.

[project @ 2000-07-18 15:39:59 by rrt]
Move DLLs to $(DLL_PEN) after generation.

[project @ 2000-07-18 14:50:32 by simonpj]
Arrange that type signatures that have no "parent" signatures
work right.  For example

   module A
      f :: Int -> Int

The panic in RnEnv.lookupBndrRn becomes an error message.  Also
RnBinds.rnTopMonoBinds and rnMonoBinds were wrongly ignoring all
signatures altogether if there were no bindings!

[project @ 2000-07-18 14:50:07 by simonmar]
fix finding of the usage message (again).

[project @ 2000-07-18 14:47:52 by simonpj]
Add comment

[project @ 2000-07-18 14:46:48 by simonpj]
Add type-sig test

[project @ 2000-07-18 13:31:34 by rrt]
Holding pen for dlls to stop them getting in the way of pre-compiled
dynamic programs.

[project @ 2000-07-18 08:08:35 by simonpj]
Remove dead code: checkConstraints and univErr

[project @ 2000-07-17 18:44:16 by keithw]
Insert code to handle instruction counts from Heimdall, as well as
CacheProf.

[project @ 2000-07-17 16:02:02 by rrt]
Fixed a bracket-o.

[project @ 2000-07-17 15:27:15 by rrt]
Windows fixes and tidying up.

[project @ 2000-07-17 15:25:05 by rrt]
Windows fixes.

[project @ 2000-07-17 15:15:40 by rrt]
Changed __MINGW32__ to mingw32_TARGET_OS to cope with latest mingwin.

[project @ 2000-07-17 15:11:00 by rrt]
Rename files in line with RTS.

[project @ 2000-07-17 15:10:14 by rrt]
Use GMP dll rather than static library under mingwin.

[project @ 2000-07-17 15:09:35 by rrt]
Removed definitions of symbols which are now defined in the mingwin header
files.

[project @ 2000-07-17 14:33:49 by keithw]
Fix bug in SetLevels that meant an occurrence of a non-cloned binder,
where the non-cloned binder shadowed a cloned binder, resulted in
the occurrence incorrectly being substituted with the clone of the
*outer* binder.  Curious that this never got tickled before!

[project @ 2000-07-17 11:28:32 by simonpj]
Eliminate need for built-in Rational type

[project @ 2000-07-17 11:28:00 by simonpj]
Print operator names in HsExpr better

[project @ 2000-07-17 11:15:07 by simonmar]
Pass flags -agc to $(HAPPY) if the $(HAPPY_VERSION) is >= 1.8
(previous versions weren't reliable enough with these settings).

[project @ 2000-07-17 10:05:59 by rrt]
Merged Julian's changes to make it more comprehensible to non FP programmers.

[project @ 2000-07-17 09:02:18 by simonmar]
accept '-fvia-c' as an alternative capitalisation for '-fvia-C' (the
old driver used to do this, and it's documented in the Users' Guide)

[project @ 2000-07-17 07:47:04 by simonpj]
Add comments

[project @ 2000-07-16 21:31:36 by panne]
Document new -fstrictfp option

[project @ 2000-07-16 21:10:48 by panne]
This commit tries to fix the discrepancies between the results of
floating point calculations during runtime and compile time, see
e.g. fptools/ghc/tests/numeric/should_run/arith008.hs. Part of the
story was the fact that floating point values are represented as
Rationals in GHC and therefore never lost precision, at least for the
operations for which constant folding is done. To compensate for this,
before and after floating point operations the operands are
temporarily converted to/from Float/Double. This is wrong, because
host architecture and target architecture are confused this way, but
in a non-cross-compiling scenario it works.

[project @ 2000-07-16 20:58:48 by panne]
Added new -fstrictfp flag

[project @ 2000-07-16 20:54:45 by panne]
* Fixed handling of filename arguments without extension
* Added new -fstrictfp flag
* Some cosmetic changes (unless/when instead of if)

[project @ 2000-07-15 15:09:45 by panne]
Merged Marcin's patches for unboxed thingies

[project @ 2000-07-14 23:54:06 by lewie]
Functional Dependencies were not getting simplified away when the dictionary
that generated them was simplified by instance resolution.  Fixed.

[project @ 2000-07-14 16:43:20 by simonpj]
Add mutually recursive kind inference test

[project @ 2000-07-14 13:38:55 by simonpj]
Fix typeKind

[project @ 2000-07-14 13:38:39 by simonpj]
Arrange that type signatures work right.  Consider:

   module A
import M( f )
f :: Int -> Int
f x = x

Here, the 'f' in the signature isn't ambiguous; it
refers to the locally defined f.  (This isn't clear in
the Haskell 98 report, but it will be.)

[project @ 2000-07-14 13:37:53 by simonpj]
Wibbles in the new kind-checking stuff

[project @ 2000-07-14 13:37:07 by simonpj]
Add a type signature

[project @ 2000-07-14 13:36:33 by simonpj]
Tidy up newMutTyVar/newSigTyVar

[project @ 2000-07-14 13:28:35 by simonmar]
remove unused #include "gmp.h"

[project @ 2000-07-14 09:34:02 by simonmar]
Add a section describing GHC's version numbering policy.

[project @ 2000-07-14 09:26:23 by simonmar]
wibble

[project @ 2000-07-14 09:03:57 by simonmar]
- add a new section on "keeping intermediate files"
- document the new -keep-tmp-files and -keep-raw-s-file options.

[project @ 2000-07-14 08:19:02 by simonmar]
Add -keep-tmp-files flag, to tell the driver not to delete tmp files.
Useful mainly for debugging the driver, and obsoletes the GHC
folklore of using ^Z for this purpose.

[project @ 2000-07-14 08:17:36 by simonpj]
This commit completely re-does the kind-inference mechanism.
Previously it was inter-wound with type inference, but that was
always hard to understand, and it finally broke when we started
checking for ambiguity when type-checking a type signature (details
irrelevant).

So now kind inference is more clearly separated, so that it never
takes place at the same time as type inference.  The biggest change
is in TcTyClsDecls, which does the kind inference for a group of
type and class declarations.  It now contains comments to explain
how it all works.

There are also comments in TypeRep which describes the slightly
tricky way in which we deal with the fact that kind 'type' (written
'*') actually has 'boxed type' and 'unboxed type' as sub-kinds.
The whole thing is a bit of a hack, because we don't really have
sub-kinding, but it's less of a hack than before.

A lot of general tidying up happened at the same time.
In particular, I removed some dead code here and there

[project @ 2000-07-14 08:14:53 by simonpj]
Remove dead code

[project @ 2000-07-13 15:45:55 by simonmar]
Take the README for a binary dist from the project directory, not fptools.

[project @ 2000-07-13 15:44:40 by simonmar]
update, and make less GHC-specific

[project @ 2000-07-13 14:45:13 by simonmar]
update to match reality; try to be a bit more helpful

[project @ 2000-07-13 09:22:26 by sewardj]
Zap yet another bogon in x86 floating args to ccalls.

[project @ 2000-07-13 09:17:57 by michaelw]
more changes to FPTOOLS_GHC_VERSION:
* fixed bug in too-many-args case
* reworked regexp for versions

[project @ 2000-07-13 08:56:42 by sewardj]
sparc NCG is now enabled by default for non-opt compilation.

[project @ 2000-07-13 08:49:24 by sewardj]
Reg needs to be imported non-abstractly for sparc.

[project @ 2000-07-12 13:04:31 by sewardj]
Make the x86 NCG work again following recent sparc hackage.

Also, fix the x86 bits pertaining to the floats-promoted-to-doubles-
in-ccalls problem.  So this problem should no longer exist on x86
or sparc via NCG.

[project @ 2000-07-12 09:58:49 by simonmar]
use Maybe.isJust instead of proprietary verison.

[project @ 2000-07-11 23:02:39 by michaelw]
added Debian location to DocBook catalog test

[project @ 2000-07-11 21:29:46 by michaelw]
typo

[project @ 2000-07-11 21:25:37 by michaelw]
updated comments

[project @ 2000-07-11 20:45:29 by panne]
Hash MachLabel, too

[project @ 2000-07-11 19:28:34 by panne]
Replace RcFloating with RcFloat/RcDouble. I'm not exactly sure what
I'm doing here, so somebody else should better have a look.

[project @ 2000-07-11 19:17:20 by panne]
* linux_TARGET_ARCH => i386_TARGET_ARCH
* move callClobberedRegs into safety in front of the register
  #define-orgy (what the ... is this cpp-ery for? %-]

[project @ 2000-07-11 16:41:19 by simonmar]
reinstate used import

[project @ 2000-07-11 16:24:57 by simonmar]
remove unused imports

[project @ 2000-07-11 16:12:11 by simonmar]
remove unused imports

[project @ 2000-07-11 16:04:38 by simonmar]
remove unused imports

[project @ 2000-07-11 16:03:37 by simonmar]
remove unused imports; misc cleanup

[project @ 2000-07-11 15:58:26 by simonmar]
remove unused imports; misc cleanup

[project @ 2000-07-11 15:57:45 by simonmar]
remove unused imports

[project @ 2000-07-11 15:57:11 by simonmar]
use MachLabel rather than MachLitLit for compiling foreign label and
foreign export dynamic.