simonmar [Tue, 27 Feb 2001 17:15:53 +0000 (17:15 +0000)]
[project @ 2001-02-27 17:15:53 by simonmar]
Don't blacklist everything in simplifyExpr. Allow simple inlining to
happen (actually, this is what exposed the bug I just fixed in
HscMain.lhs).
simonmar [Tue, 27 Feb 2001 17:14:44 +0000 (17:14 +0000)]
[project @ 2001-02-27 17:14:44 by simonmar]
Need to tidy the expression before compiling it, purely in order to
clone the ids in case of clashes.
simonmar [Tue, 27 Feb 2001 15:26:05 +0000 (15:26 +0000)]
[project @ 2001-02-27 15:26:04 by simonmar]
- make flushing and :def work again in the interpreter
simonmar [Tue, 27 Feb 2001 15:25:18 +0000 (15:25 +0000)]
[project @ 2001-02-27 15:25:18 by simonmar]
- clean up recognising of objects on the ghci command line
- recognise objects on the ghc --make command line, and link them in (untested)
rrt [Tue, 27 Feb 2001 14:37:17 +0000 (14:37 +0000)]
[project @ 2001-02-27 14:37:17 by rrt]
Update ffi001.stdout (was simply wrong) and change fed001.hs in line with
library changes.
rrt [Tue, 27 Feb 2001 14:34:46 +0000 (14:34 +0000)]
[project @ 2001-02-27 14:34:46 by rrt]
Merge changes from 4.08 branch.
simonmar [Tue, 27 Feb 2001 13:38:58 +0000 (13:38 +0000)]
[project @ 2001-02-27 13:38:58 by simonmar]
changes for commandline do-bindings: define failIO.
simonmar [Tue, 27 Feb 2001 13:38:15 +0000 (13:38 +0000)]
[project @ 2001-02-27 13:38:15 by simonmar]
remove PutFullMVar
rrt [Tue, 27 Feb 2001 12:43:45 +0000 (12:43 +0000)]
[project @ 2001-02-27 12:43:45 by rrt]
mingwin "fixes": getourtimeofday now returns the right units, and awaitEvent
fudged to use WinSock select(), so that although it doesn't work for file
handles, at least it doesn't cause nasty crashes; instead it just blocks.
rrt [Tue, 27 Feb 2001 12:36:37 +0000 (12:36 +0000)]
[project @ 2001-02-27 12:36:36 by rrt]
Add ILX support (all #ifdefed on ILX for now) and tidied up some
indentation. We now support --mk-dll, so remove the comment about adding
that.
simonpj [Tue, 27 Feb 2001 11:50:05 +0000 (11:50 +0000)]
[project @ 2001-02-27 11:50:05 by simonpj]
Temporary fix for a nasty black hole
The problem is that the type checker has a big knot for "unf_env".
This means that we can't look at unfoldings inside the loop, which
is fair enough. But setting an unfolding in the IdInfo is strict
in the unfolding, so we can't look at the IdInfo either.
But isLocalId looks at the IdInfo, and it was being used in an
assert in TcHsSyn, and in setting the in_scope_vars in TcIfaceSig.
I think the right solution is to take the "flavour" out of IdInfo,
and put it into VarDetails, but I've done a quick fix for now.
(Remove the assert, and use a different way in TcIfaceSig.)
rrt [Tue, 27 Feb 2001 10:03:22 +0000 (10:03 +0000)]
[project @ 2001-02-27 10:03:22 by rrt]
Avoid types that lickle Windows doesn't understand aaahhhh. Why not just
avoid this whole file? Well, some of the types are widely used.
simonmar [Mon, 26 Feb 2001 17:42:15 +0000 (17:42 +0000)]
[project @ 2001-02-26 17:42:15 by simonmar]
only collect free type variable info if -fkeep-stg-types is on.
simonpj [Mon, 26 Feb 2001 17:10:16 +0000 (17:10 +0000)]
[project @ 2001-02-26 17:10:16 by simonpj]
Make CoreToStg generate correct free-var info for type variables
rrt [Mon, 26 Feb 2001 17:09:17 +0000 (17:09 +0000)]
[project @ 2001-02-26 17:09:17 by rrt]
Compile lndir for Cygwin even under mingwin, because mingwin doesn't have
symlinks (or sys/param.h).
simonmar [Mon, 26 Feb 2001 16:59:17 +0000 (16:59 +0000)]
[project @ 2001-02-26 16:59:17 by simonmar]
lookupClosure not used.
simonmar [Mon, 26 Feb 2001 16:50:30 +0000 (16:50 +0000)]
[project @ 2001-02-26 16:50:30 by simonmar]
make ghci-inplace work
simonmar [Mon, 26 Feb 2001 16:43:32 +0000 (16:43 +0000)]
[project @ 2001-02-26 16:43:31 by simonmar]
Update the interactive context in cmRunStmt rather than hscMain.
simonmar [Mon, 26 Feb 2001 16:42:48 +0000 (16:42 +0000)]
[project @ 2001-02-26 16:42:48 by simonmar]
Unload temporary bindings from the ClosureEnv properly at cmLoadModule time.
simonmar [Mon, 26 Feb 2001 16:27:46 +0000 (16:27 +0000)]
[project @ 2001-02-26 16:27:46 by simonmar]
fix dumping in desugarExpr
simonmar [Mon, 26 Feb 2001 15:50:21 +0000 (15:50 +0000)]
[project @ 2001-02-26 15:50:21 by simonmar]
- message wibbles
- in one-shot mode, make sure the interface file follows the module rather
than the filename of the source.
rrt [Mon, 26 Feb 2001 15:44:59 +0000 (15:44 +0000)]
[project @ 2001-02-26 15:44:59 by rrt]
ILX back-end. WARNING: this is code copied in that was previously added to
4.06. It's not remotely sane to try to compile it at the moment; that's what
I've got to do next. Don't worry, it's all #ifdefed at the moment.
simonpj [Mon, 26 Feb 2001 15:42:24 +0000 (15:42 +0000)]
[project @ 2001-02-26 15:42:24 by simonpj]
Move seq/par munging from CoreToStg to CoreSat
simonpj [Mon, 26 Feb 2001 15:42:00 +0000 (15:42 +0000)]
[project @ 2001-02-26 15:42:00 by simonpj]
Move findDefault, findAlt from SimplUtils to CoreUtils
simonpj [Mon, 26 Feb 2001 15:41:18 +0000 (15:41 +0000)]
[project @ 2001-02-26 15:41:18 by simonpj]
Dont print generic insts if there arent any
simonpj [Mon, 26 Feb 2001 15:40:54 +0000 (15:40 +0000)]
[project @ 2001-02-26 15:40:54 by simonpj]
Make it build without GHCI
simonmar [Mon, 26 Feb 2001 15:07:02 +0000 (15:07 +0000)]
[project @ 2001-02-26 15:06:57 by simonmar]
Implement do-style bindings on the GHCi command line.
The syntax for a command-line is exactly that of a do statement, with
the following meanings:
- `pat <- expr'
performs expr, and binds each of the variables in pat.
- `let pat = expr; ...'
binds each of the variables in pat, doesn't do any evaluation
- `expr'
behaves as `it <- expr' if expr is IO-typed, or `let it = expr'
followed by `print it' otherwise.
simonpj [Mon, 26 Feb 2001 09:29:32 +0000 (09:29 +0000)]
[project @ 2001-02-26 09:29:32 by simonpj]
Make foldl more efficient; see comments with foldl
simonpj [Fri, 23 Feb 2001 14:59:26 +0000 (14:59 +0000)]
[project @ 2001-02-23 14:59:26 by simonpj]
Fix a core-lint problem with -hi-boot files
simonmar [Fri, 23 Feb 2001 14:44:43 +0000 (14:44 +0000)]
[project @ 2001-02-23 14:44:43 by simonmar]
- Move compareInt# to PrelBase (where it was duplicated)
- remove some unnecessary truncations in the Int8/Int16 code
simonmar [Fri, 23 Feb 2001 12:25:05 +0000 (12:25 +0000)]
[project @ 2001-02-23 12:25:05 by simonmar]
print GHC's version in the panic message
simonmar [Fri, 23 Feb 2001 12:24:11 +0000 (12:24 +0000)]
[project @ 2001-02-23 12:24:10 by simonmar]
Fix a problem with duplicate instances appearing in the interpreter
after reloading modules.
simonmar [Fri, 23 Feb 2001 10:21:29 +0000 (10:21 +0000)]
[project @ 2001-02-23 10:21:29 by simonmar]
merge rev. 1.49.2.1 from ghc-4-07-branch
simonmar [Fri, 23 Feb 2001 09:48:14 +0000 (09:48 +0000)]
[project @ 2001-02-23 09:48:14 by simonmar]
don't need to derive Show on the Package datatype now.
chak [Fri, 23 Feb 2001 01:28:12 +0000 (01:28 +0000)]
[project @ 2001-02-23 01:28:12 by chak]
Added description for -fno-method-sharing.
Shouldn't that flag be under the heading `Individual optimisations'?
qrczak [Thu, 22 Feb 2001 22:39:56 +0000 (22:39 +0000)]
[project @ 2001-02-22 22:39:56 by qrczak]
Add --keep option to not delete *.hs_make.c.
Add -c -l -C -L -i as synonyms for --cc --ld --cflag --lflag --include.
rrt [Thu, 22 Feb 2001 17:25:27 +0000 (17:25 +0000)]
[project @ 2001-02-22 17:25:27 by rrt]
Add -mno-cygwin to CPP rather than CPPFLAGS, so that it gets into mkdependC
and the like.
qrczak [Thu, 22 Feb 2001 16:48:25 +0000 (16:48 +0000)]
[project @ 2001-02-22 16:48:24 by qrczak]
Since fromInt was degraded to a function, do the same with toInt.
rrt [Thu, 22 Feb 2001 16:44:29 +0000 (16:44 +0000)]
[project @ 2001-02-22 16:44:29 by rrt]
Add -mno-cygwin to CC_OPTS on mingwin (we were building all our auxiliary
programs Cygwinised before...).
rrt [Thu, 22 Feb 2001 16:10:12 +0000 (16:10 +0000)]
[project @ 2001-02-22 16:10:12 by rrt]
-hisuf is now done by fptools/mk/target.mk
simonpj [Thu, 22 Feb 2001 13:17:59 +0000 (13:17 +0000)]
[project @ 2001-02-22 13:17:57 by simonpj]
fromInt
Remove fromInt from class Num, though it is retained
as an overloaded operation (with unchanged type) in PrelNum.
There are quite a few consequential changes in the Prelude.
I hope I got them all correct!
Also fix a bug that meant Integer (and its instances)
wasn't getting slurped in by the renamer, even though it
was needed for defaulting.
simonpj [Thu, 22 Feb 2001 13:16:48 +0000 (13:16 +0000)]
[project @ 2001-02-22 13:16:48 by simonpj]
Add more tests
rrt [Wed, 21 Feb 2001 17:35:01 +0000 (17:35 +0000)]
[project @ 2001-02-21 17:35:01 by rrt]
Move rules to tag .hi files with the way from hslibs/mk/target.mk to
fptools/mk/target.mk.
rrt [Wed, 21 Feb 2001 17:23:59 +0000 (17:23 +0000)]
[project @ 2001-02-21 17:23:59 by rrt]
Tidied up and removed discussion of solved mingw package problem.
simonpj [Wed, 21 Feb 2001 17:15:45 +0000 (17:15 +0000)]
[project @ 2001-02-21 17:15:45 by simonpj]
Add integerTyCon to the ubiquitous types
simonmar [Wed, 21 Feb 2001 16:24:34 +0000 (16:24 +0000)]
[project @ 2001-02-21 16:24:34 by simonmar]
Make this work with GHC 4.08, and remove duplicate (old) copy of Andy
Gill's HTML combinator package.
simonpj [Wed, 21 Feb 2001 12:55:48 +0000 (12:55 +0000)]
[project @ 2001-02-21 12:55:48 by simonpj]
Improve the identity-case transform in strange Coerce situations
simonpj [Wed, 21 Feb 2001 12:14:45 +0000 (12:14 +0000)]
[project @ 2001-02-21 12:14:45 by simonpj]
More wibbles
simonmar [Wed, 21 Feb 2001 11:36:01 +0000 (11:36 +0000)]
[project @ 2001-02-21 11:36:01 by simonmar]
-O turns on -fignore-asserts.
simonpj [Wed, 21 Feb 2001 11:04:17 +0000 (11:04 +0000)]
[project @ 2001-02-21 11:04:17 by simonpj]
Be a bit more careful in CoreSat.deLam
qrczak [Tue, 20 Feb 2001 18:40:54 +0000 (18:40 +0000)]
[project @ 2001-02-20 18:40:54 by qrczak]
Apply tweaks needed to let this compile: remove syn_map argument from
typecheckExpr in HscMain, import PrelNum.fromInt to modules which
use integer literals with -fno-implicit-prelude flag.
It crashes later, on Directory.hs:
ghc: panic! (the `impossible' happened):
srtExpr
I'm not sure if resolving numeric literals to top-level definitions
of fromInt/fromInteger with -fno-implicit-prelude is a good idea.
Using names from whatever module is called Prelude would be IMHO
better, probably when -fglasgow-exts is given. Prel* modules themselves
would import PrelNum as Prelude.
Both schemes break for fromInt, which is non-standard and by default
it's visible neither at the top level nor in the Prelude module. My
proposal for dealing with it is as follows (assuming that fromInteger
is taken from the module locally called Prelude instead of the top
level): when the standard Prelude is used, take fromInt from PrelNum;
when a Prelude replacement is used, use fromInt from it if available,
otherwise use its fromInteger instead. That way Prelude replacements
can ignore this non-standard extension and get the expected behavior,
or they can also choose to use this extension (in a way compatible
with Haskell implementations which allow to replace Prelude but don't
have fromInt).
simonmar [Tue, 20 Feb 2001 18:05:23 +0000 (18:05 +0000)]
[project @ 2001-02-20 18:05:23 by simonmar]
More doc hacking.
Call for Release Notes (CFRN): the 5-00-notes.sgml file is currently a
skeleton only; PLEASE add or expand entries for things you've done.
simonpj [Tue, 20 Feb 2001 15:44:26 +0000 (15:44 +0000)]
[project @ 2001-02-20 15:44:26 by simonpj]
Eta expansion wibbles
~~~~~~~~~~~~~~~~~~~~~
* Don't eta reduce, and do eta expand,
data con workers and primops
Reason: they don't have bindings, so they aren't really
ordinary variables.
This is a bit of a swamp, provoked by moving CoreSat later,
something I'm beginning to wonder about...
Not are things settled yet -- I think some rules may
not fire that should because of constructor worker/wrapper
issues. E.g when you have foldr (:) [] xs = xs
simonpj [Tue, 20 Feb 2001 15:38:45 +0000 (15:38 +0000)]
[project @ 2001-02-20 15:38:45 by simonpj]
Import wibble
simonpj [Tue, 20 Feb 2001 15:38:27 +0000 (15:38 +0000)]
[project @ 2001-02-20 15:38:27 by simonpj]
Layout wibble
simonpj [Tue, 20 Feb 2001 15:37:42 +0000 (15:37 +0000)]
[project @ 2001-02-20 15:37:42 by simonpj]
Add another assert
simonpj [Tue, 20 Feb 2001 15:36:55 +0000 (15:36 +0000)]
[project @ 2001-02-20 15:36:55 by simonpj]
Remove IPName altogether
simonpj [Tue, 20 Feb 2001 15:35:28 +0000 (15:35 +0000)]
[project @ 2001-02-20 15:35:28 by simonpj]
Use tcIfaceType
simonpj [Tue, 20 Feb 2001 13:15:11 +0000 (13:15 +0000)]
[project @ 2001-02-20 13:15:11 by simonpj]
Fix top level float
simonmar [Tue, 20 Feb 2001 11:04:42 +0000 (11:04 +0000)]
[project @ 2001-02-20 11:04:42 by simonmar]
Make the warning package options (-W, -w, -Wall) dynamic.
simonpj [Tue, 20 Feb 2001 09:55:12 +0000 (09:55 +0000)]
[project @ 2001-02-20 09:55:12 by simonpj]
Wibble
simonpj [Tue, 20 Feb 2001 09:45:57 +0000 (09:45 +0000)]
[project @ 2001-02-20 09:45:57 by simonpj]
Import wibbles
simonpj [Tue, 20 Feb 2001 09:45:30 +0000 (09:45 +0000)]
[project @ 2001-02-20 09:45:30 by simonpj]
A bit more on deprecations
simonpj [Tue, 20 Feb 2001 09:45:12 +0000 (09:45 +0000)]
[project @ 2001-02-20 09:45:12 by simonpj]
A bit more on decoupling the prelude
simonpj [Tue, 20 Feb 2001 09:42:50 +0000 (09:42 +0000)]
[project @ 2001-02-20 09:42:50 by simonpj]
Typechecking [TcModule, TcBinds, TcHsSyn, TcInstDcls, TcSimplify]
~~~~~~~~~~~~
* Fix a bug in TcSimplify that broke functional dependencies.
Interleaving unification and context reduction is trickier
than I thought. Comments in the code amplify.
* Fix a functional-dependency bug, that meant that this pgm:
class C a b | a -> b where f :: a -> b
g :: (C a b, Eq b) => a -> Bool
g x = f x == f x
gave an ambiguity error report. I'm afraid I've forgotten
what the problem was.
* Correct the implementation of the monomorphism restriction,
in TcBinds.generalise. This fixes Marcin's bug report:
test1 :: Eq a => a -> b -> b
test1 x y = y
test2 = test1 (3::Int)
Previously we were erroneously inferring test2 :: () -> ()
* Make the "unf_env" that is looped round in TcModule go round
in a big loop, not just round tcImports. This matters when
we have mutually recursive modules, so that the Ids bound in
the source code may appear in the imports. Sigh. But no big
deal.
It does mean that you have to be careful not to call isLocalId,
isDataConId etc, because they consult the IdInfo of an Id, which
in turn may be determined by the loop-tied unf_env.
simonpj [Tue, 20 Feb 2001 09:41:48 +0000 (09:41 +0000)]
[project @ 2001-02-20 09:41:48 by simonpj]
Deprecations [HscTypes, MkIface, Rename, RnEnv, RnIfaces]
~~~~~~~~~~~~
* Arrange that a change in deprecations is treated as a
hi-file difference.
* Warn about deprecations at the usage site. This entailed
changing HscTypes.GlobalRdrEnv to include deprecations.
While I was at it, I changed the range of GlobalRdrEnv
to a data type, GlobalRdrElt, instead a of a pair.
simonpj [Tue, 20 Feb 2001 09:40:45 +0000 (09:40 +0000)]
[project @ 2001-02-20 09:40:43 by simonpj]
Decoupling the Prelude [HsExpr, HsLit, HsPat, ParseUtil, Parser.y, PrelNames,
~~~~~~~~~~~~~~~~~~~~~~ Rename, RnEnv, RnExpr, RnHsSyn, Inst, TcEnv, TcMonad,
TcPat, TcExpr]
The -fno-implicit-prelude flag is meant to arrange that when you write
3
you get
fromInt 3
where 'fromInt' is whatever fromInt is in scope at the top level of
the module being compiled. Similarly for
* numeric patterns
* n+k patterns
* negation
This used to work, but broke when we made the static/dynamic flag distinction.
It's now tidied up a lot. Here's the plan:
- PrelNames contains sugarList :: SugarList, which maps built-in names
to the RdrName that should replace them.
- The renamer makes a finite map :: SugarMap, which maps the built-in names
to the Name of the re-mapped thing
- The typechecker consults this map via tcLookupSyntaxId when it is doing
numeric things
At present I've only decoupled numeric syntax, since that is the main demand,
but the scheme is much more robustly extensible than the previous method.
As a result some HsSyn constructors don't need to carry names in them
(notably HsOverLit, NegApp, NPlusKPatIn)
simonpj [Tue, 20 Feb 2001 09:39:00 +0000 (09:39 +0000)]
[project @ 2001-02-20 09:38:59 by simonpj]
Back end changes [CgExpr, ClosureInfo, CoreSat, CoreUtils,
~~~~~~~~~~~~~~~~ CmdLineOpts, HscMain, CoreToStg, StgSyn]
* Move CoreTidy and interface-file dumping *before* CoreSat.
In this way interface files are not in A-normal form, so
they are less bulky, and a bit easier to use as input to
the optimiser.
So now CoreSat is regarded as a pre-pass to CoreToStg.
Since CoreTidy pins on utterly-final IdInfo, CoreSat has to
be very careful not to change the arity of any function.
* CoreSat uses OrdList instead of lists to collect floating binds
This in turn meant I could simplify the FloatingBind type a bit
* Greatly simplfy the StgBinderInfo data type. It was
gathering far more information than we needed.
* Add a flag -fkeep-stg-types, which keeps type abstractions
and applications in STG code, for the benefit of code generators
that are typed; notably the .NET ILX code generator.
simonpj [Tue, 20 Feb 2001 08:57:46 +0000 (08:57 +0000)]
[project @ 2001-02-20 08:57:46 by simonpj]
Add fundeps tests
qrczak [Tue, 20 Feb 2001 03:41:31 +0000 (03:41 +0000)]
[project @ 2001-02-20 03:41:31 by qrczak]
Remove unbalanced #endif.
rrt [Mon, 19 Feb 2001 16:18:38 +0000 (16:18 +0000)]
[project @ 2001-02-19 16:18:38 by rrt]
Use Sleep under mingw rather than sleep (which is obsolete), and try using
fork under cygwin (it should work by now, shurely...).
rrt [Mon, 19 Feb 2001 16:10:23 +0000 (16:10 +0000)]
[project @ 2001-02-19 16:10:23 by rrt]
Don't declare unused struct termios on mingwin.
rrt [Mon, 19 Feb 2001 16:07:48 +0000 (16:07 +0000)]
[project @ 2001-02-19 16:07:48 by rrt]
Move if #ifndefs so that no code is compiled on win32; the code that was
compiled was doing nothing useful, and probably shouldn't have been.
rrt [Mon, 19 Feb 2001 14:54:48 +0000 (14:54 +0000)]
[project @ 2001-02-19 14:54:48 by rrt]
Add -mno-cygwin to CPPFLAGS on i386-unknown-mingw32 to stop configure.h
getting lots of bogus headers that aren't there. I'm not at all sure why
this hasn't caused problems before...
simonmar [Mon, 19 Feb 2001 12:35:31 +0000 (12:35 +0000)]
[project @ 2001-02-19 12:35:31 by simonmar]
fix the GHC_HAPPY_OPTS hack to correctly detect happy 1.10
simonmar [Mon, 19 Feb 2001 12:13:49 +0000 (12:13 +0000)]
[project @ 2001-02-19 12:13:49 by simonmar]
Rather than implement -K (which would probably need another primop),
simply bump the maximum stack size to 8M. It dynamically grows
anyhow.
sewardj [Mon, 19 Feb 2001 11:38:55 +0000 (11:38 +0000)]
[project @ 2001-02-19 11:38:55 by sewardj]
Expand on comments re StString lifting activity
sewardj [Mon, 19 Feb 2001 10:15:54 +0000 (10:15 +0000)]
[project @ 2001-02-19 10:15:54 by sewardj]
Fix two bugs exposed when trying to boot HEAD on sparc with NCG and -O:
1. StScratchWords on sparc were in the wrong place; they were
immediately above %fp and should have been immediately below.
Fixed. Also removed a suspicious-looking "+1" in the x86
version of same.
2. (Potentially affects all platforms): Lift strings out from
top-level literal data, and place them at the end of the block.
The motivating example (bug) was:
Stix:
(DataSegment)
Bogon.ping_closure :
(Data P_ Addr.A#_static_info)
(Data StgAddr (Str `alalal'))
(Data P_ (0))
results in:
.data
.align 8
.global Bogon_ping_closure
Bogon_ping_closure:
.long Addr_Azh_static_info
.long .Ln1a8
.Ln1a8:
.byte 0x61
.byte 0x6C
.byte 0x61
.byte 0x6C
.byte 0x61
.byte 0x6C
.byte 0x00
.long 0
ie, the Str is planted in-line, when what we really meant was to place
a _reference_ to the string there. This is Way Wrong (tm). Fixed.
qrczak [Mon, 19 Feb 2001 09:06:23 +0000 (09:06 +0000)]
[project @ 2001-02-19 09:06:23 by qrczak]
Oops, I broke it yesterday; don't use autoheader.
(I don't see my yesterday's commit log. I changed #define to #undef
in autoconf templates.)
qrczak [Sun, 18 Feb 2001 17:22:50 +0000 (17:22 +0000)]
[project @ 2001-02-18 17:22:49 by qrczak]
Change #define to #undef in autoconf templates.
qrczak [Sun, 18 Feb 2001 14:45:15 +0000 (14:45 +0000)]
[project @ 2001-02-18 14:45:15 by qrczak]
Recent Unicode and future ISO-10646 finally decided that the character
code space ends at U+10FFFF. Let ghc follow the rules: maxBound::Char
is now '\x10FFFF', etc.
sebc [Sat, 17 Feb 2001 20:21:50 +0000 (20:21 +0000)]
[project @ 2001-02-17 20:21:50 by sebc]
The LIBM variable was between two Readline related variables. Cleaned up.
sebc [Sat, 17 Feb 2001 19:52:56 +0000 (19:52 +0000)]
[project @ 2001-02-17 19:52:56 by sebc]
Make LIBM be detected by autoconf.
simonmar [Fri, 16 Feb 2001 17:35:01 +0000 (17:35 +0000)]
[project @ 2001-02-16 17:35:01 by simonmar]
Today's doc hacking.
sewardj [Fri, 16 Feb 2001 12:07:10 +0000 (12:07 +0000)]
[project @ 2001-02-16 12:07:10 by sewardj]
Remove ghc-$(ProjectVersion) from GhcBinDistPrlScripts, since it's not
a perl script any more.
sewardj [Fri, 16 Feb 2001 11:39:37 +0000 (11:39 +0000)]
[project @ 2001-02-16 11:39:37 by sewardj]
Remove ghc-stats from GhcBinDistLibPrlScripts.
simonmar [Fri, 16 Feb 2001 09:53:51 +0000 (09:53 +0000)]
[project @ 2001-02-16 09:53:51 by simonmar]
deLam the contents of an _scc_: they don't disappear at code
generation time.
qrczak [Thu, 15 Feb 2001 22:34:48 +0000 (22:34 +0000)]
[project @ 2001-02-15 22:34:48 by qrczak]
Use ${1+"$@"} instead of "$@". How stupid are those shells.
qrczak [Thu, 15 Feb 2001 19:43:18 +0000 (19:43 +0000)]
[project @ 2001-02-15 19:43:18 by qrczak]
Use "$@" instead of $* to pass commandline arguments safely.
simonmar [Thu, 15 Feb 2001 17:33:53 +0000 (17:33 +0000)]
[project @ 2001-02-15 17:33:53 by simonmar]
More documentation rewriting... I'm particularly proud of the "flag
reference" section, please check it out.
sewardj [Thu, 15 Feb 2001 17:22:15 +0000 (17:22 +0000)]
[project @ 2001-02-15 17:22:15 by sewardj]
Correct usage info for tryPutMVar#.
sewardj [Thu, 15 Feb 2001 14:30:35 +0000 (14:30 +0000)]
[project @ 2001-02-15 14:30:35 by sewardj]
VoidRep call/return support for interpreted code.
sewardj [Thu, 15 Feb 2001 14:30:07 +0000 (14:30 +0000)]
[project @ 2001-02-15 14:27:36 by sewardj]
VoidRep call/return support for the interpreter.
simonmar [Thu, 15 Feb 2001 12:38:35 +0000 (12:38 +0000)]
[project @ 2001-02-15 12:38:35 by simonmar]
re-order the WithHc and WithGhc tests: now if you specify
--with-ghc=<ghc>, then WithHc also gets <ghc> if you don't set it
explicitly. Previously it got whatever ghc was in the PATH, which
would fail if there wasn't a ghc in the PATH at all.
simonmar [Thu, 15 Feb 2001 10:02:43 +0000 (10:02 +0000)]
[project @ 2001-02-15 10:02:43 by simonmar]
changes to support tryPutMVar which I forgot in the main commit.
rrt [Wed, 14 Feb 2001 14:28:49 +0000 (14:28 +0000)]
[project @ 2001-02-14 14:28:49 by rrt]
Remove -l from library name in libraries list (oops!)
simonmar [Wed, 14 Feb 2001 14:14:55 +0000 (14:14 +0000)]
[project @ 2001-02-14 14:14:55 by simonmar]
simple tryPutMVar test.
simonmar [Wed, 14 Feb 2001 14:02:58 +0000 (14:02 +0000)]
[project @ 2001-02-14 14:02:58 by simonmar]
Tidy the type we get back from typecheckExpr.
simonmar [Wed, 14 Feb 2001 13:56:50 +0000 (13:56 +0000)]
[project @ 2001-02-14 13:56:50 by simonmar]
add tryPutMVarzh_fast
simonmar [Wed, 14 Feb 2001 12:59:35 +0000 (12:59 +0000)]
[project @ 2001-02-14 12:59:34 by simonmar]
- make putMVar block rather than raise an exception when it encounters a
full MVar (to match the semantics in our recent paper on async excpetions).
- add tryPutMVar, a non-blocking version of putMVar.