ghc.git
19 years ago[project @ 2000-08-04 23:28:04 by lewie]
lewie [Fri, 4 Aug 2000 23:28:04 +0000 (23:28 +0000)] 
[project @ 2000-08-04 23:28:04 by lewie]
Pulled in latest versions from autoconf 2.13.  Necessary for OpenBSD port.

19 years ago[project @ 2000-08-04 12:04:08 by simonmar]
simonmar [Fri, 4 Aug 2000 12:04:08 +0000 (12:04 +0000)] 
[project @ 2000-08-04 12:04:08 by simonmar]
wibble

19 years ago[project @ 2000-08-04 09:45:20 by simonmar]
simonmar [Fri, 4 Aug 2000 09:45:20 +0000 (09:45 +0000)] 
[project @ 2000-08-04 09:45:20 by simonmar]
Another attempt at getting the pipeline stuff right.  Fixed at least
one bug.

19 years ago[project @ 2000-08-04 09:02:56 by simonmar]
simonmar [Fri, 4 Aug 2000 09:02:56 +0000 (09:02 +0000)] 
[project @ 2000-08-04 09:02:56 by simonmar]
-split-objs is entirely reasonable in conjunction with -fasm

19 years ago[project @ 2000-08-03 16:47:51 by simonmar]
simonmar [Thu, 3 Aug 2000 16:47:51 +0000 (16:47 +0000)] 
[project @ 2000-08-03 16:47:51 by simonmar]
wibble

19 years ago[project @ 2000-08-03 13:43:00 by simonmar]
simonmar [Thu, 3 Aug 2000 13:43:00 +0000 (13:43 +0000)] 
[project @ 2000-08-03 13:43:00 by simonmar]
- Implement the mkdepend -X<dir> and --exclude-directory=<dir> options.
- some small cleanups

19 years ago[project @ 2000-08-03 13:29:46 by rrt]
rrt [Thu, 3 Aug 2000 13:29:46 +0000 (13:29 +0000)] 
[project @ 2000-08-03 13:29:46 by rrt]
Removed isLocallyDefinedName test in isDllName, as SPJ's with SM's suggestion
that it's redundant.

19 years ago[project @ 2000-08-03 13:22:47 by simonmar]
simonmar [Thu, 3 Aug 2000 13:22:47 +0000 (13:22 +0000)] 
[project @ 2000-08-03 13:22:47 by simonmar]
The parser didn't properly check that the constructor in a data
declaration really are constructors (ie. begin with an upper case
character).  This patch fixes the problem.

bug reported by: Tim Giesler, a couple of weeks ago.

19 years ago[project @ 2000-08-03 11:34:41 by simonmar]
simonmar [Thu, 3 Aug 2000 11:34:41 +0000 (11:34 +0000)] 
[project @ 2000-08-03 11:34:41 by simonmar]
Update the documentation on the +RTS -C option, and remove the note
saying that it doesn't work.

19 years ago[project @ 2000-08-03 11:28:35 by simonmar]
simonmar [Thu, 3 Aug 2000 11:28:35 +0000 (11:28 +0000)] 
[project @ 2000-08-03 11:28:35 by simonmar]
Implement +RTS -C<n>, the context switch interval flag.  This was
previously advertised in the usage message, but there was a note in
the Users' Guide stating that it didn't work.  Anwyay, I'm going to
consider it a bug and backport to 4.08.1.

19 years ago[project @ 2000-08-03 10:19:40 by simonmar]
simonmar [Thu, 3 Aug 2000 10:19:40 +0000 (10:19 +0000)] 
[project @ 2000-08-03 10:19:40 by simonmar]
Add a cross-ref to the section on Packages from the mention of the
-package flag in the section on linking.

19 years ago[project @ 2000-08-02 16:32:51 by simonmar]
simonmar [Wed, 2 Aug 2000 16:32:51 +0000 (16:32 +0000)] 
[project @ 2000-08-02 16:32:51 by simonmar]
remove mkdependHS from the list of directories.

19 years ago[project @ 2000-08-02 15:39:11 by simonmar]
simonmar [Wed, 2 Aug 2000 15:39:11 +0000 (15:39 +0000)] 
[project @ 2000-08-02 15:39:11 by simonmar]
Remove the old mkdependHS cruft.

