simonmar [Mon, 14 Jun 1999 12:38:37 +0000 (12:38 +0000)]
[project @ 1999-06-14 12:38:37 by simonmar]
build Posix before Misc.
simonmar [Mon, 14 Jun 1999 11:17:12 +0000 (11:17 +0000)]
[project @ 1999-06-14 11:17:12 by simonmar]
Don't rely on bad implementation of 'sum', now that we don't have one
:)
simonmar [Mon, 14 Jun 1999 11:11:29 +0000 (11:11 +0000)]
[project @ 1999-06-14 11:11:29 by simonmar]
Allow ``...'' as argument of __casm.
simonmar [Mon, 14 Jun 1999 10:36:51 +0000 (10:36 +0000)]
[project @ 1999-06-14 10:36:51 by simonmar]
Don't chop off the last character of the buffer.
simonmar [Mon, 14 Jun 1999 10:34:50 +0000 (10:34 +0000)]
[project @ 1999-06-14 10:34:50 by simonmar]
tcrun004 uses existentials, needs -fglasgow-exts.
simonmar [Mon, 14 Jun 1999 10:05:19 +0000 (10:05 +0000)]
[project @ 1999-06-14 10:05:19 by simonmar]
Forgot 'forall' and 'foreign' as possible variable names.
simonmar [Mon, 14 Jun 1999 09:49:26 +0000 (09:49 +0000)]
[project @ 1999-06-14 09:49:26 by simonmar]
Oops, forgot that the memory returned from realloc could have moved.
simonpj [Mon, 14 Jun 1999 09:31:16 +0000 (09:31 +0000)]
[project @ 1999-06-14 09:31:16 by simonpj]
Add tcfail082.stderr
simonpj [Mon, 14 Jun 1999 09:29:07 +0000 (09:29 +0000)]
[project @ 1999-06-14 09:29:01 by simonpj]
Accept some test changes; add tcfail082, read021
sof [Mon, 14 Jun 1999 08:31:41 +0000 (08:31 +0000)]
[project @ 1999-06-14 08:31:41 by sof]
prescript wibble
keithw [Sat, 12 Jun 1999 16:17:28 +0000 (16:17 +0000)]
[project @ 1999-06-12 16:17:23 by keithw]
K&R -> ANSI token pasting (ie, x##y for x/**/y)
simonmar [Fri, 11 Jun 1999 16:10:19 +0000 (16:10 +0000)]
[project @ 1999-06-11 16:10:18 by simonmar]
- add a test for non-parsing of strict newtype constructor fields
- other small fixes
simonpj [Fri, 11 Jun 1999 11:26:20 +0000 (11:26 +0000)]
[project @ 1999-06-11 11:26:20 by simonpj]
Missing case in collectTypedPatBinders; Andreas Marth bug report
simonmar [Wed, 9 Jun 1999 16:59:31 +0000 (16:59 +0000)]
[project @ 1999-06-09 16:59:31 by simonmar]
Add a few SPECIALISE/INLINE pragmas.
simonmar [Wed, 9 Jun 1999 16:14:55 +0000 (16:14 +0000)]
[project @ 1999-06-09 16:14:55 by simonmar]
- Recognise #-} as the end-of-pragma symbol even when -fglsagow-exts
is off. Certain pragmas are Haskell (like {-# OPTIMIZE #-} :-)
and some aren't, so we're not really Haskell compliant here.
- Fix case-insensitive pragma matching.
simonmar [Wed, 9 Jun 1999 14:28:39 +0000 (14:28 +0000)]
[project @ 1999-06-09 14:28:37 by simonmar]
Move some code around to reduce the linkage between CgMonad and CgBindery,
and make the .hi-boot-5 file compatible with both 4.02 and 4.03.
simonmar [Wed, 9 Jun 1999 14:27:38 +0000 (14:27 +0000)]
[project @ 1999-06-09 14:27:38 by simonmar]
Remove debugging trace that sneaked in.
simonmar [Wed, 9 Jun 1999 11:23:20 +0000 (11:23 +0000)]
[project @ 1999-06-09 11:23:20 by simonmar]
Fix qvarid bug.
simonmar [Wed, 9 Jun 1999 10:42:14 +0000 (10:42 +0000)]
[project @ 1999-06-09 10:42:14 by simonmar]
Use ClosureInfo.hi-boot instead of ClosureInfo.hi (which might not be
built yet).
simonpj [Wed, 9 Jun 1999 09:36:25 +0000 (09:36 +0000)]
[project @ 1999-06-09 09:35:54 by simonpj]
Lots of small fixes to ghc/tests
simonpj [Tue, 8 Jun 1999 16:47:07 +0000 (16:47 +0000)]
[project @ 1999-06-08 16:46:44 by simonpj]
Small fixes, including a significant full-laziness bug in OccurAnal
simonmar [Tue, 8 Jun 1999 16:06:04 +0000 (16:06 +0000)]
[project @ 1999-06-08 16:06:04 by simonmar]
Update the comment for buildLivenessMask to match reality.
simonmar [Tue, 8 Jun 1999 15:56:48 +0000 (15:56 +0000)]
[project @ 1999-06-08 15:56:44 by simonmar]
Allow reserving of stack slots for non-pointer data (eg. cost
centres). This means the previous hacks to keep the stack bitmaps
correct in the presence of cost centres are now unnecessary, and
case-of-case expressions will be compiled properly with profiling on.
simonmar [Tue, 8 Jun 1999 10:28:58 +0000 (10:28 +0000)]
[project @ 1999-06-08 10:28:58 by simonmar]
Pass -unreg for unregisterized builds.
simonmar [Tue, 8 Jun 1999 10:26:39 +0000 (10:26 +0000)]
[project @ 1999-06-08 10:26:39 by simonmar]
Fix ifdef INTERPRETER code fragment.
simonmar [Tue, 8 Jun 1999 09:06:26 +0000 (09:06 +0000)]
[project @ 1999-06-08 09:06:26 by simonmar]
Fix gratuitous duplication of libraries in the linker command line.
simonmar [Tue, 8 Jun 1999 08:43:54 +0000 (08:43 +0000)]
[project @ 1999-06-08 08:43:54 by simonmar]
- ignore case in pragma names
- add "NOTINLINE" as a possible spelling of "NOINLINE" for the
grammatically challenged.
sewardj [Mon, 7 Jun 1999 17:22:54 +0000 (17:22 +0000)]
[project @ 1999-06-07 17:22:31 by sewardj]
Many changes needed to support loading of GHC compiled code. The main
changes are to parser.y and interface.c to load .hi files and create
appropriate symbol table entries. Also, interface.c has the
beginnings of and ELF loader/linker in it.
simonmar [Mon, 7 Jun 1999 16:53:09 +0000 (16:53 +0000)]
[project @ 1999-06-07 16:53:08 by simonmar]
Existential constructors NEVER WORKED! You were JUST IMAGINING IT!
simonmar [Mon, 7 Jun 1999 14:58:40 +0000 (14:58 +0000)]
[project @ 1999-06-07 14:58:40 by simonmar]
Existential contexts on datatype declarations.
simonmar [Mon, 7 Jun 1999 10:12:52 +0000 (10:12 +0000)]
[project @ 1999-06-07 10:12:52 by simonmar]
Use $CC -E instead of gcc.
simonmar [Fri, 4 Jun 1999 13:04:17 +0000 (13:04 +0000)]
[project @ 1999-06-04 13:04:17 by simonmar]
Make the new file-slurping code work with 3.02.
simonmar [Fri, 4 Jun 1999 11:41:35 +0000 (11:41 +0000)]
[project @ 1999-06-04 11:41:35 by simonmar]
Omit ugen.
simonmar [Thu, 3 Jun 1999 14:44:23 +0000 (14:44 +0000)]
[project @ 1999-06-03 14:44:23 by simonmar]
When not profiling, parse `_scc_ "string" e' as `(e)', not just `e'.
Rationale: scc expressions are defined as extending as far to the
right as possible, and if we simply remove the _scc_ part the parse
looks awfully strange to the renamer which tends to fall over.
simonmar [Thu, 3 Jun 1999 12:46:04 +0000 (12:46 +0000)]
[project @ 1999-06-03 12:46:02 by simonmar]
Remove ugen; we don't need it anymore.
simonmar [Thu, 3 Jun 1999 08:25:43 +0000 (08:25 +0000)]
[project @ 1999-06-03 08:25:43 by simonmar]
Comment out some stuff we don't use.
simonmar [Thu, 3 Jun 1999 08:19:13 +0000 (08:19 +0000)]
[project @ 1999-06-03 08:19:13 by simonmar]
oops, better export it too.
simonmar [Thu, 3 Jun 1999 08:18:15 +0000 (08:18 +0000)]
[project @ 1999-06-03 08:18:15 by simonmar]
Fix bug in compat version of bracket.
sof [Thu, 3 Jun 1999 08:09:31 +0000 (08:09 +0000)]
[project @ 1999-06-03 08:09:31 by sof]
suppress needless warning
sof [Thu, 3 Jun 1999 07:40:39 +0000 (07:40 +0000)]
[project @ 1999-06-03 07:40:39 by sof]
Added rts_evalLazyIO
sof [Thu, 3 Jun 1999 07:12:10 +0000 (07:12 +0000)]
[project @ 1999-06-03 07:12:10 by sof]
DLL install support
simonmar [Wed, 2 Jun 1999 16:05:56 +0000 (16:05 +0000)]
[project @ 1999-06-02 16:05:56 by simonmar]
Small grammar correction: 'x @ Rec{..}' should parse as 'x @
(Rec{..})'.
simonmar [Wed, 2 Jun 1999 15:50:25 +0000 (15:50 +0000)]
[project @ 1999-06-02 15:50:25 by simonmar]
- parse _scc_ expressions
- give a proper error on illegal characters in the lexer.
simonmar [Wed, 2 Jun 1999 15:14:57 +0000 (15:14 +0000)]
[project @ 1999-06-02 15:14:57 by simonmar]
^M should be a space character.
simonmar [Wed, 2 Jun 1999 14:42:43 +0000 (14:42 +0000)]
[project @ 1999-06-02 14:42:43 by simonmar]
Fix tyvars field of RuleDecls.
simonmar [Wed, 2 Jun 1999 14:18:42 +0000 (14:18 +0000)]
[project @ 1999-06-02 14:18:42 by simonmar]
Don't pass strange hsp-type arguments anymore.
simonmar [Tue, 1 Jun 1999 16:41:09 +0000 (16:41 +0000)]
[project @ 1999-06-01 16:40:41 by simonmar]
This commit replaces the old yacc parser with a Happy-generated one.
Notes:
- The generated .hs file is *big*. Best to use a recent
version of Happy, and even better to add the -c flag
to use unsafeCoerce# with ghc (versions 4.02+ please).
- The lexer has grown all sorts of unsightly growths and
should be put down as soon as possible.
- Parse errors may result in strange diagnostics. I'm looking
into this.
- HsSyn now contains a few extra constructors due to the way
patterns are parsed as expressions in the parser.
- The layout rule is implemented according to the Haskell
report. I found a couple of places in the libraries where
we previously weren't adhering to this - in particular the
rule about "nested contexts must be more indented than
outer contexts". The rule is necessary to disambiguate
in the presence of empty declaration lists.
simonmar [Tue, 1 Jun 1999 16:16:37 +0000 (16:16 +0000)]
[project @ 1999-06-01 16:15:42 by simonmar]
Remove illegal use of layout.
simonmar [Tue, 1 Jun 1999 09:56:22 +0000 (09:56 +0000)]
[project @ 1999-06-01 09:56:22 by simonmar]
"oops"
simonpj [Fri, 28 May 1999 19:24:42 +0000 (19:24 +0000)]
[project @ 1999-05-28 19:24:26 by simonpj]
Enable rules for simplification of SeqOp
Fix a related bug in WwLib that made it look as if the binder
in a case expression was being demanded, when it wasn't.
simonpj [Fri, 28 May 1999 19:21:34 +0000 (19:21 +0000)]
[project @ 1999-05-28 19:21:34 by simonpj]
Make the default instance for Ord such that it suffices to define <=, as claimed
simonpj [Fri, 28 May 1999 19:20:43 +0000 (19:20 +0000)]
[project @ 1999-05-28 19:20:43 by simonpj]
Yet more fixes to the dreaded Enum instances
simonpj [Fri, 28 May 1999 19:20:04 +0000 (19:20 +0000)]
[project @ 1999-05-28 19:20:04 by simonpj]
Make Ix instances more inlinable
simonpj [Fri, 28 May 1999 19:19:20 +0000 (19:19 +0000)]
[project @ 1999-05-28 19:19:20 by simonpj]
Make the Enum Integer instance deforestable
simonpj [Fri, 28 May 1999 19:18:52 +0000 (19:18 +0000)]
[project @ 1999-05-28 19:18:52 by simonpj]
Fix a killer bug in the RULES for 'all' and 'any'
that simply made them wrong, with various obscure
consequences.
simonmar [Fri, 28 May 1999 13:32:50 +0000 (13:32 +0000)]
[project @ 1999-05-28 13:32:50 by simonmar]
Fixes for case-of-case and let-no-escape.
sof [Fri, 28 May 1999 13:20:10 +0000 (13:20 +0000)]
[project @ 1999-05-28 13:20:10 by sof]
semi-automatic support for indexing
simonpj [Fri, 28 May 1999 08:08:44 +0000 (08:08 +0000)]
[project @ 1999-05-28 08:08:44 by simonpj]
Minor wibble to do with module names that contain a Z
simonpj [Fri, 28 May 1999 08:07:54 +0000 (08:07 +0000)]
[project @ 1999-05-28 08:07:52 by simonpj]
Make the renamer so that the class ops on the LEFT HAND SIDE
of the bindings of an instance decl count as free variables
of that declaration. E.g.
instance Foo [a] where
op x = ...
bop y = ...
Here, 'op' and 'bop' are now counted as free variables of
the decl.
This is vital, because the class decl for Foo might be imported,
and look like this:
class Foo a where
op :: a -> S
bop :: T -> a
and these might happen to be the only mentions of S and T
in the program. Then we need to treat S and T as instance
gates for the purpose of hauling in further instance decls,
and the Right Way to do that is to announce that 'op' and
'bop' have been mentioned.
I also removed the (now obselete) rn_omit field in the
monad.
simonpj [Wed, 26 May 1999 16:54:26 +0000 (16:54 +0000)]
[project @ 1999-05-26 16:54:22 by simonpj]
Minor improvements in error messages
simonmar [Wed, 26 May 1999 14:12:32 +0000 (14:12 +0000)]
[project @ 1999-05-26 14:12:07 by simonmar]
Several bugfixes (from SLPJ's tree).
simonmar [Mon, 24 May 1999 13:58:26 +0000 (13:58 +0000)]
[project @ 1999-05-24 13:58:26 by simonmar]
Remove dangling 'where'.
simonmar [Mon, 24 May 1999 10:58:09 +0000 (10:58 +0000)]
[project @ 1999-05-24 10:58:09 by simonmar]
stg_gc_noregs should leave the return address on the stack (it's a
case alternative).
sof [Fri, 21 May 1999 14:48:52 +0000 (14:48 +0000)]
[project @ 1999-05-21 14:48:52 by sof]
documented -no-hs-main option
sof [Fri, 21 May 1999 14:46:21 +0000 (14:46 +0000)]
[project @ 1999-05-21 14:46:19 by sof]
Made rts_evalIO() stricter, i.e.,
rts_evalIO( action );
will now essentially cause `action' to be applied
to the following (imaginary) defn of `evalIO':
evalIO :: IO a -> IO a
evalIO action = action >>= \ x -> x `seq` return x
instead of just
evalIO :: IO a -> IO a
evalIO action = action >>= \ x -> return x
The old, lazier behaviour is now available via rts_evalLazyIO().
sof [Fri, 21 May 1999 14:37:12 +0000 (14:37 +0000)]
[project @ 1999-05-21 14:37:12 by sof]
Improved precision of LOOKS_LIKE_PTR()
sof [Fri, 21 May 1999 14:28:32 +0000 (14:28 +0000)]
[project @ 1999-05-21 14:28:32 by sof]
Don't perform repeated shutdowns
simonmar [Fri, 21 May 1999 13:37:08 +0000 (13:37 +0000)]
[project @ 1999-05-21 13:37:07 by simonmar]
Misc patches from SLPJ.
simonmar [Fri, 21 May 1999 12:52:51 +0000 (12:52 +0000)]
[project @ 1999-05-21 12:52:28 by simonmar]
A bunch of patches from SLPJ to fix various things.
simonmar [Thu, 20 May 1999 10:23:43 +0000 (10:23 +0000)]
[project @ 1999-05-20 10:23:42 by simonmar]
+RTS -s<file> now gives "summary" statistics only (i.e. without the per-gc
stat lines).
simonpj [Tue, 18 May 1999 16:38:24 +0000 (16:38 +0000)]
[project @ 1999-05-18 16:38:23 by simonpj]
More small changes to make Simon's big commit work
simonpj [Tue, 18 May 1999 16:11:00 +0000 (16:11 +0000)]
[project @ 1999-05-18 16:10:59 by simonpj]
Small changes to make Simon's big commit work
simonpj [Tue, 18 May 1999 15:41:32 +0000 (15:41 +0000)]
[project @ 1999-05-18 15:41:31 by simonpj]
Documentation for rewrite rules.
Some stuff in (a) glasgow exts
(b) debugging
Doubtless incomplete, and since I can't build the
docs on (my) NT box, I don't even know if my changes
are syntactically correct!
simonpj [Tue, 18 May 1999 15:20:51 +0000 (15:20 +0000)]
[project @ 1999-05-18 15:20:51 by simonpj]
Simon's Prelude changes
~~~~~~~~~~~~~~~~~~~~~~~
[The real commit preceded this, but had the stupid message "msg_prel"
because I used "cvs commit -m" instead of "cvs commit -F"]
Prelude is split into more modules
new are: PrelEnum, PrelShow, PrelNum
removed: PrelBounded (all in PrelEnum now)
PrelEither (all in PrelMaybe now)
There are also a lot of RULES, of course.
simonpj [Tue, 18 May 1999 15:19:15 +0000 (15:19 +0000)]
[project @ 1999-05-18 15:19:15 by simonpj]
Renamer changes
~~~~~~~~~~~~~~~
[The real commit preceded this, but had the stupid message "msg_rn"
because I used "cvs commit -m" instead of "cvs commit -F"]
Fairly substantial changes to the renamer:
* opt_PruneTyDecls is gone, gone, gone. Hurrah. Ditto the 'deferred
data decls' which was a bug farm.
Instead, the compiler slurps in the transitive closure of all type
declarations. It is nevertheless still parsimonious about slurping
in instance decls and rewrite rules.
* The renamer now uses the usage information stored in each interface
file to figure out whether to look for A.hi or A.hi-boot when looking
for a declaration for A.f (say).
* Because of the above, there are no "A!f" symbols in interface files any more.
However, the header of the interface file does contain a "!" to indicate
that the mdoule contains "orphan" instance decls or rewrite rules.
__interface Foo 3 ! 403 where
Likewise, the usage info contains a "!" to indicate that the module
mentioned has orphans:
import Foo 3 ! :: a 1 b 7 ;
* The renamer now only reads an interface looking for fixities if it
finds an occurrence of an operator from that module. (Previously
it pessimistically read the home modlese of all in-scope variables.)
* Some flags have changed to more consistent names:
-ddump-rn-stats (was -dshow-rn-stats)
-ddump-rn-trace (was -dshow-rn-trace)
* Exports now come before imports in interface files. (This was an
un-forced change.)
* The usage info is now explicit when a module imports the whole of another:
import M 3 ; -- Imports the whole of M
import M 3 :: a 2 b 7 ; -- Imports M.a, M.b
import M 3 :: ; -- Imports nothing from M
The last one is still vital to record that this module depends indirectly
on M, even though it didn't use anything from M directly.
* The renamer warns if you import {- SOURCE -} unnecessarily.
simonpj [Tue, 18 May 1999 15:17:58 +0000 (15:17 +0000)]
[project @ 1999-05-18 15:17:58 by simonpj]
SMALL TYPECHECKER FIXES
[The real commit preceded this, but had the stupid message "RULES-NOTES"
because I used "cvs commit -m" instead of "cvs commit -F"]
1. Allow type synonyms with kind other than '*'
2. Check that the default methods declared in a class decl are
from that class decl
simonpj [Tue, 18 May 1999 15:16:33 +0000 (15:16 +0000)]
[project @ 1999-05-18 15:16:33 by simonpj]
SIMON's MASSIVE COMMIT
[The real commit preceded this, but had the stupid message "RULES-NOTES"
because I used "cvs commit -m" instead of "cvs commit -F"]
Module reorganisation
~~~~~~~~~~~~~~~~~~~~~~~~~~~
coreSyn/CoreFVs replaces coreSyn/FreeVars
coreSyn/CoreTidy is new (was code in simplCore/SimplCore)
coreSyn/Subst is new (implements substitution incl
dealing with name clashes
main/CodeOutput is new (was gruesome code in main/Main)
parser/rulevar.ugn Ugen file for rules
prelude/ThinAir.lhs is new (defns for "thin air" ids; was in
prelude/PrelVals)
specialise/Rules is new (implements rewrite rule matching)
typecheck/TcRules is new (typechecks rewrite rules)
types/InstEnv is new (implements the instance env in Class;
replaces SpecEnv)
specialise/SpecEnv has gone
simplCore/MagicUFs has gone (hurrah)
Rewrite rules
~~~~~~~~~~~~~
This major commit adds the ability to specify transformation rules.
E.g.
{-# RULES
forall f,g,xs. map f (map g xs) = map (f . g) xs
#-}
The rules are typechecked, and survive across separate compilation.
* specialise/SpecEnv.lhs has gone, replaced by specialise/Rules.lhs.
Rules.lhs implements transformation-rule matching.
* Info about class instances is no longer held in a SpecEnv in the class;
instead classes have their own thing, typecheck/InstEnv.lhs
* Specialisations are held in list of rules, held inside an Id.
So although specialisations arise from SPECIALISE pragmas and
uses of overloaded functions, they are still expressed as transformation
rules. However these rules are held inside the relevant Id, as
before. The RULES ones are held globally.
Cloning
~~~~~~~
I've removed -fplease-clone as a simplifier flag. It complicates the
plumbing quite a bit. The simplifier now simply ensures that there's
no shadowing in its output.
It's up to other passes to solve their own cloning problems. It turned
out to be easy:
- SetLevels clones where necessary, so that floating out
doesn't cause a problem.
- CoreToStg clones so that the code generator can use uniques
for labels
Instead, the simplifier clones by using VarSet.uniqAway to find a unique
that doesn't conflict with any that are in scope. If you say -dppr-debug
you get a trace of how many times uniqAway had to loop before finding a
suitable unique. It's too much at present; something to improve.
Flags
~~~~~
* I have stopped -fcase-of-case and friends being 'per-simplfication'
flags, and instead made them global 'opt_' things. This is simpler
and more efficient, and the extra expressiveness was never used anyway.
* -dsimplifier-stats has been renamed to -ddump-simpl-stats
and prints much more coherent info than before.
If you add -dppr-debug you get much more detailed information.
* -ddump-inlinings is more or less as before, but a bit improved.
Inlining and inline phase
~~~~~~~~~~~~~~~~~~~~~~~~~
I've moved the crucial inline-control function (now called callSiteInline)
to CoreUnfold from Simplify, so that all the key inlining decisions are
made in CoreUnfold.
I've removed IWantToBeINLINEd as an InlinePragInfo on an Id. Instead, I've
added a new Note on expressions, InlineMe. This is much more robust to
program transformations than the old way. Essentially, an expression
wrapped in an InlineMe note looks small to the inliner.
In order to prevent variables on the LHS of transformation rules being inlined
prematurely, the simplifier maintains a "black list" of variables that should
not be inlined. Before each run of the simplifier, it constructs its black
list based on the "inline phase number", controlled by the per-simplification
flag -finline-phase1, -finline-phase2 etc. Details of what happens in the
different phases are defined by the function CoreUnfold.blackListed.
Function and primop arguments
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
I've improved the way that the simplifier deals with strict arguments of functions
and primops. These are now both dealt with by Simplify.prepareArgs. As as result
strict arguments are no longer case-ifyd in Core. That happens in the core-to-stg
transformation. This is important so that transformation rules work easily.
We want to see foldr k z (build g)
and not case build g of { x -> foldr k z x }
CoreToStg now takes accouunt of the strictness of functions and primops, to
ensure that strict arguments are done with case.
Cheap primops
~~~~~~~~~~~~~
Primops that are cheap and can't fail (i.e not divide!) reply True to primOpOkForSpeculation.
Applications of such primops are now allowed to appear in lets (rather than cases),
so that they are easier to float. They are honorary lets, in the sense that they can
float out or in without damage. Again core-to-stg turns them into cases.
Class op selectors
~~~~~~~~~~~~~~~~~~
Generate bindings for class-op selectors. The immediate reason for doing this
is so we can write transformation rules involving them; black-listing won't
work if they have to be inlined! The longer-term reason is because Hugs will
need these bindings. Also there's no point in inling them if the dictionary
is lambda bound.
Simplifier
~~~~~~~~~~
I've made a number of detailed changes to the innards of the simplifier.
Result is (a bit) less code, and fewer iterations. Only the biggest modules
provoke the "more than 4 iterations" complaint.
... And tons of other minor stuff ...
simonpj [Tue, 18 May 1999 15:05:18 +0000 (15:05 +0000)]
[project @ 1999-05-18 15:03:54 by simonpj]
RULES-NOTES
simonpj [Tue, 18 May 1999 15:03:53 +0000 (15:03 +0000)]
[project @ 1999-05-18 15:03:53 by simonpj]
Driver updates for Simons main commit; rewrite rules and flaggery
simonpj [Tue, 18 May 1999 15:03:51 +0000 (15:03 +0000)]
[project @ 1999-05-18 15:03:33 by simonpj]
RULES-NOTES
simonpj [Tue, 18 May 1999 14:59:24 +0000 (14:59 +0000)]
[project @ 1999-05-18 14:59:04 by simonpj]
../compiler/msg_prel
simonpj [Tue, 18 May 1999 14:56:15 +0000 (14:56 +0000)]
[project @ 1999-05-18 14:56:06 by simonpj]
msg_rn
simonpj [Tue, 18 May 1999 14:55:48 +0000 (14:55 +0000)]
[project @ 1999-05-18 14:55:47 by simonpj]
msg_tc
simonm [Tue, 18 May 1999 09:19:23 +0000 (09:19 +0000)]
[project @ 1999-05-18 09:19:23 by simonm]
Another sparc/egcs fix.
simonm [Mon, 17 May 1999 16:22:14 +0000 (16:22 +0000)]
[project @ 1999-05-17 16:22:14 by simonm]
Fix for egcs on sparc.
simonm [Mon, 17 May 1999 14:48:30 +0000 (14:48 +0000)]
[project @ 1999-05-17 14:48:30 by simonm]
Workarond apparent bug in FreeBSD 'sh'.
sof [Fri, 14 May 1999 19:49:23 +0000 (19:49 +0000)]
[project @ 1999-05-14 19:49:22 by sof]
Added (yield :: IO ()) - the underlying bits were already there, really.
simonm [Fri, 14 May 1999 11:23:47 +0000 (11:23 +0000)]
[project @ 1999-05-14 11:23:47 by simonm]
Tmp fix: compile HsBasic with -fno-prune-tydecls.
simonm [Thu, 13 May 1999 17:31:14 +0000 (17:31 +0000)]
[project @ 1999-05-13 17:30:50 by simonm]
Support for "unregisterised" builds. An unregisterised build doesn't
use the assembly mangler, doesn't do tail jumping (uses the
mini-interpreter), and doesn't use global register variables.
Plenty of cleanups and bugfixes in the process.
Add way 'u' to GhcLibWays to get unregisterised libs & RTS.
[ note: not *quite* working fully yet... there's still a bug or two
lurking ]
sof [Thu, 13 May 1999 13:08:24 +0000 (13:08 +0000)]
[project @ 1999-05-13 13:08:24 by sof]
Added documentation for (yield :: IO ())
sof [Thu, 13 May 1999 11:03:11 +0000 (11:03 +0000)]
[project @ 1999-05-13 11:03:10 by sof]
Testing the Random library (not complete).
sof [Thu, 13 May 1999 11:00:07 +0000 (11:00 +0000)]
[project @ 1999-05-13 11:00:07 by sof]
randomIvalInteger: The difference between '1' and 'l' is rather slight
at the level of pixels. At the level of Haskell programs however, the
difference is rather more pronounced :)
sof [Thu, 13 May 1999 10:52:55 +0000 (10:52 +0000)]
[project @ 1999-05-13 10:52:55 by sof]
wibble
sof [Thu, 13 May 1999 10:45:05 +0000 (10:45 +0000)]
[project @ 1999-05-13 10:45:03 by sof]
Fised & improved lexing of escaped numeric character literals + a regression
test.
keithw [Wed, 12 May 1999 12:24:16 +0000 (12:24 +0000)]
[project @ 1999-05-12 12:23:53 by keithw]
Fix some tests, mainly to deal with new dictionary format in interface files.
keithw [Tue, 11 May 1999 17:05:49 +0000 (17:05 +0000)]
[project @ 1999-05-11 17:05:43 by keithw]
Remove some comments left in by mistake.
keithw [Tue, 11 May 1999 16:49:44 +0000 (16:49 +0000)]
[project @ 1999-05-11 16:49:44 by keithw]
Whoops, forgot to mention the following change:
Various ticky counters have changed:
- TICK_ALLOC_THK is now TICK_ALLOC_{UP,SE}_THK (updatable versus
single-entry).
- TICK_UPD_{NEW,OLD}_IND is now TICK_UPD_{NEW,OLD}_{,PERM_}IND.
- UPD_{CAF_,}BH_{UPDATABLE,SINGLE_ENTRY}_ctr added, counting the
creation of various flavours of black holes.
- ENT_PERM_IND, UPD_{NEW,OLD}_PERM_IND are only dumped if update
squeezing is off; see comment in Ticky.c
Some documentation for ticky-ticky has been added to the user guide.
keithw [Tue, 11 May 1999 16:48:00 +0000 (16:48 +0000)]
[project @ 1999-05-11 16:47:39 by keithw]
(this is number 9 of 9 commits to be applied together)
Usage verification changes / ticky-ticky changes:
We want to verify that SingleEntry thunks are indeed entered at most
once. In order to do this, -ticky / -DTICKY_TICKY turns on eager
blackholing. We blackhole with new blackholes: SE_BLACKHOLE and
SE_CAF_BLACKHOLE. We will enter one of these if we attempt to enter
a SingleEntry thunk twice. Note that CAFs are dealt with in by
codeGen, and ordinary thunks by the RTS.
We also want to see how many times we enter each Updatable thunk.
To this end, we have modified -ticky. When -ticky is on, we update
with a permanent indirection, and arrange that when we enter a
permanent indirection we count the entry and then convert the
indirection to a normal indirection. This gives us a means of
counting the number of thunks entered again after the first entry.
Obviously this screws up profiling, and so you can't build a ticky
and profiling compiler any more.
Also a few other changes that didn't make it into the previous 8
commits, but form a part of this set.
keithw [Tue, 11 May 1999 16:46:20 +0000 (16:46 +0000)]
[project @ 1999-05-11 16:46:20 by keithw]
(this is number 8 of 9 commits to be applied together)
The CPP flag LAZY_BLACKHOLING has been moved up from options.h into
Stg.h, so GHC can see it as well as the interpreter, and
EAGER_BLACKHOLING has been added. The default is still
LAZY_BLACKHOLING && !EAGER_BLACKHOLING.
keithw [Tue, 11 May 1999 16:44:07 +0000 (16:44 +0000)]
[project @ 1999-05-11 16:44:02 by keithw]
(this is number 7 of 9 commits to be applied together)
The code generator now incorporates the update avoidance
optimisation: a thunk of __o type is now made SingleEntry rather
than Updatable.
We want to verify that SingleEntry thunks are indeed entered at most
once. In order to do this, -ticky turns on eager blackholing.
Ordinary thunks will be dealt with by the RTS, but CAFs are
blackholed by the code generator. We blackhole with new blackholes:
SE_CAF_BLACKHOLE. We will enter one of these if we attempt to enter
a SingleEntry thunk twice.