[project @ 1999-05-04 08:38:53 by sof]
Added support for dllwrap options

[project @ 1999-05-04 08:37:55 by sof]
added a new way (dll) to use when building Prelude DLLs

[project @ 1999-05-04 08:36:29 by sof]
added HAVE_WIN32_DLL_SUPPORT

[project @ 1999-05-04 08:35:12 by sof]
New option: --enable-win32-dlls

[project @ 1999-05-04 08:31:51 by sof]
Updated _casm_ example

[project @ 1999-05-04 08:30:44 by sof]
a howto on Win32 DLLs

[project @ 1999-05-03 13:22:29 by sof]
Win32'ified

[project @ 1999-04-29 12:21:50 by simonpj]
Document Olaf Chitils point about pattern matching against a polymoprhic argument

[project @ 1999-04-29 11:53:12 by simonpj]
Minor fixes to tests

[project @ 1999-04-29 10:38:33 by simonm]
indexArray# fix.

[project @ 1999-04-28 12:59:51 by sewardj]
Nano-fixes to make it work on sparc-solaris.

[project @ 1999-04-28 12:42:45 by sewardj]
Change PK_DBL and ASSIGN_DBL macros for sparc so they only reference their
arguments once.

[project @ 1999-04-28 08:30:58 by simonm]
merge --> mergeIO

[project @ 1999-04-27 18:30:26 by sof]
When installing, append  to entries in PACKAGE_BINS list

[project @ 1999-04-27 17:44:26 by sof]
For a forkIO'ed process, report uncaught exceptions on stderr.

[project @ 1999-04-27 17:41:17 by sof]
* Added toplevel exception handler:

    topHandler :: Bool -- bomb on exception caught
               -> Exception
       -> IO ()

   for PrelMain.mainIO and Concurrent.forkIO to use

 * moved forkIO out of PrelConc and into Concurrent.

[project @ 1999-04-27 17:33:49 by sof]
Renamer changes:

 - for a toplevel type signature

f :: ty

   the name 'f' refers to a local definition of 'f' - i.e., don't
   report 'f' as clashing with any imported 'f's.

 - tidied up the handling of fixity declarations - misplaced fixity
   declarations inside class decls, e.g.,

      class F a where
       infix 9 `f`
       g :: a -> Int

   are now caught and reported as errors. Robustified the renaming
   of class decls.

[project @ 1999-04-27 17:26:09 by keithw]
glasgow-haskell-{bugs,users} has moved.

[project @ 1999-04-27 15:50:07 by simonm]
unboxed 1-tuples are legal.

[project @ 1999-04-27 15:23:29 by simonm]
Mark PrimOp arguments as lazy.  This stops the simplifier throwing
away cases, and is consistent with the way applications work.  We
could probably do better by using the information from
primOpStrictness.

[project @ 1999-04-27 15:21:32 by simonm]
off-by-one in folding of tagToEnum#.

[project @ 1999-04-27 15:20:20 by simonm]
deriving fixes.

[project @ 1999-04-27 15:03:20 by simonm]
indexArray# changes.

[project @ 1999-04-27 14:35:25 by simonm]
indexArray# now returns an unboxed 1-tuple.

[project @ 1999-04-27 14:13:01 by sewardj]
Firstified a few common fns for a modest performance gain,
ie,   elem = any . (==)     ===>    directly recursive version.

[project @ 1999-04-27 14:07:53 by sewardj]
Further fixes to make -DDEBUG work right from mk/build.mk.

[project @ 1999-04-27 12:34:49 by simonm]
- Fix the tagToEnum# support in the code generator

- Make isDeadBinder work on case binders

- Fix compiling of