19 years ago[project @ 2000-08-02 15:27:25 by simonmar]
simonmar [Wed, 2 Aug 2000 15:27:25 +0000 (15:27 +0000)] 
[project @ 2000-08-02 15:27:25 by simonmar]
Assimilate mkdependHS into the driver, obsoleting the old Perl version.

The functionality is pretty much identical, except a few of the flags
accepted by the old version aren't implemented (--exclude-module,
--exclude-directory, --include-module).  If anyone needs these
options, please speak up.

19 years ago[project @ 2000-08-02 14:13:26 by rrt]
rrt [Wed, 2 Aug 2000 14:13:28 +0000 (14:13 +0000)] 
[project @ 2000-08-02 14:13:26 by rrt]
Many fixes to DLLisation. These were previously covered up because code was
leaking into the import libraries for DLLs, so the fact that some symbols
were thought of as local rather than in another DLL wasn't a problem.

The main problems addressed by this commit are:

1. Fixes RTS symbols working properly when DLLised. They didn't before.
2. Uses NULL instead of stg_error_entry, because DLL entry points can't be
   used as static initialisers.
3. PrelGHC.hi-boot changed to be in package RTS, and export of PrelNum and
   PrelErr moved to PrelBase, so that references to primops & the like
   are cross-DLL as they should be.
4. Pass imports around as Modules rather than ModuleNames, so that
   ModuleInitLabels can be checked to see if they're in a DLL or not.

19 years ago[project @ 2000-08-02 13:42:32 by rrt]
rrt [Wed, 2 Aug 2000 13:42:32 +0000 (13:42 +0000)] 
[project @ 2000-08-02 13:42:32 by rrt]
Now copied from ghc/rts/gmp.h

19 years ago[project @ 2000-08-02 13:38:13 by rrt]
rrt [Wed, 2 Aug 2000 13:38:13 +0000 (13:38 +0000)] 
[project @ 2000-08-02 13:38:13 by rrt]
Allow GMP to be compiled as a DLL.

19 years ago[project @ 2000-08-01 09:08:25 by simonpj]
simonpj [Tue, 1 Aug 2000 09:08:30 +0000 (09:08 +0000)] 
[project @ 2000-08-01 09:08:25 by simonpj]
Simon's Marktoberdorf Commits

1.  Tidy up the renaming story for "system binders", such as
dictionary functions, default methods, constructor workers etc.  These
are now documented in HsDecls.  The main effect of the change, apart
from tidying up, is to make the *type-checker* (instead of the
renamer) generate names for dict-funs and default-methods.  This is
good because Sergei's generic-class stuff generates new classes at
typecheck time.

2.  Fix the CSE pass so it does not require the no-shadowing invariant.
Keith discovered that the simplifier occasionally returns a result
with shadowing.  After much fiddling around (which has improved the
code in the simplifier a bit) I found that it is nearly impossible to
arrange that it really does do no-shadowing.  So I gave up and fixed
the CSE pass (which is the only one to rely on it) instead.

3. Fix a performance bug in the simplifier.  The change is in
SimplUtils.interestingArg.  It computes whether an argment should
be considered "interesting"; if a function is applied to an interesting
argument, we are more likely to inline that function.
Consider this case
let x = 3 in f x
The 'x' argument was considered "uninteresting" for a silly reason.
Since x only occurs once, it was unconditionally substituted, but
interestingArg didn't take account of that case.  Now it does.

I also made interestingArg a bit more liberal.  Let's see if we
get too much inlining now.

4.  In the occurrence analyser, we were choosing a bad loop breaker.
Here's the comment that's now in OccurAnal.reOrderRec

    score ((bndr, rhs), _, _)
| exprIsTrivial rhs     = 3 -- Practically certain to be inlined
-- Used to have also: && not (isExportedId bndr)
-- But I found this sometimes cost an extra iteration when we have
-- rec { d = (a,b); a = ...df...; b = ...df...; df = d }
-- where df is the exported dictionary. Then df makes a really
-- bad choice for loop breaker

I also increased the score for bindings with a non-functional type, so that
dictionaries have a better chance of getting inlined early

5. Add a hash code to the InScopeSet (and make it properly abstract)
This should make uniqAway a lot more robust.  Simple experiments suggest
that uniqAway no longer gets into the long iteration chains that it used
to.

6.  Fix a bug in the inliner that made the simplifier tend to get into
a loop where it would keep iterating ("4 iterations, bailing out" message).
In SimplUtils.mkRhsTyLam we float bindings out past a big lambda, thus:
x = /\ b -> let g = \x -> f x x
    in E
