- Apr 23, 1999
-
-
Simon Marlow authored
Don't forget to set the CCCS from the thunk when entering std thunks.
-
- Apr 20, 1999
-
-
Simon Peyton Jones authored
Better typechecker error message when a type-signature variable is unified with a type
-
- Apr 19, 1999
-
-
Simon Marlow authored
Allow a worker to be present for functions with no strictness info in an interface file. This is useful for functions which get hit by CPR but not the strictness analyser.
-
Simon Marlow authored
Fixes to the unbox-strict-fields stuff for existential constructors.
-
- Apr 14, 1999
-
-
Kevin Glynn authored
(keving) Sigh, No point w/w pass storing the worker id in wrapper's info field, because later simplifications may change the worker id. I've restored the original code which looks in the wrapper function and guesses the worker id. With the addition of CPR transf. this looks a bit fragile. thinks, thinks, ....
-
- Apr 13, 1999
-
-
sof authored
The {Int,Word}{8,16,32,64} types are no longer 'wired-in', just names with a known key.
-
sof authored
Adjusted Id import to avoid module cycle; removed some unused helpers
-
Kevin Glynn authored
(keving) Big Bang introduction of CPR Analysis Pass. Note that now -fstrictness only does the strictness analysis phase, it is necessary to follow this with -fworker-wrapper to actually do the required Core transformations. The -O option in the ghc driver script has been modified appropriately. For now, CPR analysis is turned off. To try it, insert a -fcpr_analyse between the -fstrictness and the -fworker-wrapper options. Misc. comments: - The worker flag has been removed from an ID's StrictnessInfo field. Now the worker info is an extra field in the Id's prag info. - We do a nested CPR analysis, but worker-wrapper only looks at the info for the outermost constructor, else laziness can be lost. - Id's CPR Info in traces and interfaces file follows __M - Worker-wrappery transformation now accounts for both strictness and CPR analysis results.
-
Kevin Glynn authored
(keving) The CPR Analysis Pass Module
-
- Apr 12, 1999
- Apr 09, 1999
-
-
Kevin Glynn authored
(keving) Test Update: Re-instate support for -fprint-core
-
- Apr 08, 1999
-
-
Simon Marlow authored
Profiling fixes: Function closures which are inside a lambda now *set* the CCCS, instead of possibly appending to it. In Simplify.lhs: allow inlining imported functions when profiling. What we really want to do is allow any top-level binding to be inlined, but there doesn't seem to be an easy way to tell whether a binding is top-level or not.
-
Simon Marlow authored
Don't set the cost centre when entering a PAP. Either: - it's fully applied, in which case we're about to set the CCS in the function anyway, or - we're about to build another PAP in which case the costs get attributed to the current CCS. This avoids appending CCSs twice in some cases.
-
- Apr 07, 1999
-
-
Simon Marlow authored
GHC 3.02 doesn't have Maybe.isNothing; switch to using isJust instead.
-
- Apr 06, 1999
-
-
Simon Marlow authored
-funbox-strict-fields test.
-
Simon Marlow authored
Document -funbox-strict-fields.
-
Simon Marlow authored
Add -funbox-strict-fields
-
Simon Marlow authored
Add -funbox-strict-fields flag.
-
- Apr 02, 1999
-
-
Simon Marlow authored
Hack from Simon: put abstract type decls (i.e. from an hi-boot file) on the defferred list, just in case we happen to pull in the real one as well.
-
- Mar 31, 1999
- Mar 30, 1999
-
-
sof authored
New compiler option -fignore-asserts: Causes (PrelGHC.assert pred expr) to be rewritten to (expr).
-
- Mar 29, 1999
-
-
Keith Wansbrough authored
Useful comment added. (this is really a CVS checkin test, please ignore...) --keithw
-
sof authored
Fixed to allow desugaring of lit-lits with unboxed types.
-
Simon Marlow authored
Overhauled by Sven Panne.
-
- Mar 27, 1999
- Mar 26, 1999
-
-
sof authored
Acknowledge the existence of both literal-literals and assertions.
-
sof authored
assertError: raise an AssertionFailed exception
-
sof authored
re-export PrelGHC.assert
-
Simon Marlow authored
Fix for parsing __scc expressions.
-
Simon Marlow authored
profiling-related sanity checker fixes.
-
Simon Marlow authored
Fix bug in allocGroup() when allocating an entire megablock in one go.
-
Simon Marlow authored
More profiling fixes.
-
- Mar 25, 1999
-
-
Simon Marlow authored
Profiling fixes. - top-level CAF CCSs now *append* themselves to the current CCS when called. - remove DICT stuff. - fixes to the auto-scc annotating in the desugarer.
-
Simon Marlow authored
Remove #ifdef __CONCURRENT_HASKELL__, update for H98.
-
Simon Marlow authored
enable __CONCURRENT_HASKELL__
-
Simon Marlow authored
RET_DYN doesn't have a proper header, just an info pointer.
-