rrt [Mon, 25 Jun 2001 11:11:16 +0000 (11:11 +0000)]
[project @ 2001-06-25 11:11:16 by rrt]
Fix so that it compiles on both pre and post 5.00 series compilers.
rrt [Mon, 25 Jun 2001 09:49:59 +0000 (09:49 +0000)]
[project @ 2001-06-25 09:49:59 by rrt]
Comment out an uncomfortable ASSERT for now.
rrt [Mon, 25 Jun 2001 09:44:10 +0000 (09:44 +0000)]
[project @ 2001-06-25 09:44:10 by rrt]
Add more symbols for mingwin version to get it to work. This still needs
tidying up.
rrt [Mon, 25 Jun 2001 09:34:11 +0000 (09:34 +0000)]
[project @ 2001-06-25 09:34:11 by rrt]
Remove hacked-in definition of system for mingwin; instead we now just link
against the new version of systemCmd from lib/std/cbits/system.c.
simonpj [Mon, 25 Jun 2001 08:10:03 +0000 (08:10 +0000)]
[project @ 2001-06-25 08:09:57 by simonpj]
----------------
Squash newtypes
----------------
This commit squashes newtypes and their coerces, from the typechecker
onwards. The original idea was that the coerces would not get in the
way of optimising transformations, but despite much effort they continue
to do so. There's no very good reason to retain newtype information
beyond the typechecker, so now we don't.
Main points:
* The post-typechecker suite of Type-manipulating functions is in
types/Type.lhs, as before. But now there's a new suite in types/TcType.lhs.
The difference is that in the former, newtype are transparent, while in
the latter they are opaque. The typechecker should only import TcType,
not Type.
* The operations in TcType are all non-monadic, and most of them start with
"tc" (e.g. tcSplitTyConApp). All the monadic operations (used exclusively
by the typechecker) are in a new module, typecheck/TcMType.lhs
* I've grouped newtypes with predicate types, thus:
data Type = TyVarTy Tyvar | ....
| SourceTy SourceType
data SourceType = NType TyCon [Type]
| ClassP Class [Type]
| IParam Type
[SourceType was called PredType.] This is a little wierd in some ways,
because NTypes can't occur in qualified types. However, the idea is that
a SourceType is a type that is opaque to the type checker, but transparent
to the rest of the compiler, and newtypes fit that as do implicit parameters
and dictionaries.
* Recursive newtypes still retain their coreces, exactly as before. If
they were transparent we'd get a recursive type, and that would make
various bits of the compiler diverge (e.g. things which do type comparison).
* I've removed types/Unify.lhs (non-monadic type unifier and matcher),
merging it into TcType.
Ditto typecheck/TcUnify.lhs (monadic unifier), merging it into TcMType.
simonpj [Mon, 25 Jun 2001 08:08:32 +0000 (08:08 +0000)]
[project @ 2001-06-25 08:08:32 by simonpj]
---------------------------
Add a new case optimisation
---------------------------
I found that lib/std/PrelCError had a case-expression that was
generating terrible code. Something like this
x | p `is` 1 -> e1
| p `is` 2 -> e2
...etc...
where @is@ was something like
p `is` n = p /= (-1) && p == n
This gave rise to a horrible sequence of cases
case p of
(-1) -> $j p
1 -> e1
DEFAULT -> $j p
and similarly in cascade for all the join points!
Solution: add the following transformation:
case e of =====> case e of
C _ -> <expr> D v -> ....v....
D v -> ....v.... DEFAULT -> <expr>
DEFAULT -> <expr>
The point is that we merge common RHSs, at least for the DEFAULT case.
[One could do something more elaborate but I've never seen it needed.]
This transformation is implemented in SimplUtils.mkCase
*** WARNING ***
To make this transformation easy, I have switched the convention
for DEFAULT clauses. They must now occur FIRST in the list of
alternatives for a Core case expression. (The semantics is
unchanged: they still are a catch-all case.)
The reason is that DEFAULT clauses sometimes need special treatment,
and it's a lot easier to find them at the front.
The easiest way to be insensitive to this change is to use
CoreUtils.findDefault to pull the default clause out.
I've made the (surprisingly few) changes consequent on this changed
of convention, but they aren't in this commit. Instead they are part
of the big commit on newtypes I'm doing at the same time.
simonpj [Mon, 25 Jun 2001 08:01:16 +0000 (08:01 +0000)]
[project @ 2001-06-25 08:01:16 by simonpj]
----------------------------------
Fix a predicate-simplification bug
----------------------------------
Fixes a bug pointed out by Marcin
data R = R {f :: Int}
foo:: (?x :: Int) => R -> R
foo r = r {f = ?x}
Test.hs:4:
Could not deduce `?x :: Int' from the context ()
arising from use of implicit parameter `?x' at Test.hs:4
In the record update: r {f = ?x}
In the definition of `foo': r {f = ?x}
The predicate simplifier was declining to 'inherit' an
implicit parameter. This is right for a let-binding, but
wrong for an expression binding. For example, a simple
expression type signature:
(?x + 1) :: Int
This was rejected because the ?x constraint could not be
floated out -- but that's wrong for expressions.
sof [Mon, 25 Jun 2001 05:25:31 +0000 (05:25 +0000)]
[project @ 2001-06-25 05:25:31 by sof]
One RCS will do
sof [Mon, 25 Jun 2001 01:35:07 +0000 (01:35 +0000)]
[project @ 2001-06-25 01:35:07 by sof]
With -no-hs-main, don't force PrelMain.o to be linked (=> Main.o)
panne [Sat, 23 Jun 2001 12:54:18 +0000 (12:54 +0000)]
[project @ 2001-06-23 12:54:18 by panne]
Use libexecdir in scripts, not libdir
Note: hsc2hs has to be changed, too...
panne [Sat, 23 Jun 2001 10:54:07 +0000 (10:54 +0000)]
[project @ 2001-06-23 10:54:07 by panne]
Resurrect non-M$ compilation
rrt [Fri, 22 Jun 2001 13:32:45 +0000 (13:32 +0000)]
[project @ 2001-06-22 13:32:45 by rrt]
Add some extra tests and correct some error messages. This file is no longer
used for its original purpose, but is a useful example of how to start and
manage processes under Windows.
rrt [Fri, 22 Jun 2001 13:31:29 +0000 (13:31 +0000)]
[project @ 2001-06-22 13:31:29 by rrt]
Add machinery to copy system.c to main/ from lib/std/cbits/ when building
GHC on Windows with GHC<5.01, so that the new implementation of system can
be used rather than the old.
rrt [Fri, 22 Jun 2001 13:30:18 +0000 (13:30 +0000)]
[project @ 2001-06-22 13:30:18 by rrt]
Instead of using the old kludgedSystem on Windows, use the new system. This
makes the use of DOS built-ins such as copy work, which they didn't when the
command was run under sh (as the old kludgedSystem did).
rrt [Fri, 22 Jun 2001 13:28:44 +0000 (13:28 +0000)]
[project @ 2001-06-22 13:28:44 by rrt]
Move include of config.h to top so it works for mkdependC.
rrt [Fri, 22 Jun 2001 12:37:54 +0000 (12:37 +0000)]
[project @ 2001-06-22 12:37:54 by rrt]
Correct path to NCG.h
rrt [Fri, 22 Jun 2001 12:37:11 +0000 (12:37 +0000)]
[project @ 2001-06-22 12:37:11 by rrt]
Add wsock32 to list of libraries needed for rts under Windows.
rrt [Fri, 22 Jun 2001 12:36:34 +0000 (12:36 +0000)]
[project @ 2001-06-22 12:36:33 by rrt]
Fix paths to HsStd.h.
rrt [Fri, 22 Jun 2001 12:35:28 +0000 (12:35 +0000)]
[project @ 2001-06-22 12:35:28 by rrt]
Fix typo.
sof [Mon, 18 Jun 2001 21:45:49 +0000 (21:45 +0000)]
[project @ 2001-06-18 21:45:49 by sof]
For GHCen < 5.00, assume that Exception.throwTo is Exception.raiseInThread
simonmar [Mon, 18 Jun 2001 09:09:28 +0000 (09:09 +0000)]
[project @ 2001-06-18 09:09:28 by simonmar]
Forced commit to note that the previous commit also adds flushing of
stdout/stderr before printing an exception. This fixes the problem
reported by Leon Smith last week.
simonpj [Mon, 18 Jun 2001 08:56:09 +0000 (08:56 +0000)]
[project @ 2001-06-18 08:56:09 by simonpj]
Fix Unix imports
chak [Mon, 18 Jun 2001 03:45:23 +0000 (03:45 +0000)]
[project @ 2001-06-18 03:45:23 by chak]
Adapted to changes in build system
sof [Fri, 15 Jun 2001 22:00:11 +0000 (22:00 +0000)]
[project @ 2001-06-15 22:00:11 by sof]
Make it compile
simonpj [Fri, 15 Jun 2001 15:55:05 +0000 (15:55 +0000)]
[project @ 2001-06-15 15:55:05 by simonpj]
More windows wibbles
simonpj [Fri, 15 Jun 2001 15:20:20 +0000 (15:20 +0000)]
[project @ 2001-06-15 15:20:20 by simonpj]
* Restore SysTools.system, which implements a kludged version
of system for reasons that are explained at length in the comments
[overlong command-lines fail if compiling GHC with pre-5.02 GHCs]
* Wibble in Makefile
simonmar [Fri, 15 Jun 2001 15:15:33 +0000 (15:15 +0000)]
[project @ 2001-06-15 15:15:33 by simonmar]
Restore an #ifdef mingw32_TARGET_OS that shouldn't have been removed
(but do it better this time and don't use an arch-specific #ifdef).
simonmar [Fri, 15 Jun 2001 12:07:03 +0000 (12:07 +0000)]
[project @ 2001-06-15 12:07:03 by simonmar]
- separate location installed binaries from non-binaries (previously
installed package.conf was in $(libdir)/extra-bin).
- remove v_Path_Perl so that we don't accidentally wire-in the location of
perl on Unix systems. It wasn't actually used anywhere.
- minor non-functional cleanups and comment fixups.
- We still look for package.conf twice; I haven't done anything about
this yet.
simonmar [Fri, 15 Jun 2001 11:40:29 +0000 (11:40 +0000)]
[project @ 2001-06-15 11:40:29 by simonmar]
import Packages
simonmar [Fri, 15 Jun 2001 11:29:47 +0000 (11:29 +0000)]
[project @ 2001-06-15 11:29:47 by simonmar]
override $(libexecdir) to be $(libdir)/bin (the installation machinery
will have to catch up with this too).
simonpj [Fri, 15 Jun 2001 08:29:58 +0000 (08:29 +0000)]
[project @ 2001-06-15 08:29:57 by simonpj]
Some tidying up
* Remove CmStaticInfo
- GhciMode moves to HscTypes
- The package stuff moves to new module main/Packages.lhs
[put any package-related stuff in the new module]
* Add Outputable.docToSDoc
rrt [Thu, 14 Jun 2001 16:41:46 +0000 (16:41 +0000)]
[project @ 2001-06-14 16:41:46 by rrt]
Add getExecDir to return current directory of executable on Windows (to find
config information).
simonpj [Thu, 14 Jun 2001 15:42:35 +0000 (15:42 +0000)]
[project @ 2001-06-14 15:42:35 by simonpj]
Windows wibbles
simonmar [Thu, 14 Jun 2001 14:14:53 +0000 (14:14 +0000)]
[project @ 2001-06-14 14:14:53 by simonmar]
- CURRENT_DIR isn't used any more
- TmpFiles doesn't exist
simonmar [Thu, 14 Jun 2001 13:29:30 +0000 (13:29 +0000)]
[project @ 2001-06-14 13:29:30 by simonmar]
fix typo in Simon's commit (cGHC_RAWCPP ==> GHC_RAWCPP)
simonpj [Thu, 14 Jun 2001 12:50:07 +0000 (12:50 +0000)]
[project @ 2001-06-14 12:50:05 by simonpj]
----------------------
Installation packaging
----------------------
GHC runs various system programs like
cp, touch
gcc, as, ld etc
On Windows we plan to deliver these programs along with GHC,
so we have to be careful about where to find them.
This commit isolates all these dependencies in a single module
main/SysTools.lhs
Most of the #ifdefery for mingw has moved into this module.
There's some documentation in SysTools.lhs
Along the way I did lots of other cleanups. In particular
* There is no more 'globbing' needed when calling runSomething
* All file removal goes via the standard Directory.removeFile
* TmpFiles.hs has gone; absorbed into SysTools
* Some DynFlag stuff has moved from DriverFlags to CmdLineOpts
Still to do:
** I'm a bit concerned that calling removeFile one at a time
when deleting masses of split-object files is going to be
rather slow
** GHC now expects to find split,mangle,unlit in
libdir/extra-bin
instead of just
libdir
So something needs to change in the Unix installation scripts
** The "ineffective C preprocessor" is a perversion and should die
simonmar [Thu, 14 Jun 2001 11:46:55 +0000 (11:46 +0000)]
[project @ 2001-06-14 11:46:55 by simonmar]
just move some code around.
simonmar [Thu, 14 Jun 2001 09:47:37 +0000 (09:47 +0000)]
[project @ 2001-06-14 09:47:37 by simonmar]
comment fixes
rrt [Wed, 13 Jun 2001 17:13:15 +0000 (17:13 +0000)]
[project @ 2001-06-13 17:13:15 by rrt]
Make some paths work.
rrt [Wed, 13 Jun 2001 17:12:21 +0000 (17:12 +0000)]
[project @ 2001-06-13 17:12:21 by rrt]
Remove redundant and wrong ILX lines.
rrt [Wed, 13 Jun 2001 17:01:37 +0000 (17:01 +0000)]
[project @ 2001-06-13 17:01:37 by rrt]
Remove confusing out-of-date comment.
rrt [Wed, 13 Jun 2001 15:50:58 +0000 (15:50 +0000)]
[project @ 2001-06-13 15:50:57 by rrt]
Add an ext_name string to foreign dotnet types.
rrt [Wed, 13 Jun 2001 15:50:25 +0000 (15:50 +0000)]
[project @ 2001-06-13 15:50:25 by rrt]
Stop using kludgedSystem; the new Windows implementation of system works
instead.
simonmar [Wed, 13 Jun 2001 10:25:37 +0000 (10:25 +0000)]
[project @ 2001-06-13 10:25:37 by simonmar]
correct a comment (the -B option is mandatory).
simonmar [Wed, 13 Jun 2001 10:23:23 +0000 (10:23 +0000)]
[project @ 2001-06-13 10:23:23 by simonmar]
re-do package path munging that I b?rked yesterday
rrt [Tue, 12 Jun 2001 17:19:34 +0000 (17:19 +0000)]
[project @ 2001-06-12 17:19:34 by rrt]
Reimplement system() properly on Windows. This avoids two problems with
Windows system(): first, the maximum command-line length, and secondly, the
fact that system() returns before the command has completed, and sleep() was
used to hack around this.
This doesn't affect the use of kludgedSystem, which needs to be removed for
GHC not to need a shell at all.
simonmar [Tue, 12 Jun 2001 17:09:33 +0000 (17:09 +0000)]
[project @ 2001-06-12 17:09:33 by simonmar]
good riddance
simonmar [Tue, 12 Jun 2001 17:08:11 +0000 (17:08 +0000)]
[project @ 2001-06-12 17:08:11 by simonmar]
Don't install the pkgconf binary in a BIN_DIST any more.
simonmar [Tue, 12 Jun 2001 17:07:23 +0000 (17:07 +0000)]
[project @ 2001-06-12 17:07:23 by simonmar]
Allow paths in package.conf to begin with the string "$libdir" which
is magically replaced by the compiler with either
(a) the argument to the -B<dir> option, if one is present, or
(b) the wired-in libdir otherwise.
This means that the standard package.conf file is independent of the
install location and we don't need the post-install-script hack any
more (Julian - could you update the install machinery when the time
comes? thanks.)
simonpj [Tue, 12 Jun 2001 12:02:48 +0000 (12:02 +0000)]
[project @ 2001-06-12 12:02:48 by simonpj]
Make CoreTidy clone all top-level names
simonpj [Tue, 12 Jun 2001 11:15:45 +0000 (11:15 +0000)]
[project @ 2001-06-12 11:15:45 by simonpj]
wibble
sewardj [Mon, 11 Jun 2001 16:49:23 +0000 (16:49 +0000)]
[project @ 2001-06-11 16:49:23 by sewardj]
Ensure the boilerplate rule still applies for building HSstd_cbits.o.
simonpj [Mon, 11 Jun 2001 14:15:32 +0000 (14:15 +0000)]
[project @ 2001-06-11 14:15:32 by simonpj]
document data types with no constructors
simonpj [Mon, 11 Jun 2001 13:39:16 +0000 (13:39 +0000)]
[project @ 2001-06-11 13:39:16 by simonpj]
Changes to build HSstd1.o and HSstd2.o for GHCi in lib/std
dsyme [Mon, 11 Jun 2001 13:31:49 +0000 (13:31 +0000)]
[project @ 2001-06-11 13:31:49 by dsyme]
Modifications for GHC.NET (the ILX backend)
dsyme [Mon, 11 Jun 2001 13:15:10 +0000 (13:15 +0000)]
[project @ 2001-06-11 13:15:10 by dsyme]
Modifications to lib/std/Makefile for GHC.NET (ILX backend)
simonpj [Mon, 11 Jun 2001 12:24:53 +0000 (12:24 +0000)]
[project @ 2001-06-11 12:24:51 by simonpj]
--------------------------------------
Tidy up and improve "pattern contexts"
--------------------------------------
In various places (renamer, typechecker, desugarer) we need to know
what the context of a pattern match is (case expression, function defn,
let binding, etc). This commit tidies up the story quite a bit. I
think it represents a net decrease in code, and certainly it improves the
error messages from:
f x x = 3
Prevsiously we got a message like "Conflicting bindings for x in a pattern match",
but not it says "..in a defn of function f".
WARNING: the tidy up had a more global effect than I originally expected,
so it's possible that some other error messages look a bit peculiar. They
should be easy to fix, but tell us!
simonpj [Mon, 11 Jun 2001 12:21:17 +0000 (12:21 +0000)]
[project @ 2001-06-11 12:21:17 by simonpj]
--------------------------
Allow data type declarations
to have zero constructors
--------------------------
This allows
data T a
as a data type declaration; i.e. allows zero constructors.
If there is an '=' sign there must be at least one constructor.
* Parser.y: parse the declaration
* HsDecls: print out the data type declaration right
* TyCon: don't ASSERT that the constructors are non-empty
malcolm [Mon, 11 Jun 2001 08:58:21 +0000 (08:58 +0000)]
[project @ 2001-06-11 08:58:21 by malcolm]
Mention __NHC__ alongside __HUGS__ and __HBC__ in the description
of the cpp symbol __GLASGOW_HASKELL__.
qrczak [Sat, 9 Jun 2001 07:06:05 +0000 (07:06 +0000)]
[project @ 2001-06-09 07:06:05 by qrczak]
Fix hSetPosn type in the export comment.
sof [Fri, 8 Jun 2001 20:09:43 +0000 (20:09 +0000)]
[project @ 2001-06-08 20:09:43 by sof]
When checking to see whether the .o is up-to-date, use the -o .o (if given)
sof [Fri, 8 Jun 2001 18:59:11 +0000 (18:59 +0000)]
[project @ 2001-06-08 18:59:11 by sof]
findOnPackagePath: return file-path not directory
sewardj [Thu, 7 Jun 2001 16:00:18 +0000 (16:00 +0000)]
[project @ 2001-06-07 16:00:18 by sewardj]
Allow underscores in module names presented to the :module command.
simonmar [Thu, 7 Jun 2001 14:15:22 +0000 (14:15 +0000)]
[project @ 2001-06-07 14:15:22 by simonmar]
Don't force a module's {-# SOURCE #-} imports to have object linkables
in order for the current module's object linkable to be considered
valid (fixes some unnecessary recompilation with recursive modules).
sewardj [Thu, 7 Jun 2001 11:07:51 +0000 (11:07 +0000)]
[project @ 2001-06-07 11:07:51 by sewardj]
Fix Unix world breakage.
simonmar [Thu, 7 Jun 2001 11:03:08 +0000 (11:03 +0000)]
[project @ 2001-06-07 11:03:07 by simonmar]
First part of support for hierarchical module names:
- the Finder now searches all possible paths when looking for
a source file or .hi file. I've removed the caching because
now we have to search in subdirectories of each path option,
and it was dubious whether the cache was actually helping.
- the compilation manager now outputs a warning if it can't find
the source for a given module, only the .hi file. Previously
this caused a cryptic error message when we attempted to call
getModificationTime on the non-existent source file.
sewardj [Thu, 7 Jun 2001 10:45:30 +0000 (10:45 +0000)]
[project @ 2001-06-07 10:45:30 by sewardj]
Track current changes in the text-mode-seek-on-Windows saga.
sewardj [Thu, 7 Jun 2001 10:44:47 +0000 (10:44 +0000)]
[project @ 2001-06-07 10:44:47 by sewardj]
Try to improve matters in the text-mode-seek swamp. Only disallow
text-mode-seeks on Win32, rather than on all platforms. That means
that seeks in text mode on Unix platforms should work as originally
(which was the correct H98 behaviour), whilst Win32 generates
exceptions if you do seeks in text mode.
simonmar [Wed, 6 Jun 2001 14:41:45 +0000 (14:41 +0000)]
[project @ 2001-06-06 14:41:45 by simonmar]
yet more wibbles
simonmar [Wed, 6 Jun 2001 14:38:35 +0000 (14:38 +0000)]
[project @ 2001-06-06 14:38:35 by simonmar]
wibbles
sewardj [Wed, 6 Jun 2001 14:33:13 +0000 (14:33 +0000)]
[project @ 2001-06-06 14:33:13 by sewardj]
Another -L<dir> for ghci wibble.
sewardj [Wed, 6 Jun 2001 14:03:41 +0000 (14:03 +0000)]
[project @ 2001-06-06 14:03:41 by sewardj]
RTS-side stuff for making -L<dir> work on the ghci command line.
sewardj [Wed, 6 Jun 2001 14:02:50 +0000 (14:02 +0000)]
[project @ 2001-06-06 14:02:50 by sewardj]
Haskell-side stuff for making -L<dir> work on the ghci command line.
simonmar [Wed, 6 Jun 2001 12:24:00 +0000 (12:24 +0000)]
[project @ 2001-06-06 12:24:00 by simonmar]
wibbles
simonmar [Wed, 6 Jun 2001 12:04:46 +0000 (12:04 +0000)]
[project @ 2001-06-06 12:04:46 by simonmar]
Further improve the $(SRCS) story, allowing you to exclude certain
sources (and all of their derived components) by setting
$(EXCLUDED_SRCS).
simonmar [Wed, 6 Jun 2001 11:03:48 +0000 (11:03 +0000)]
[project @ 2001-06-06 11:03:48 by simonmar]
Add prototype for inputReady().
rrt [Wed, 6 Jun 2001 10:44:26 +0000 (10:44 +0000)]
[project @ 2001-06-06 10:44:26 by rrt]
Update with more instructions on getting the IS setup working and notes on
why some of the less obvious binaries are included in the Windows dist.
rrt [Wed, 6 Jun 2001 10:35:39 +0000 (10:35 +0000)]
[project @ 2001-06-06 10:35:39 by rrt]
Add comment about why gmp is configured differently on Windows.
rrt [Wed, 6 Jun 2001 10:33:35 +0000 (10:33 +0000)]
[project @ 2001-06-06 10:33:35 by rrt]
Say that building packages as DLLs is now no longer supported, but may still
work.
simonmar [Wed, 6 Jun 2001 09:36:02 +0000 (09:36 +0000)]
[project @ 2001-06-06 09:36:02 by simonmar]
Note in the documentation for :load that you can't load a package
module, and describe how we decide what the context is set to after a
:load.
simonmar [Tue, 5 Jun 2001 16:45:57 +0000 (16:45 +0000)]
[project @ 2001-06-05 16:45:57 by simonmar]
Clean up the SRCS story. This still won't fix the problem with
GhcLibsWithReadline=NO, but it's headed in the right direction.
sewardj [Tue, 5 Jun 2001 16:21:25 +0000 (16:21 +0000)]
[project @ 2001-06-05 16:21:25 by sewardj]
Make c_read visible on Win32.
sewardj [Tue, 5 Jun 2001 14:09:45 +0000 (14:09 +0000)]
[project @ 2001-06-05 14:09:45 by sewardj]
Updates for 5.01.
sewardj [Tue, 5 Jun 2001 10:53:36 +0000 (10:53 +0000)]
[project @ 2001-06-05 10:53:36 by sewardj]
Calculate the correct set of modules to link in the case of upsweep
partial failure.
MERGE INTO 5.00.2
sewardj [Tue, 5 Jun 2001 10:31:57 +0000 (10:31 +0000)]
[project @ 2001-06-05 10:31:57 by sewardj]
Improve instance Outputable Linkable (purely cosmetic).
simonpj [Tue, 5 Jun 2001 10:09:33 +0000 (10:09 +0000)]
[project @ 2001-06-05 10:09:33 by simonpj]
ghc/rts/gmp/configure hangs up altogether on this
rm command:
rm -f mpn/${tmp_fn}.[Ssc] mpn/${tmp_fn}.asm
I added lots of print statements to show progress
(hence the more verbose output) and found, I think,
that expanding the [Ssc] fixes the problem.
simonpj [Tue, 5 Jun 2001 09:30:20 +0000 (09:30 +0000)]
[project @ 2001-06-05 09:30:20 by simonpj]
Add str002 (recursive newtype test)
simonpj [Mon, 4 Jun 2001 16:49:15 +0000 (16:49 +0000)]
[project @ 2001-06-04 16:49:15 by simonpj]
----------------------------------
Make exprArity give the right answer
----------------------------------
MERGE INTO 5.00.2
This fixes a fairly long-standing bug in exprArity, dating from
the time we allowed arguments to be non-atoms. If f had arity
2, it was saying that
f (factorial x)
had arity 2, as well, which is plain wrong.
simonpj [Mon, 4 Jun 2001 16:47:06 +0000 (16:47 +0000)]
[project @ 2001-06-04 16:47:06 by simonpj]
----------------------------------
Fix an existential-constructor bug
----------------------------------
MERGE INTO 5.00.2
This fixes a long-standing bug that made the strictness
analyser go into a loop if it met a recursive newtype:
newtype Void = MkVoid Void
simonpj [Mon, 4 Jun 2001 16:46:00 +0000 (16:46 +0000)]
[project @ 2001-06-04 16:46:00 by simonpj]
Import wibbles
simonmar [Mon, 4 Jun 2001 16:34:19 +0000 (16:34 +0000)]
[project @ 2001-06-04 16:34:19 by simonmar]
Add test for Manuel's finalizer bug.
simonmar [Mon, 4 Jun 2001 16:26:54 +0000 (16:26 +0000)]
[project @ 2001-06-04 16:26:54 by simonmar]
Try doing a major GC before declaring that we're deadlocked, since
there might be finalizers waiting to run that can unblock the system.
Noticed by: Manuel.
qrczak [Mon, 4 Jun 2001 15:42:30 +0000 (15:42 +0000)]
[project @ 2001-06-04 15:42:30 by qrczak]
Remove unused files.
simonmar [Mon, 4 Jun 2001 14:51:15 +0000 (14:51 +0000)]
[project @ 2001-06-04 14:51:15 by simonmar]
Hmm, thought I removed this file. Anyway, it's now been replaced by
PrelPosix.
simonpj [Mon, 4 Jun 2001 13:40:39 +0000 (13:40 +0000)]
[project @ 2001-06-04 13:40:39 by simonpj]
Add storage mgt doc
qrczak [Mon, 4 Jun 2001 06:20:35 +0000 (06:20 +0000)]
[project @ 2001-06-04 06:20:35 by qrczak]
Don't use exitWith where exceptions are treated as errors.
qrczak [Sat, 2 Jun 2001 09:45:51 +0000 (09:45 +0000)]
[project @ 2001-06-02 09:45:51 by qrczak]
Don't panic on ExitException.
apt [Fri, 1 Jun 2001 17:14:08 +0000 (17:14 +0000)]
[project @ 2001-06-01 17:14:07 by apt]
added support for emiting external core format
sewardj [Fri, 1 Jun 2001 14:33:02 +0000 (14:33 +0000)]
[project @ 2001-06-01 14:33:01 by sewardj]
More tracking of IO lib changes.
sewardj [Fri, 1 Jun 2001 13:07:36 +0000 (13:07 +0000)]
[project @ 2001-06-01 13:07:35 by sewardj]
Track recent changes to lib/std for mingw. Mostly, make all seeked-on
file handles be in binary mode.