becomes
g* = /\a -> \x -> f x x
x = /\ b -> let g = g* b in E

It's essential that we don't simply inling g* back into the RHS of g,
else we will be back to square 1.  The inliner is meant not to do this
because there's no benefit to the inlining, but the size calculation
was a little off in CoreUnfold.

7.  In SetLevels we were bogus-ly building a Subst with an empty in-scope
set, so a WARNING popped up when compiling some modules.  (knights/ChessSetList
was the example that tickled it.)  Now in fact the warning wasn't an error,
but the Right Thing to do is to carry down a proper Subst in SetLevels, so
that is what I have now done.  It is very little more expensive.

19 years ago[project @ 2000-07-31 10:12:19 by simonmar]
simonmar [Mon, 31 Jul 2000 10:12:19 +0000 (10:12 +0000)] 
[project @ 2000-07-31 10:12:19 by simonmar]
include GMP's configure files in a src dist.

19 years ago[project @ 2000-07-31 10:06:30 by simonmar]
simonmar [Mon, 31 Jul 2000 10:06:30 +0000 (10:06 +0000)] 
[project @ 2000-07-31 10:06:30 by simonmar]
x.yy.DDMMYYYY should be x.yy.YYYYMMDD for unstable snapshots.

19 years ago[project @ 2000-07-27 15:29:31 by michaelw]
michaelw [Thu, 27 Jul 2000 15:29:31 +0000 (15:29 +0000)] 
[project @ 2000-07-27 15:29:31 by michaelw]
typo

19 years ago[project @ 2000-07-27 10:46:00 by simonmar]
simonmar [Thu, 27 Jul 2000 10:46:00 +0000 (10:46 +0000)] 
[project @ 2000-07-27 10:46:00 by simonmar]
fix for .hc files

19 years ago[project @ 2000-07-27 10:26:04 by simonmar]
simonmar [Thu, 27 Jul 2000 10:26:04 +0000 (10:26 +0000)] 
[project @ 2000-07-27 10:26:04 by simonmar]
Cleanup of the compilation pipeline.  Now the list of phases to run
for each filename is generated statically, rather than on-the-fly.

Things should be more robust; some nonsense combinations of flags and
input files are now thrown out.

19 years ago[project @ 2000-07-27 09:02:05 by sewardj]
sewardj [Thu, 27 Jul 2000 09:02:05 +0000 (09:02 +0000)] 
[project @ 2000-07-27 09:02:05 by sewardj]
Redo the sparc Ccall machinery, so as to correctly handle the case
where one or more of the args to a Ccall is itself a Ccall.  Prior to
the advent of the Stix inliner, this could never happen, but now it
does.

19 years ago[project @ 2000-07-26 20:47:21 by michaelw]
michaelw [Wed, 26 Jul 2000 20:47:21 +0000 (20:47 +0000)] 
[project @ 2000-07-26 20:47:21 by michaelw]
* backup files are only generated, if there is an old dependency file.

* if $Makefile is "-", print dependencies to STDOUT *without* creating
  a backup file.

*** MERGE with 4.08.1 ***

19 years ago[project @ 2000-07-26 18:11:06 by michaelw]
michaelw [Wed, 26 Jul 2000 18:11:06 +0000 (18:11 +0000)] 
[project @ 2000-07-26 18:11:06 by michaelw]
added newline at EOF of package files

19 years ago[project @ 2000-07-26 14:48:16 by simonmar]
simonmar [Wed, 26 Jul 2000 14:48:16 +0000 (14:48 +0000)] 
[project @ 2000-07-26 14:48:16 by simonmar]
Panic if we try to allocate more than a block's worth of memory in one
go.  No fix yet, but at least this is better than going into an
infinite loop at runtime.

19 years ago[project @ 2000-07-26 13:29:03 by simonmar]
simonmar [Wed, 26 Jul 2000 13:29:03 +0000 (13:29 +0000)] 
[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)

19 years ago[project @ 2000-07-26 13:27:54 by simonmar]
simonmar [Wed, 26 Jul 2000 13:27:54 +0000 (13:27 +0000)] 
[project @ 2000-07-26 13:27:54 by simonmar]
Add a constant definition for WORD_SIZE, the size of an StgWord in bytes.

