[project @ 1999-11-12 16:22:08 by sewardj]
Add checks for readline library (as opposed to headers).

[project @ 1999-11-12 15:43:12 by sewardj]
Add a test for libreadline.{a|so}  (include/readline/readline.h
is already tested for.).

[project @ 1999-11-12 14:32:44 by sewardj]
Install control-c signal handler in interpreter() after call to
initialize, since that calls startupHaskell, which trashes previous
signal settings.

[project @ 1999-11-12 14:12:38 by simonpj]
Modify to avoid warning message in test log

[project @ 1999-11-12 12:51:50 by simonpj]
Document no deriving for existentials

[project @ 1999-11-12 12:51:20 by simonpj]
Add existential-deriving test

[project @ 1999-11-12 11:54:09 by simonmar]
Initial revision

[project @ 1999-11-12 10:18:59 by simonmar]
Fix REG_Su optimised code for update frames (only affects machines
with a REG_Su, such as Sparc).

[project @ 1999-11-11 21:13:12 by andy]
This change provided by Alastair Reid is a bunch of wibbles which fix
some severe performance problems in the copy of the Pretty library
distributed with Hugs-Sept99.

The problems show up when making heavy use of hsep (eg printing large
numbers of comma separated lists which tend to run over the end of
line).  The problems manifest themselves as the infamous "control
stack overflow" and seem to be due to the generation of large
Int thunks that look something like this:

  80 - 4 - 1 - 1 - 3 - 1 - ... -1

(There may be a few +'s in there too but -'s predominate.)

[project @ 1999-11-11 17:52:58 by simonpj]
Small test fixes

[project @ 1999-11-11 17:50:47 by simonpj]
Report slow-entry counts in ticky-ticky

[project @ 1999-11-11 17:42:31 by sewardj]
1.  rts_eval_ now returns Killed if evaluator is interrupted,
    so act accordingly.
2.  RevertCAFs is on by default.

[project @ 1999-11-11 17:24:49 by sewardj]
Add prototype for interruptStgRts().

[project @ 1999-11-11 17:19:15 by simonmar]
Re-instate interrupted stuff.  If the scheduler finds the interrupted
flag to be set, it calls deleteThread() on all the runnable and
blocked threads, wakes up any main thread clients that were waiting,
and then either

(a) returns, in the UP case
(b) waits for more work, in the SMP case.

[project @ 1999-11-11 16:27:30 by sewardj]
wibble: Remove irrelevant #ifdef (DOUBLES).

[project @ 1999-11-11 16:24:12 by sewardj]
Print float/double literals correctly in error messages.

[project @ 1999-11-11 15:20:28 by simonmar]
grrr, back out changes that snuck in with previous commit.

[project @ 1999-11-11 15:17:59 by simonmar]
Integer divMod now uses the native GMP method.  The PrimOp was already
there, it just wasn't being used.

[project @ 1999-11-11 15:09:51 by simonmar]
Remove old Spix stuff, replace with shiny new support for Julian's
CacheProf stuff.  yay!

[project @ 1999-11-11 13:17:36 by simonmar]
avoid those annoying -0.00 times.

[project @ 1999-11-11 11:49:26 by simonmar]
oops, use the correct type

[project @ 1999-11-11 11:47:22 by simonmar]
forgot type in parameter list

[project @ 1999-11-10 23:26:57 by andy]
Adding Int8,16,32,64 into Hugs.

These changes are based on the current (Sep99 Hugs) version of Word.

The GHC parts should be unchanged.

[project @ 1999-11-09 15:57:39 by simonmar]
Fix up some problems with the IN_STG_CODE macro.

[project @ 1999-11-09 15:46:49 by simonmar]
A slew of SMP-related changes.

 - New locking scheme for thunks: we now check whether the thunk
   being entered is in our private allocation area, and if so
   we don't lock it.  Well, that's the upshot.  In practice it's
   a lot more fiddly than that.

 - I/O blocking is handled a bit more sanely now (but still not
   properly, methinks)

 - deadlock detection is back

 - remove old pre-SMP scheduler code

 - revamp the timing code.  We actually get reasonable-looking
   timing info for SMP programs now.

 - fix a bug in the garbage collector to do with IND_OLDGENs appearing
   on the mutable list of the old generation.

 - move BDescr() function from rts/BlockAlloc.h to includes/Block.h.

 - move struct generation and struct step into includes/StgStorage.h (sigh)

 - add UPD_IND_NOLOCK for updating with an indirection where locking
   the black hole is not required.

[project @ 1999-11-09 11:38:28 by simonmar]
Test for lit-lits in patterns.

[project @ 1999-11-09 11:37:38 by simonmar]
Fixes to Simon's lit-lit pattern commit

[project @ 1999-11-09 10:46:25 by simonmar]
Reset standard file descriptors to blocking mode on exit.