case x `op` y of z {
True  -> ... z ...
False -> ... z ...

- Clean up CgCase a little.

- Don't generate specialised tag2con functions for derived Enum/Ix
  instances; use tagToEnum# instead.

[project @ 1999-04-27 12:32:15 by simonm]
Remove declaration of PrelBase_Bool_closure_tbl.

[project @ 1999-04-27 12:31:40 by simonm]
Add macros for declaring closure tables.

[project @ 1999-04-27 12:30:26 by simonm]
Remove PrelBase_Bool_closure_tbl; this is now generated automatically.

[project @ 1999-04-27 12:27:49 by sewardj]
Correctify usage of -DDEBUG and -DDEBUG_EXTRA.

[project @ 1999-04-27 12:25:58 by keithw]
Documentation added for RegexString.

[project @ 1999-04-27 12:25:23 by simonm]
Add CLOSURE_TBL() macro for building closure tables.

[project @ 1999-04-27 10:59:29 by sewardj]
Minor mods to make STG Hugs compile out-of-the-box.

[project @ 1999-04-27 10:06:47 by sewardj]
Changes to improve runtime performance of STG Hugs.
-- Reorganisation of the evaluator (Evaluator.c).
-- Changes to code emission (Assembler.c) to support peephole opts
-- An experimental simplifier (optimise.c).
-- Many supporting bug fixes and minor changes.
-- Experimental implementation of integer for standalone hugs (sainteger.c).

[project @ 1999-04-27 09:37:04 by simonm]
- Don't add -DCOMPILING_RTS twice

- *set* SRC_CC_OPTS rather than appending to it: we're using ghc as
  the C compiler, so normal gcc flags probably won't work.  eg. if
  you put SRC_CC_OPTS += -g in your build.mk, it'll fall over here.

[project @ 1999-04-26 16:08:12 by simonm]
add getTag#

[project @ 1999-04-26 16:06:27 by simonm]
- New Wired-in Id: getTag# :: a -> Int#
for a data type, returns the tag of the constructor.
for a function, returns a spurious number probably.
dataToTag# is the name of the underlying primitive which
pulls out the tag (its argument is assumed to be
evaluated).

- Generate constructor tables for enumerated types, so we
  can do tagToEnum#.

- Remove hacks in CoreToStg for dataToTag#.

[project @ 1999-04-26 15:19:28 by simonm]
Add simple high-level interface to Regex (snaffled from my nofib log
analyser).

[project @ 1999-04-26 11:09:48 by simonm]
oops, forgot to add dataToTag#.

[project @ 1999-04-26 10:16:25 by simonm]
Reduce (dataToTag# x) where x is bound to a known constructor.

[project @ 1999-04-26 09:39:21 by simonm]
Add note about needing -optCrts before RTS options for the compiler itself.

[project @ 1999-04-23 13:54:12 by simonm]
dataToTag# support.

[project @ 1999-04-23 13:53:28 by simonm]
Support for

dataToTag# :: a -> Int#  (if a is a data type)

and (partial) support for

tagToEnum# :: Int# -> a  (if a is an enumerated type)

The con2tag functions generated by derived Eq,Ord and Enum instances
are now replaced by dataToTag# for data types with a large number of
constructors.

[project @ 1999-04-23 13:33:23 by sof]
createPipe docfix

[project @ 1999-04-23 09:51:24 by simonm]
Remove hack to force setting the CCCS when we enter a function closure
defined inside a lambda.  We use a more general solution now.

[project @ 1999-04-23 09:47:30 by simonm]
More profiling fixes.  Profiles looking more reasonable, but for best
results add the -caf-all switch to GHC.

[project @ 1999-04-23 09:45:27 by simonm]
Don't forget to set the CCCS from the thunk when entering std thunks.

[project @ 1999-04-20 12:59:51 by simonpj]
Better typechecker error message when a type-signature variable is unified with a type

[project @ 1999-04-19 16:30:51 by simonm]
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.

[project @ 1999-04-19 13:57:21 by simonm]
Fixes to the unbox-strict-fields stuff for existential constructors.

[project @ 1999-04-14 04:07:57 by kglynn]
(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, ....

[project @ 1999-04-13 15:50:29 by sof]
The {Int,Word}{8,16,32,64} types are no longer 'wired-in', just names
with a known key.

[project @ 1999-04-13 15:46:49 by sof]
Adjusted Id import to avoid module cycle; removed some unused helpers

[project @ 1999-04-13 08:55:33 by kglynn]
(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.

[project @ 1999-04-13 06:57:28 by kglynn]
(keving) The CPR Analysis Pass Module

[project @ 1999-04-12 18:32:17 by sof]
Added Haskell wrapper for freeHaskellFunctionPtr()

[project @ 1999-04-12 18:29:05 by sof]
changed to generate tail-jumping code for ccall thunks

[project @ 1999-04-09 01:55:15 by kglynn]
(keving)

Test Update: Re-instate support for -fprint-core

[project @ 1999-04-08 15:46:12 by simonm]
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.

[project @ 1999-04-08 15:43:44 by simonm]
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.

[project @ 1999-04-07 09:23:51 by simonm]
GHC 3.02 doesn't have Maybe.isNothing; switch to using isJust instead.

[project @ 1999-04-06 09:52:03 by simonm]
-funbox-strict-fields test.

[project @ 1999-04-06 09:48:01 by simonm]
Document -funbox-strict-fields.

[project @ 1999-04-06 09:46:36 by simonm]
Add -funbox-strict-fields

[project @ 1999-04-06 09:44:27 by simonm]
Add -funbox-strict-fields flag.

[project @ 1999-04-02 08:50:23 by simonm]
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.

[project @ 1999-03-31 09:52:05 by sof]
On Win32 platforms, provide a (IOError.ComError Int) constructor for
handling HRESULTs conveniently.

[project @ 1999-03-31 09:47:40 by sof]
The bugfix that time forgot

[project @ 1999-03-30 11:26:18 by sof]
New compiler option -fignore-asserts: Causes

    (PrelGHC.assert pred expr)

to be rewritten to (expr).

[project @ 1999-03-29 14:09:36 by keithw]
Useful comment added.
(this is really a CVS checkin test, please ignore...)  --keithw

[project @ 1999-03-29 11:33:29 by sof]
Fixed to allow desugaring of lit-lits with unboxed types.

[project @ 1999-03-29 10:35:28 by simonm]
Overhauled by Sven Panne.

[project @ 1999-03-27 16:16:19 by sof]
updated to reflect what lib now provides

[project @ 1999-03-27 16:15:22 by sof]
Generalised the {read,write}{Int,Word}{8,16,32,64}Array operations
to ST, plus the arrays are indexed using Ix.

[project @ 1999-03-27 12:48:25 by sof]
Look inside build tree too for happy binary

[project @ 1999-03-26 19:50:31 by sof]
Acknowledge the existence of both literal-literals and assertions.

[project @ 1999-03-26 19:45:51 by sof]
assertError: raise an AssertionFailed exception

[project @ 1999-03-26 19:43:43 by sof]
re-export PrelGHC.assert

[project @ 1999-03-26 15:17:45 by simonm]
Fix for parsing __scc expressions.

[project @ 1999-03-26 14:55:05 by simonm]
profiling-related sanity checker fixes.

[project @ 1999-03-26 14:54:43 by simonm]
Fix bug in allocGroup() when allocating an entire megablock in one go.

[project @ 1999-03-26 10:29:02 by simonm]
More profiling fixes.

[project @ 1999-03-25 13:13:51 by simonm]
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.

[project @ 1999-03-25 13:10:32 by simonm]
Remove #ifdef __CONCURRENT_HASKELL__, update for H98.

[project @ 1999-03-25 13:08:17 by simonm]
enable __CONCURRENT_HASKELL__

[project @ 1999-03-25 13:01:44 by simonm]
RET_DYN doesn't have a proper header, just an info pointer.

[project @ 1999-03-24 18:21:21 by sof]
In case the desugaring of a lit-lit should fail, give a more informative error msg

[project @ 1999-03-24 18:19:08 by sof]
tidied up the error handling defs.

[project @ 1999-03-24 16:52:30 by kw]
Fix pretty-printing of FunTys to not throw away NoteTys (eg type synonyms).
(re-commit because first mail message didn't get sent)

[project @ 1999-03-24 12:29:05 by kw217]
Fix pretty-printing of FunTys to not throw away NoteTys (eg type synonyms).

[project @ 1999-03-24 08:46:04 by sof]
Pragmas, Haskell (98) report style.

[project @ 1999-03-23 08:57:19 by sof]
Int and Word have to be treated like other Prelude modules in a DLLish
world.

[project @ 1999-03-23 08:34:07 by sof]
*_SECTION_END_MARKER_DECLs are now void*

[project @ 1999-03-22 16:58:19 by simonm]
Fix cost centres on PAPs.

[project @ 1999-03-22 16:57:10 by simonm]
Previous commit broke let-no-escape.  Fix it up again.

[project @ 1999-03-22 16:56:09 by simonm]
PAPs are ReEntrant, not SingleEntry.

[project @ 1999-03-22 13:01:38 by simonm]
decodeFloat and decodeDouble were accidentally allocating too much
due to a StgWord/byte confusion.

[project @ 1999-03-22 12:59:32 by simonm]
Fix cost centre restores for unboxed tuple alternatives.

[project @ 1999-03-22 11:26:03 by simonm]
raise# now prints "uncaught exception" if it finds a STOP_FRAME.