[project @ 1999-05-11 14:38:47 by sof]
myThreadId doc'ed

[project @ 1999-05-11 09:15:19 by sof]
couple of fixes (courtesy of MPJ)

[project @ 1999-05-10 19:49:15 by sof]
minor updates

[project @ 1999-05-10 17:53:59 by sof]
Assuming that the TC sometime in the future will want to start looking
at infix decls (right, Simon?), the renamer currently passes them on
rather than filter.

Couple of TC tweaks to have it non-burpingly handle such FixSigs
inside class decls.

[project @ 1999-05-10 16:55:43 by sof]
The implementation of hGetLine, as given in the report, doesn't handle
partial lines on unbuffered handles that well (not at all, as it turns
out). Fixed.

[project @ 1999-05-10 16:52:10 by sof]
PrelHandle.withHandle: don't catch IO exceptions.

[project @ 1999-05-10 13:13:18 by sof]
yet another bugfix to the 'deriving Read' code

[project @ 1999-05-10 10:12:25 by simonm]
Test fixes.

[project @ 1999-05-10 10:06:24 by sof]
oops, args to startupHaskell() wrong way around

[project @ 1999-05-10 09:56:50 by sof]
extend cleanup to integer2Word#

[project @ 1999-05-10 09:50:49 by simonm]
integer2Int# take 4: cleaned up a little.

[project @ 1999-05-10 09:26:41 by sof]
integer2Int#, take 3

[project @ 1999-05-10 08:23:55 by sof]
Added a DllMain() which starts up RTS upon DLL load.

[project @ 1999-05-07 15:42:49 by sof]
integer2Int# again: don't flip sign unless outside [minInt,maxInt]

[project @ 1999-05-07 14:52:49 by simonm]
some test updates

[project @ 1999-05-07 13:44:00 by simonm]
Fix bug in tagToEnum#: if the amode of the tag overlapped with node,
bogus code would be generated.  Now load the tag into a temporary
before doing the table lookup.

[project @ 1999-05-07 13:41:14 by sof]
Fixed two showstopping bugs in 'deriving Read' code (mea culpa).

[project @ 1999-05-07 11:31:12 by simonm]
Don't try to make a tag2con function if we're deriving Ix on a
single-constructor datatype (it isn't needed, and will probably be
type-incorrect anyway).

[project @ 1999-05-07 11:16:37 by simonm]
Ignore exceptions in the spawned threads.

[project @ 1999-05-07 11:10:45 by simonm]
Don't test for CLOSURE_SHOULD_SPARK in forkzh, because forkzh's argument
is an IO action and we're about to apply it to the state anyway.

[project @ 1999-05-06 08:41:10 by simonm]
s/finalis/finaliz/g

[project @ 1999-05-06 08:32:51 by sof]
Add -lwsock32 to linker command line, if needs be

[project @ 1999-05-05 11:39:09 by keithw]
Add a space to panic message from zipWith*Equal.

[project @ 1999-05-05 10:48:03 by sof]
DLL config added

[project @ 1999-05-05 10:39:25 by sof]
Improved the splitting of the std. generator

[project @ 1999-05-05 10:36:29 by sof]
switch over to using Winsock on the _WIN32 side

[project @ 1999-05-05 10:34:53 by sof]
stubs for starting & stopping Winsock

[project @ 1999-05-05 10:33:13 by sof]
Winsock support

[project @ 1999-05-05 08:35:02 by sof]
Empty rec pattern test

[project @ 1999-05-05 08:31:00 by sof]
Allow record pattern "F{}" on any old constructor, not just with those
that have labelled fields.

[project @ 1999-05-04 19:31:51 by sof]
Check for presence of winsock.h

[project @ 1999-05-04 10:19:14 by sof]
Misc tweaks to Win32 DLL setup

[project @ 1999-05-04 10:16:51 by sof]
Module defn files for RTS + the bits that the RTS need from the Prelude

[project @ 1999-05-04 08:58:18 by sof]
integer2Int# isn't sign preserving any longer, but modulo maxBound

[project @ 1999-05-04 08:52:22 by sof]
Moved DLL-related macros out of Stg.h and into separate .h file

[project @ 1999-05-04 08:50:43 by sof]
Removed last vestiges of PrelBase_Bool_closure_tbl (yes\!)

[project @ 1999-05-04 08:47:32 by sof]
* Added option --mk-dll (and -optdll<foo>) to ease the creation of DLLs containing
  ghc-compiled code (see docs for details).
* Fixed bug which caused non-std ways to pick up the std way's interface files
  when compiling the prelude.

[project @ 1999-05-04 08:40:07 by sof]
a rule or two for building DLLs

[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.