[project @ 1999-11-09 10:05:07 by sewardj]
mulIntCzh (i386_TARGET_ARCH): xor --> xorl

[project @ 1999-11-09 00:41:19 by andy]
Debugging wibble.

[project @ 1999-11-09 00:40:11 by andy]
This is to fix the following bugs:

    Reported by    Description
    ----------------------------------------------------------------------
    Various        cutoff value for -c option seems too low.
    Andy           weirdness with :i C if C is a zero parameter class.
    Ross Paterson  Problem with rank 2 parameters and "Showable" class.
    Jeff           Stronger static checking on instances for classes with
                   functional dependencies.

[project @ 1999-11-09 00:14:50 by kglynn]
Support for negative timings in the stats file.  (I've seen times of -0.00).
If a timing is negative then set it to 0.

[project @ 1999-11-08 16:38:24 by simonpj]
Deal better with lit-lit pats

[project @ 1999-11-08 16:24:17 by simonmar]
basck out previous change;  Simon is working on a more correct fix

[project @ 1999-11-08 15:33:20 by simonmar]
Don't allow litlits in patterns.

[project @ 1999-11-08 15:30:32 by sewardj]
Make Hugs evaluator work with new register table arrangements
arising from Simon's SMP work.

[project @ 1999-11-08 14:45:52 by simonmar]
Undo previous misguided commit by me

[project @ 1999-11-05 15:25:49 by simonmar]
Handle potentially blocking writes (yes, I've seen one :) Or rather,
its footprint: unfortunately, the error message didn't appear because
writes to stderr were returning EAGAIN etc. etc., see accompanying
commit to writeError.c.)

[project @ 1999-11-05 15:22:59 by simonmar]
Clear the non-blocking flag on stderr before trying to print an error
message.

[project @ 1999-11-05 12:28:05 by simonmar]
_ccall_GC wibbles

[project @ 1999-11-05 10:09:36 by simonmar]
Allow this syntax on the lhs:

(e1 `op` e2) e3 = ...

(bug reported by Ralf Hinze).

Add a test for it.

[project @ 1999-11-04 15:09:09 by sewardj]
Fix wibble in setting of HappyCmd.

[project @ 1999-11-04 10:15:50 by simonmar]
Fix call to StgRun

[project @ 1999-11-04 00:32:30 by andy]
Modifing these libs so that they also work with StgHugs.

[project @ 1999-11-03 23:54:15 by andy]
Adding Word8,16,32,64 into Hugs.

These changes are based on the current (Sep99 Hugs) version of Word.

The GHC parts should be unchanged.

[project @ 1999-11-03 15:04:25 by simonmar]
- don't hold the scheduler lock while doing the select, since
  we might sit in there for a long time.

- don't need the gettimeofday() hack on Linux, because select
  already returns the unslept time.

[project @ 1999-11-03 15:01:51 by simonmar]
remove bogus #include

[project @ 1999-11-03 15:00:21 by simonmar]
Add basereg argument to StgRun (not currently handled by anything
except the x86 code, which means SMP only works on x86 at the moment).

[project @ 1999-11-02 17:19:15 by simonmar]
Time the shutdown code as well as the initialisation code.  This
figure is sometimes significant for SMP, because the tasks are all
killed by a signal (at the moment) and it might take a while for the
signal to be delivered.

[project @ 1999-11-02 17:17:47 by simonmar]
Fix CAF_BLACKHOLE and BLACKHOLE_BQ entry code for SMP case (it was
going into a busy locking state through comparing against the wrong
info pointer)

[project @ 1999-11-02 17:08:28 by simonmar]
Remove accidental wibble that made it in with the last commit

[project @ 1999-11-02 17:04:28 by simonmar]
make the prototypes of suspendThread and resumeThread available to the RTS.

[project @ 1999-11-02 15:05:38 by simonmar]
This commit adds in the current state of our SMP support.  Notably,
this allows the new way 's' to be built, providing support for running
multiple Haskell threads simultaneously on top of any pthreads
implementation, the idea being to take advantage of commodity SMP
boxes.

Don't expect to get much of a speedup yet; due to the excessive
locking required to synchronise access to mutable heap objects, you'll
see a slowdown in most cases, even on a UP machine.  The best I've
seen is a 1.6-1.7 speedup on an example that did no locking (two
optimised nfibs in parallel).

- new RTS -N flag specifies how many pthreads to start.

- new driver -smp flag, tells the driver to use way 's'.

- new compiler -fsmp option (not for user comsumption)
  tells the compiler not to generate direct jumps to
  thunk entry code.

- largely rewritten scheduler

- _ccall_GC is now done by handing back a "token" to the
  RTS before executing the ccall; it should now be possible
  to execute blocking ccalls in the current thread while
  allowing the RTS to continue running Haskell threads as
  normal.

- you can only call thread-safe C libraries from a way 's'
  build, of course.

Pthread support is still incomplete, and weird things (including
deadlocks) are likely to happen.

[project @ 1999-11-02 13:58:57 by sof]
expected output

[project @ 1999-11-02 11:57:15 by simonmar]
Add simple "raw" style callback example (i.e. not using the FFI).  Just
for testing _ccall_GC really.

[project @ 1999-11-02 11:55:02 by sof]
Simple example of callback'ery in action

[project @ 1999-11-02 11:25:42 by sof]
updated with expected-output files

[project @ 1999-11-02 10:31:54 by simonpj]
Fix bug in instance Dynamic (Either a b)

[project @ 1999-11-01 18:19:39 by sewardj]
Computation of max-stack-use during BCO generation was completely bogus.
Fix it.  Also, add a i_STK_CHECK_big insn with 16-bit opcode.

[project @ 1999-11-01 18:17:45 by sewardj]
Correctly evacuate BCOs on the large object list.  Was causing
okeefe_neural to fail.

[project @ 1999-11-01 17:09:54 by simonpj]
A regrettably-gigantic commit that puts in place what Simon PJ
has been up to for the last month or so, on and off.

The basic idea was to restore unfoldings to *occurrences* of
variables without introducing a space leak.  I wanted to make
sure things improved relative to 4.04, and that proved depressingly
hard.  On the way I discovered several quite serious bugs in the
simplifier.

Here's a summary of what's gone on.
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
* No commas between for-alls in RULES.  This makes the for-alls have
  the same syntax as in types.

* Arrange that simplConArgs works in one less pass than before.
  This exposed a bug: a bogus call to completeBeta.

* Add a top-level flag in CoreUnfolding, used in callSiteInline

* Extend w/w to use etaExpandArity, so it does eta/coerce expansion

* Implement inline phases.   The meaning of the inline pragmas is
  described in CoreUnfold.lhs.  You can say things like
{#- INLINE 2 build #-}
  to mean "inline build in phase 2"

* Don't float anything out of an INLINE.
  Don't float things to top level unless they also escape a value lambda.
[see comments with SetLevels.lvlMFE
  Without at least one of these changes, I found that
{-# INLINE concat #-}
concat = __inline (/\a -> foldr (++) [])
  was getting floated to
concat = __inline( /\a -> lvl a )
lvl = ...inlined version of foldr...

  Subsequently I found that not floating constants out of an INLINE
  gave really bad code like
__inline (let x = e in \y -> ...)
  so I now let things float out of INLINE

* Implement the "reverse-mapping" idea for CSE; actually it turned out to be easier
  to implement it in SetLevels, and may benefit full laziness too.

* It's a good idea to inline inRange. Consider

index (l,h) i = case inRange (l,h) i of
     True ->  l+i
  False -> error
  inRange itself isn't strict in h, but if it't inlined then 'index'
  *does* become strict in h.  Interesting!

* Big change to the way unfoldings and occurrence info is propagated in the simplifier
  The plan is described in Subst.lhs with the Subst type
  Occurrence info is now in a separate IdInfo field than user pragmas

* I found that
(coerce T (coerce S (\x.e))) y
  didn't simplify in one round. First we get to
(\x.e) y
  and only then do the beta. Solution: cancel the coerces in the continuation

* Amazingly, CoreUnfold wasn't counting the cost of a function an application.

* Disable rules in initial simplifier run.  Otherwise full laziness
  doesn't get a chance to lift out a MFE before a rule (e.g. fusion)
  zaps it.  queens is a case in point

* Improve float-out stuff significantly.  The big change is that if we have

\x -> ... /\a -> ...let p = ..a.. in let q = ...p...

  where p's rhs doesn't x, we abstract a from p, so that we can get p past x.
  (We did that before.)  But we also substitute (p a) for p in q, and then
  we can do the same thing for q.  (We didn't do that, so q got stuck.)
  This is much better.  It involves doing a substitution "as we go" in SetLevels,
  though.

[project @ 1999-11-01 16:07:48 by simonpj]
fromInt stuff and other wibbles

[project @ 1999-11-01 16:06:34 by simonpj]
Minor tweaks to intro, and description of RULES

[project @ 1999-11-01 14:20:18 by sof]
ppr change that should have been included with prev absCSyn/ commit

[project @ 1999-11-01 12:12:58 by sewardj]
Increase NUM_TEXT to 100000 so okeefe_neural will parse.

[project @ 1999-11-01 11:07:07 by sewardj]
Nuke #if OVERLOADED_CONSTANTS, since H98 requires it by default.

[project @ 1999-11-01 11:01:11 by sewardj]
Fix codegen bug causing cg028.hs to fail.  namePmDouble was not bound
to anything, which caused translations of patterns containing doubles
to contain NILs.  Also bound namePmInteger since it didn't seem to be
bound to anything.

[project @ 1999-11-01 10:16:43 by sof]
updated

[project @ 1999-11-01 10:16:03 by sof]
formatRealFloat: Fixed some e==0 confusion in the default case for FFExponent

[project @ 1999-11-01 04:17:37 by andy]
wibble in derive.c

Changing stdout's buffering. fflush in the program does not flush
the dll's private buffer space on Win32.

[project @ 1999-11-01 02:41:04 by andy]
Adding commands to generate the std H98 libs for STG Hugs.

[project @ 1999-11-01 02:38:31 by andy]
minor tweaks to do with H98 (like sequence => sequence_, etc)
Removing the lib/*hs standard libs to make way for the automatically
generated ones.

[project @ 1999-11-01 02:04:31 by andy]
Changing to use the new IO primitives.
Addr is no longer a synonym of Int.

[project @ 1999-11-01 01:16:18 by andy]
Adding type signature to main.

[project @ 1999-10-31 15:35:32 by sof]
To workaround gcc/egcs bugs re: handling of non-toplevel "extern" decls,
lift them out to the top. i.e., extend mechanism by which "typedefs"
are lifted out to the toplevel (for the same reasons) to also encompass
"extern"s.

Note: the default is not to emit an "extern" decl for every _ccall_,
as this runs the chance of (trivially) conflicting with header file
includes. So, to enable, use -optC-femit-extern-decls.

[project @ 1999-10-29 14:34:25 by sewardj]
#include wibble

[project @ 1999-10-29 14:33:57 by sewardj]
portability wibble

[project @ 1999-10-29 14:18:20 by sewardj]
Minor efficiency improvements to Prelude I/O functions.

[project @ 1999-10-29 14:01:53 by sof]
Pure Win32 builds doesn't support non-blocking IO

[project @ 1999-10-29 13:59:52 by sof]
wibble

[project @ 1999-10-29 13:55:40 by sof]
attach version info

[project @ 1999-10-29 13:54:42 by sof]
s/TargetPlatform/TARGETPLATFORM/g

[project @ 1999-10-29 13:53:37 by sof]
Support for baking version info into the gen'ed Prelude DLL

[project @ 1999-10-29 13:52:30 by sof]
cbits/ is now also built in a DLL way, if needs be.

[project @ 1999-10-29 13:50:16 by sof]
INSTALL_* tweaks

[project @ 1999-10-29 13:41:23 by sewardj]
Make foreign import and thus the Prelude work on cygwin.

[project @ 1999-10-29 11:41:04 by sewardj]
Basic #ifdeffery to make StgHugs compile out of the box on cygwin.

[project @ 1999-10-29 01:16:48 by andy]
Adding in the modified versions of the Standard Haskell 98 libraries.
These should compile under both Hugs and GHC.

use the flags  -D__HUGS__ -DUSE_REPORT_PRELUDE to extract the Hugs src.

[project @ 1999-10-29 00:53:25 by andy]
Fixing bug with derived Read/Show of labeled fields.
(showField and readField were undefined).

[project @ 1999-10-28 22:37:27 by andy]
Wibble in printing of type contexts.

[project @ 1999-10-28 18:11:05 by sof]
When generating C stubs, honour -osuf <x> option

[project @ 1999-10-28 16:41:39 by sof]
More {-# OPTIONS .. #-} tweaks: handle -#include "..." (where
'handle' == 'ignore'.)

[project @ 1999-10-28 14:32:06 by sewardj]
Make platform-specific dynamic loaders add ".so", ".dll" etc to
library names, so that f-i decls can be written without them.
Modify Prelude accordingly.

Remove unused functionality in dynamic.c and make err msgs a bit
better.

[project @ 1999-10-28 08:21:15 by sof]
Don't warn user of unrecognised options when processing
{-# OPTIONS .. #-} pragmas.

[project @ 1999-10-28 07:53:13 by simonpj]
More RULES documentation

[project @ 1999-10-27 15:29:37 by simonmar]
Use C-style comments instead of assembler comments - the '#' confuses
cpp when mkdependC'ing.

[project @ 1999-10-27 14:05:27 by sof]
Support for "{-# OPTIONS <opts> #-}" in headers of (de-litted)
source files. Currently, only -syslib <foo> and "-fglasgow-exts"
settings are picked up from within <opts>.

Mildly tested; give it a twirl.

[project @ 1999-10-27 11:57:32 by sewardj]
remove debug printing -- wibble

[project @ 1999-10-27 11:55:51 by sewardj]
Dot-ify local labels.

[project @ 1999-10-27 11:11:11 by sewardj]
universal_call_c_x86_stdcall: assume *I* have been ccall'd, not
stdcall'd, so don't clear my own args on return.