19 years ago[project @ 2000-07-26 13:13:49 by simonmar]
simonmar [Wed, 26 Jul 2000 13:13:49 +0000 (13:13 +0000)] 
[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.

19 years ago[project @ 2000-07-25 18:16:53 by rrt]
rrt [Tue, 25 Jul 2000 18:16:53 +0000 (18:16 +0000)] 
[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.

19 years ago[project @ 2000-07-25 18:10:38 by rrt]
rrt [Tue, 25 Jul 2000 18:10:38 +0000 (18:10 +0000)] 
[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.

19 years ago[project @ 2000-07-25 15:54:38 by simonmar]
simonmar [Tue, 25 Jul 2000 15:54:38 +0000 (15:54 +0000)] 
[project @ 2000-07-25 15:54:38 by simonmar]
increase the repeat count; this bug is pretty fragile

19 years ago[project @ 2000-07-25 15:48:16 by simonmar]
simonmar [Tue, 25 Jul 2000 15:48:16 +0000 (15:48 +0000)] 
[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

19 years ago[project @ 2000-07-25 15:20:10 by simonmar]
simonmar [Tue, 25 Jul 2000 15:20:10 +0000 (15:20 +0000)] 
[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.

19 years ago[project @ 2000-07-25 12:24:14 by michaelw]
michaelw [Tue, 25 Jul 2000 12:24:14 +0000 (12:24 +0000)] 
[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)

19 years ago[project @ 2000-07-24 15:31:47 by simonmar]
simonmar [Mon, 24 Jul 2000 15:31:47 +0000 (15:31 +0000)] 
[project @ 2000-07-24 15:31:47 by simonmar]
update documentation to reflect changes in the format of a package spec.

19 years ago[project @ 2000-07-24 15:16:44 by simonmar]
simonmar [Mon, 24 Jul 2000 15:16:44 +0000 (15:16 +0000)] 
[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.

19 years ago[project @ 2000-07-24 14:29:55 by simonmar]
simonmar [Mon, 24 Jul 2000 14:29:55 +0000 (14:29 +0000)] 
[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.

19 years ago[project @ 2000-07-23 10:53:11 by panne]
panne [Sun, 23 Jul 2000 10:53:12 +0000 (10:53 +0000)] 
[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?)

19 years ago[project @ 2000-07-21 09:48:47 by rrt]
rrt [Fri, 21 Jul 2000 09:48:47 +0000 (09:48 +0000)] 
[project @ 2000-07-21 09:48:47 by rrt]
Fix EXTINFO_RTS.

19 years ago[project @ 2000-07-21 09:31:46 by rrt]
rrt [Fri, 21 Jul 2000 09:31:46 +0000 (09:31 +0000)] 
[project @ 2000-07-21 09:31:46 by rrt]
Add EXTINFO_RTS and use it (same as EXTFUN_RTS for info tables).

19 years ago[project @ 2000-07-21 09:11:19 by rrt]
rrt [Fri, 21 Jul 2000 09:11:19 +0000 (09:11 +0000)] 
[project @ 2000-07-21 09:11:19 by rrt]
Changed ERTSF_ to EXTFUN_RTS.

19 years ago[project @ 2000-07-21 09:01:48 by rrt]
rrt [Fri, 21 Jul 2000 09:01:48 +0000 (09:01 +0000)] 
[project @ 2000-07-21 09:01:48 by rrt]
Removed ERTSF_ and used EXTFUN_RTS instead, which does the same thing.

19 years ago[project @ 2000-07-21 08:45:05 by rrt]
rrt [Fri, 21 Jul 2000 08:45:05 +0000 (08:45 +0000)] 
[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).

19 years ago[project @ 2000-07-21 08:40:04 by rrt]
rrt [Fri, 21 Jul 2000 08:40:04 +0000 (08:40 +0000)] 
[project @ 2000-07-21 08:40:04 by rrt]
Add dll as a fully-fledged way.

19 years ago[project @ 2000-07-21 08:37:30 by rrt]
rrt [Fri, 21 Jul 2000 08:37:30 +0000 (08:37 +0000)] 
[project @ 2000-07-21 08:37:30 by rrt]
Make gmp.dll in DLL_PEN.

19 years ago[project @ 2000-07-21 08:35:22 by rrt]
rrt [Fri, 21 Jul 2000 08:35:22 +0000 (08:35 +0000)] 
[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.

19 years ago[project @ 2000-07-20 17:06:41 by rrt]
rrt [Thu, 20 Jul 2000 17:06:41 +0000 (17:06 +0000)] 
[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>

19 years ago[project @ 2000-07-20 12:33:09 by rrt]
rrt [Thu, 20 Jul 2000 12:33:09 +0000 (12:33 +0000)] 
[project @ 2000-07-20 12:33:09 by rrt]
4.07->4.08

19 years ago[project @ 2000-07-20 12:32:50 by rrt]
rrt [Thu, 20 Jul 2000 12:32:50 +0000 (12:32 +0000)] 
[project @ 2000-07-20 12:32:50 by rrt]
Fixed a version-o.

19 years ago[project @ 2000-07-20 10:50:47 by rrt]
rrt [Thu, 20 Jul 2000 10:50:47 +0000 (10:50 +0000)] 
[project @ 2000-07-20 10:50:47 by rrt]
&amp;gt; => &gt;

19 years ago[project @ 2000-07-20 10:34:42 by rrt]
rrt [Thu, 20 Jul 2000 10:34:42 +0000 (10:34 +0000)] 
[project @ 2000-07-20 10:34:42 by rrt]
Updated instructions for Windows install to reflect reality as of v4.08.

19 years ago[project @ 2000-07-19 14:46:40 by rrt]
rrt [Wed, 19 Jul 2000 14:46:40 +0000 (14:46 +0000)] 
[project @ 2000-07-19 14:46:40 by rrt]
Added -dll option for dll way, now a proper way.

19 years ago[project @ 2000-07-19 14:45:53 by rrt]
rrt [Wed, 19 Jul 2000 14:45:53 +0000 (14:45 +0000)] 
[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.

19 years ago[project @ 2000-07-19 10:07:29 by rrt]
rrt [Wed, 19 Jul 2000 10:07:29 +0000 (10:07 +0000)] 
[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.

19 years ago[project @ 2000-07-19 08:46:10 by rrt]
rrt [Wed, 19 Jul 2000 08:46:10 +0000 (08:46 +0000)] 
[project @ 2000-07-19 08:46:10 by rrt]
Stop doing all system calls via "sh -c", as this messed up quoting.

19 years ago[project @ 2000-07-18 17:34:52 by rrt]
rrt [Tue, 18 Jul 2000 17:34:52 +0000 (17:34 +0000)] 
[project @ 2000-07-18 17:34:52 by rrt]
oops, ghc-inplace ain't an EXE.

19 years ago[project @ 2000-07-18 17:31:02 by rrt]
rrt [Tue, 18 Jul 2000 17:31:02 +0000 (17:31 +0000)] 
[project @ 2000-07-18 17:31:02 by rrt]
Added a few EXE_SUFFIXes to get the driver going on Windows.

19 years ago[project @ 2000-07-18 17:29:53 by rrt]
rrt [Tue, 18 Jul 2000 17:29:53 +0000 (17:29 +0000)] 
[project @ 2000-07-18 17:29:53 by rrt]
Changed ExeSuffix to exeext (which is what configure.in actually calls it).

19 years ago[project @ 2000-07-18 17:09:02 by simonmar]
simonmar [Tue, 18 Jul 2000 17:09:02 +0000 (17:09 +0000)] 
[project @ 2000-07-18 17:09:02 by simonmar]
remove hscpp

19 years ago[project @ 2000-07-18 15:57:16 by rrt]
rrt [Tue, 18 Jul 2000 15:57:16 +0000 (15:57 +0000)] 
[project @ 2000-07-18 15:57:16 by rrt]
Add $(EXE_SUFFIX) to hp2ps and unlit

19 years ago[project @ 2000-07-18 15:55:19 by rrt]
rrt [Tue, 18 Jul 2000 15:55:19 +0000 (15:55 +0000)] 
[project @ 2000-07-18 15:55:19 by rrt]
Move dlls to $(DLL_PEN) after generation.

19 years ago[project @ 2000-07-18 15:39:59 by rrt]
rrt [Tue, 18 Jul 2000 15:39:59 +0000 (15:39 +0000)] 
[project @ 2000-07-18 15:39:59 by rrt]
Move DLLs to $(DLL_PEN) after generation.

19 years ago[project @ 2000-07-18 14:50:32 by simonpj]
simonpj [Tue, 18 Jul 2000 14:50:32 +0000 (14:50 +0000)] 
[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!

19 years ago[project @ 2000-07-18 14:50:07 by simonmar]
simonmar [Tue, 18 Jul 2000 14:50:07 +0000 (14:50 +0000)] 
[project @ 2000-07-18 14:50:07 by simonmar]
fix finding of the usage message (again).

19 years ago[project @ 2000-07-18 14:47:52 by simonpj]
simonpj [Tue, 18 Jul 2000 14:47:52 +0000 (14:47 +0000)] 
[project @ 2000-07-18 14:47:52 by simonpj]
Add comment

19 years ago[project @ 2000-07-18 14:46:48 by simonpj]
simonpj [Tue, 18 Jul 2000 14:46:48 +0000 (14:46 +0000)] 
[project @ 2000-07-18 14:46:48 by simonpj]
Add type-sig test

19 years ago[project @ 2000-07-18 13:31:34 by rrt]
rrt [Tue, 18 Jul 2000 13:31:34 +0000 (13:31 +0000)] 
[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.

19 years ago[project @ 2000-07-18 08:08:35 by simonpj]
simonpj [Tue, 18 Jul 2000 08:08:35 +0000 (08:08 +0000)] 
[project @ 2000-07-18 08:08:35 by simonpj]
Remove dead code: checkConstraints and univErr

19 years ago[project @ 2000-07-17 18:44:16 by keithw]
keithw [Mon, 17 Jul 2000 18:44:16 +0000 (18:44 +0000)] 
[project @ 2000-07-17 18:44:16 by keithw]
Insert code to handle instruction counts from Heimdall, as well as
CacheProf.

19 years ago[project @ 2000-07-17 16:02:02 by rrt]
rrt [Mon, 17 Jul 2000 16:02:02 +0000 (16:02 +0000)] 
[project @ 2000-07-17 16:02:02 by rrt]
Fixed a bracket-o.

19 years ago[project @ 2000-07-17 15:27:15 by rrt]
rrt [Mon, 17 Jul 2000 15:27:15 +0000 (15:27 +0000)] 
[project @ 2000-07-17 15:27:15 by rrt]
Windows fixes and tidying up.

19 years ago[project @ 2000-07-17 15:25:05 by rrt]
rrt [Mon, 17 Jul 2000 15:25:05 +0000 (15:25 +0000)] 
[project @ 2000-07-17 15:25:05 by rrt]
Windows fixes.

19 years ago[project @ 2000-07-17 15:15:40 by rrt]
rrt [Mon, 17 Jul 2000 15:15:40 +0000 (15:15 +0000)] 
[project @ 2000-07-17 15:15:40 by rrt]
Changed __MINGW32__ to mingw32_TARGET_OS to cope with latest mingwin.

19 years ago[project @ 2000-07-17 15:11:00 by rrt]
rrt [Mon, 17 Jul 2000 15:11:00 +0000 (15:11 +0000)] 
[project @ 2000-07-17 15:11:00 by rrt]
Rename files in line with RTS.

19 years ago[project @ 2000-07-17 15:10:14 by rrt]
rrt [Mon, 17 Jul 2000 15:10:14 +0000 (15:10 +0000)] 
[project @ 2000-07-17 15:10:14 by rrt]
Use GMP dll rather than static library under mingwin.

19 years ago[project @ 2000-07-17 15:09:35 by rrt]
rrt [Mon, 17 Jul 2000 15:09:35 +0000 (15:09 +0000)] 
[project @ 2000-07-17 15:09:35 by rrt]
Removed definitions of symbols which are now defined in the mingwin header
files.

19 years ago[project @ 2000-07-17 14:33:49 by keithw]
keithw [Mon, 17 Jul 2000 14:33:49 +0000 (14:33 +0000)] 
[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!

19 years ago[project @ 2000-07-17 11:28:32 by simonpj]
simonpj [Mon, 17 Jul 2000 11:28:32 +0000 (11:28 +0000)] 
[project @ 2000-07-17 11:28:32 by simonpj]
Eliminate need for built-in Rational type

19 years ago[project @ 2000-07-17 11:28:00 by simonpj]
simonpj [Mon, 17 Jul 2000 11:28:00 +0000 (11:28 +0000)] 
[project @ 2000-07-17 11:28:00 by simonpj]
Print operator names in HsExpr better

19 years ago[project @ 2000-07-17 11:15:07 by simonmar]
simonmar [Mon, 17 Jul 2000 11:15:08 +0000 (11:15 +0000)] 
[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).

19 years ago[project @ 2000-07-17 10:05:59 by rrt]
rrt [Mon, 17 Jul 2000 10:05:59 +0000 (10:05 +0000)] 
[project @ 2000-07-17 10:05:59 by rrt]
Merged Julian's changes to make it more comprehensible to non FP programmers.

19 years ago[project @ 2000-07-17 09:02:18 by simonmar]
simonmar [Mon, 17 Jul 2000 09:02:18 +0000 (09:02 +0000)] 
[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)

19 years ago[project @ 2000-07-17 07:47:04 by simonpj]
simonpj [Mon, 17 Jul 2000 07:47:04 +0000 (07:47 +0000)] 
[project @ 2000-07-17 07:47:04 by simonpj]
Add comments

19 years ago[project @ 2000-07-16 21:31:36 by panne]
panne [Sun, 16 Jul 2000 21:31:36 +0000 (21:31 +0000)] 
[project @ 2000-07-16 21:31:36 by panne]
Document new -fstrictfp option

19 years ago[project @ 2000-07-16 21:10:48 by panne]
panne [Sun, 16 Jul 2000 21:10:48 +0000 (21:10 +0000)] 
[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.

19 years ago[project @ 2000-07-16 20:58:48 by panne]
panne [Sun, 16 Jul 2000 20:58:48 +0000 (20:58 +0000)] 
[project @ 2000-07-16 20:58:48 by panne]
Added new -fstrictfp flag

19 years ago[project @ 2000-07-16 20:54:45 by panne]
panne [Sun, 16 Jul 2000 20:54:45 +0000 (20:54 +0000)] 
[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)

19 years ago[project @ 2000-07-15 15:09:45 by panne]
panne [Sat, 15 Jul 2000 15:09:45 +0000 (15:09 +0000)] 
[project @ 2000-07-15 15:09:45 by panne]
Merged Marcin's patches for unboxed thingies

19 years ago[project @ 2000-07-14 23:54:06 by lewie]
lewie [Fri, 14 Jul 2000 23:54:06 +0000 (23:54 +0000)] 
[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.

19 years ago[project @ 2000-07-14 16:43:20 by simonpj]
simonpj [Fri, 14 Jul 2000 16:43:20 +0000 (16:43 +0000)] 
[project @ 2000-07-14 16:43:20 by simonpj]
Add mutually recursive kind inference test

19 years ago[project @ 2000-07-14 13:38:55 by simonpj]
simonpj [Fri, 14 Jul 2000 13:38:55 +0000 (13:38 +0000)] 
[project @ 2000-07-14 13:38:55 by simonpj]
Fix typeKind

19 years ago[project @ 2000-07-14 13:38:39 by simonpj]
simonpj [Fri, 14 Jul 2000 13:38:39 +0000 (13:38 +0000)] 
[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.)

19 years ago[project @ 2000-07-14 13:37:53 by simonpj]
simonpj [Fri, 14 Jul 2000 13:37:53 +0000 (13:37 +0000)] 
[project @ 2000-07-14 13:37:53 by simonpj]
Wibbles in the new kind-checking stuff

19 years ago[project @ 2000-07-14 13:37:07 by simonpj]
simonpj [Fri, 14 Jul 2000 13:37:07 +0000 (13:37 +0000)] 
[project @ 2000-07-14 13:37:07 by simonpj]
Add a type signature

19 years ago[project @ 2000-07-14 13:36:33 by simonpj]
simonpj [Fri, 14 Jul 2000 13:36:33 +0000 (13:36 +0000)] 
[project @ 2000-07-14 13:36:33 by simonpj]
Tidy up newMutTyVar/newSigTyVar

19 years ago[project @ 2000-07-14 13:28:35 by simonmar]
simonmar [Fri, 14 Jul 2000 13:28:35 +0000 (13:28 +0000)] 
[project @ 2000-07-14 13:28:35 by simonmar]
remove unused #include "gmp.h"

19 years ago[project @ 2000-07-14 09:34:02 by simonmar]
simonmar [Fri, 14 Jul 2000 09:34:02 +0000 (09:34 +0000)] 
[project @ 2000-07-14 09:34:02 by simonmar]
Add a section describing GHC's version numbering policy.

19 years ago[project @ 2000-07-14 09:26:23 by simonmar]
simonmar [Fri, 14 Jul 2000 09:26:23 +0000 (09:26 +0000)] 
[project @ 2000-07-14 09:26:23 by simonmar]
wibble