[project @ 1999-10-26 08:30:31 by simonmar]
Fix documentation installing in a binary dist.

[project @ 1999-10-25 13:20:57 by sof]
FFI wibble:

* disallow the use of {Mutable}ByteArrays in 'safe' foreign imports.
* ensure that ForeignObjs live across a _ccall_GC_.

[project @ 1999-10-25 05:19:22 by andy]
Adding a axiomatic testing framework library to help test Hugs and GHC
libraries.

Here is the example for the test of concat.

test_concat = testRules "concat" [
do (xss :: [[ALPHA]]) <- var "xss"
   concat xss <==> foldr (++) [] xss
]

xss here ranges over various rendering of list of list,
including bottom and lists containing bottom.

<==> uses a small piece of compiler/interpreter specifics to
allow testing for

error "" ... <==> ... error "" ===> Pass

[project @ 1999-10-22 15:58:21 by sewardj]
* Completion of foreign import and foreign export for x86 ccall
  convention.  f-i's and f-x's can pass and return
  Char Int Word Addr StablePtr Float and Double.

* Significant cleanups and infrastructure improvements.
  Characterise functions by (instruction set, calling convention)
  pair where necessary, since that's what counts.

  Moved foreign export code into rts/ForeignCall.c.
  Should now be in a good position to implement x86 stdcall
  convention.

[project @ 1999-10-22 10:00:19 by sewardj]
wibble

[project @ 1999-10-22 09:59:28 by sewardj]
Cleanup of the foreign import code.  Also allow StablePtrs
to be passed back and forth.

[project @ 1999-10-22 08:47:39 by sof]
made writeErrString__ f.i. unsafe

[project @ 1999-10-22 08:40:25 by sof]
Dotted the i's

[project @ 1999-10-21 09:18:02 by simonmar]
Add some missing ticky macros.

[project @ 1999-10-21 08:23:56 by simonmar]
Eliminate those annoying "unexpected lazy BHing required" messages
during ticky-ticky profiling.

[project @ 1999-10-20 10:14:47 by simonmar]
Micro-optimisation: don't need to test for an empty queue in a
BLACKHOLE_BQ, now that we're distinguishing BLACKHOLE and
BLACKHOLE_BQ.  Shortens the update code by a couple of instructions.

[project @ 1999-10-20 10:08:33 by sof]
Back out prev. commit which POSIXified getClockTime() - non-POSIX calls
really are superior (better resolution.)

[project @ 1999-10-20 02:15:56 by andy]
Adding final diffs between Hugs98 (Jan99) and Hugs98 (Sep99)
manually to STG Hugs.

[project @ 1999-10-19 23:51:57 by andy]
Adding a generic version of universal call that
only works for specific argument patterns.

It allows ports to work on the Hugs Prelude immeduately,
even if univeral_call_c_<os/specific> is not ported.

Also, commented out (longstanding?) bug with incorrect call
to setCurrModule.

[project @ 1999-10-19 15:41:18 by simonmar]
use PUSH_ON_RUN_QUEUE macro instead of (slightly less efficient)
inline version.

[project @ 1999-10-19 15:39:08 by simonmar]
ASSERT that the tso link field is empty before pushing it on the end
of a queue.

[project @ 1999-10-19 15:11:31 by sewardj]
Increase default cutoff limit from 16 to 60.  nofib/real/anna
won't compile even with this value set to 50.  Presumably the
same problem afflicts Hugs98-Sept98 ?

[project @ 1999-10-19 15:09:40 by sewardj]
Remove debugging export of ST(..), which causes failures in nofib.

[project @ 1999-10-19 12:11:05 by sewardj]
Wibble.

[project @ 1999-10-19 12:05:27 by sewardj]
Make typeVarsIn non-static since interface.c needs to see it.

[project @ 1999-10-19 11:41:35 by sewardj]
Change CFunDescriptor to match new foreign import implementation.

[project @ 1999-10-19 11:01:24 by sewardj]
Reimplement back-end for foreign import (calling out).

Return to a cleaned-up version of Alastair's callfun.S,
wherein an architecture and calling-convention specific
piece of assembly code is used to construct arguments and
then call the specified function, under the direction of
a type descriptor string.

Defined an interface to this function (universal_call_c)
which I hope will work regardless of 32-or-64 bitness,
endianness and calling convention.

Current implementation is for x86-linux only.

[project @ 1999-10-18 11:49:47 by sof]
* Time.CalendarTime.ctMonth's type should be Month (was Int.)
* fixed Time.addToClockTime - the original implementation was
  completely wrong (thanks to George Russell for indirectly
  reporting the bug.)
* Added the non-std Time.noTimeDiff, handy when you want to do
  calendar calculations, e.g.,

            ct <- getClockTime
            print (toUTCTime (addToClockTime noTimeDiff{tdMonth=1} ct))

* many 'foreign import' decls were not marked as unsafe, even though they
  were passing out MutableByteArray and ByteArray vals. Fixed.

[project @ 1999-10-18 11:44:20 by kglynn]
The fix to ignore error() cases when doing CPR analysis exposed a
problem with the Void type.  A function that always constructs a void
result was converted to w/w, but the worker was producing an unboxed
tuple with 0 components.  Not good.

Fixed so that constructing a void gives CPR value Top.  This is OK
because we won't really be constructing a void each time, we will be
returning a pointer to a shared void cell.

[project @ 1999-10-16 02:17:25 by andy]
Adding diffs between Hugs98 (Jan99) and Hugs98 (Sep99)
manually to STG Hugs.

Brings in large change to typechecking sub-system.

[project @ 1999-10-15 23:52:00 by andy]
Adding diffs between Hugs98 (Jan99) and Hugs98 (Sep99)
manually to STG Hugs.

These are the changes to input.c, with minor tweeks to
connect.h and parser.y to make this work.

[project @ 1999-10-15 22:35:04 by andy]
Adding diffs between Hugs98 (Jan99) and Hugs98 (Sep99) manually to STG Hugs.

[project @ 1999-10-15 21:40:49 by andy]
Updating all copyright messages to the same as Hugs98.

[project @ 1999-10-15 19:11:54 by andy]
Changing order of check for use of DLL for dynamic linking.
(Under cygwin, we still want to use DLL's).

[project @ 1999-10-15 11:02:06 by sewardj]
Added basic support for foreign export dynamic.

Many aspects of it are still broken:
* Only supports x86-linux.
* The range of allowable types is small: Char Int Float Double
  Addr and Word.
* Adjustor thunks are never freed.
* Returning Doubles or Floats doesn't work at all.

I expect to fix some of these shortly.  foreign import also
needs redoing, so it can accept any number of arguments of
any type.

Also:
* Fixed setRtsFlags in Evaluator.c to make it endian-independent.
* Fixed raisePrim in Evaluator.c so things like division by zero,
  array index errors, etc, throw an exception instead of
  terminating StgHugs.  raisePrim is renamed makeErrorCall.

[project @ 1999-10-15 09:50:22 by simonmar]
Add macros for two-register call/return convention, for experimentation.

[project @ 1999-10-15 08:56:46 by simonmar]
set $(HC) to the inplace ghc driver script.

[project @ 1999-10-14 13:44:55 by simonpj]
Swap ticky column order

[project @ 1999-10-14 13:33:19 by simonmar]
Allow unboxed tuples with zero components in unfoldings, CPR seems to
generate them occasionally (perhaps it shouldn't - there is very
little difference between returning () and (# #)).

[project @ 1999-10-14 13:12:22 by simonmar]
oops: unbreak non-ticky compiles

[project @ 1999-10-14 07:23:10 by simonpj]
Add a test for scoped type variables

[project @ 1999-10-13 16:39:10 by simonmar]
Crude allocation-counting extension to ticky-ticky profiling.

Allocations are counted against the closest lexically enclosing
function closure, so you need to map the output back to the STG code.

[project @ 1999-10-13 10:43:15 by simonmar]
typo

[project @ 1999-10-13 10:09:03 by simonmar]
#ifdefs for bootstrapping

[project @ 1999-10-13 09:59:36 by simonmar]
add a bunch of #ifdefs so we can bootstrap again

[project @ 1999-10-13 09:25:59 by simonmar]
Don't use variables beginning with underscore, 3.02 doesn't grok them.

[project @ 1999-10-12 14:50:07 by simonmar]
typo

[project @ 1999-10-12 13:00:52 by sof]
install (INSTALL_PROGS): a ; too many

[project @ 1999-10-11 12:22:58 by sewardj]
Disable object loading until Hugs/GHC class/instance sync is done.

[project @ 1999-10-11 12:16:16 by sewardj]
Minor library handling mods to make nofib work again.

[project @ 1999-10-11 12:15:12 by sewardj]
Try and make finding of Prelude libraries for hugs a bit saner.
Guess (badly) the absolute pathname to the hugs executable, and
use that to derive the location of the default library.

[project @ 1999-10-11 09:29:12 by simonmar]
use $(GHC), not $(HC)

[project @ 1999-10-11 08:49:06 by simonmar]
use $(GHC), not $(HC)

[project @ 1999-10-11 08:38:25 by simonmar]
use $(GHC), not $(HC)

[project @ 1999-10-10 18:38:52 by sof]
Added the {index,read,write}{PrimTy}OffForeignObj ops to Foreign's
export list + upd. the docs on same a little.

[project @ 1999-10-08 15:20:32 by sof]
Incorporate some fixes for Hugs

[project @ 1999-10-08 15:17:00 by simonmar]
While fiddling around with concurrency & exceptions this afternoon, I
realised an important property of raiseInThread: it is synchronous.
The exception is raised immediately, and doesn't sit in some queue
somewhere waiting to be raised at a later date.

This is important if you have eg. two threads that can kill each
other.  We can guarantee that only one of the threads gets to kill the
other, under no circumstances can there be two killThreads fired in
opposite directions at the same time.

Documented this.

[project @ 1999-10-08 14:16:15 by simonmar]
Change that slipped through the net in the recent build system changes.

[project @ 1999-10-08 11:00:16 by sof]
Improved on the install rules for libexecs and bins a little
(at least from a Win32 pov - you can now install "happy.bin"
without trouble.)

[project @ 1999-10-07 13:31:49 by sof]
Support for generating a VERSIONINFO resource that can be pinned
onto generated DLLs and EXEs (Win32 specific.)

[project @ 1999-10-07 13:09:48 by sof]
Delay shutting down WinSock until exit() time

[project @ 1999-10-06 12:25:18 by simonmar]
Always prepend `#! $(INTERP)' to a script, even if we're BIN_DISTing.
It doesn't do any harm, and means that we can execute the BIN_DIST
version of a script from the build tree, provided it doesn't depend on
any global paths.

[project @ 1999-10-05 11:36:27 by simonmar]
GHC versions are now of the form AA.BB.C, where AA is the major
version, BB is the minor version, and C is the patchlevel.

Part of this commit accidentally ended up in an earlier commit to
fptools/ghc/mk/version.mk, which contains some comments on the version
rationale.  Excerpt:

# ProjectVersionInt does *not* contain the patchlevel (rationale: this
# figure is used for conditional compilations, and library interfaces
# etc. are not supposed to change between patchlevels).

i.e. a patchlevel is for bugfixes only, no new features or
interface-changing changes.  Unfortunately, we made this mistake in
4.04pl1, and won't be making it again.

[project @ 1999-10-05 10:30:26 by simonmar]
Build System Cleanup
--------------------

This commit is intended to clear the way for automatic RPM building.
In particular, the idea is that 'make install' doesn't build anything,
so you can do

make install prefix=/some/tmp/prefix

to install everything in /some/tmp/prefix, but leave the hardwired-in
install directories the same.

For scripts that depend on the install dir (currently just the GHC
driver and mkdependHS), we now build two versions: <script>-inplace,
which is used for running the script from the build tree, and
<script>, which is the to-be-installed version.

NOTE: binary distributions are now a little bit trickier to build.
You *must* include the line "BIN_DIST=1" in your build.mk if you
intend to make a binary distribution from the current build tree.
This is because certain scripts have to be built differently, and we
don't rebuild them when doing 'make binary-dist' anymore (since 'make
binary-dist' just does a 'make install' with a re-targetted prefix,
just like the RPM builder).

Other changes

- the binary-dist machinery is now all in fptools/Makefile
- removed a gratuitous $(package)-$(version) level of
  directories from the binary distribution.
- binary distributions are now placed under the package
  name, rather than fptools/fptools.
- various other minor cleanups.

[project @ 1999-10-05 10:22:40 by simonmar]
--with-ghc-hc is now --with-hc (to be used as the "locally installed
Haskell compiler" for all projects).

[project @ 1999-10-05 09:58:13 by simonmar]
Remove hstags for now.

[project @ 1999-10-05 09:04:30 by kglynn]
(keving)

Much simplified and beautified CPR analysis code.  (And also much
shorter, we'd better write this up before it disappears).

Added (constant) functions to the abstract domain. Note that
Fun^n Bot (n >= 1) == Bot and likewise for Top

Treats divergent computations as Bot (rather than Top as previous) so
non-divergent paths dominate which allows us to generate more accurate
CPR info (see e.g. chr).

We use the result of strictness analysis to tell us if an Id is
divergent (when applied to sufficient args), therefore we should run
after the strictness analysis pass.

[project @ 1999-10-05 09:02:30 by simonmar]
Flatten out the tuple of bounds in the Array, MutableArray and
ByteArray datatypes.  This improves performance of heavy array
manipulations quite significantly.

[project @ 1999-10-04 16:14:34 by simonmar]
Service signal handlers if we get an EINTR from select(2).

[project @ 1999-10-04 16:13:18 by simonmar]
allow raising exceptions in threads blocked on I/O or time delays

[project @ 1999-10-04 15:00:49 by simonmar]
typo

[project @ 1999-10-04 14:03:47 by simonmar]
cleanup

[project @ 1999-10-04 13:57:41 by simonmar]
hstags doesn't work any more - disconnect it

[project @ 1999-10-01 08:41:06 by sof]
avoid giving 'sub's empty parameter lists

[project @ 1999-09-30 16:20:14 by sof]
For strftime()'s format string, stay within the bounds of ISO/ANSI C

[project @ 1999-09-30 15:50:02 by sof]
Simplified the interface between CPUTime.getCPUTime and getCPUTime()

[project @ 1999-09-30 14:25:46 by sof]
Common up Hugs&ghc implementation of addToClockTime, clearing up some potential signed vs. unsigned problems in the process

[project @ 1999-09-30 12:42:25 by sof]
primGetClockTime was incorrectly calling prim_getClockTime; fixed dormant bug in Show instance for ClockTime

[project @ 1999-09-30 12:38:44 by sof]
removed prim_getClockTime

[project @ 1999-09-30 12:35:50 by sof]
more of same

[project @ 1999-09-30 12:35:04 by sof]
don't re-define O_NOCTTY

[project @ 1999-09-26 16:07:38 by sof]
Doc'ed -fwarn-missing-fields

[project @ 1999-09-26 16:05:34 by sof]
Record construction tests

[project @ 1999-09-26 16:01:08 by sof]
Increased friendliness re: record construction a little:

  * constructions that fail to mention one or more strict
    fields are now flagged as an error, which the Report demands.
  * Optionally warn about other missing fields. -fwarn-missing-fields
    takes you there, and it is in currently in the '-W' set of
    warnings.

[project @ 1999-09-22 11:53:33 by sof]
At startup time, install a SIGINT termination handler which calls
shutdownHaskellAndExit(), if invoked.

[project @ 1999-09-21 14:28:14 by sof]
Addr is now a _casm_ free zone + added indexStablePtrOffAddr

[project @ 1999-09-21 09:46:04 by sof]
v1.2 of Show Addr instance, pad out to fixed length

[project @ 1999-09-21 09:19:57 by sof]
when mangling gcc output, make sure we distinguish between a \ at EOL and a \ in DOS paths

[project @ 1999-09-21 09:02:05 by sof]
updated

[project @ 1999-09-21 09:01:38 by sof]
Reg. tests for h{Set,Get}Posn + hSeek

[project @ 1999-09-21 09:00:46 by sof]
Testing the sanity of Show on Addr

[project @ 1999-09-21 08:59:46 by sof]
Moved Show instance for Addr from PrelAddr to Addr & made it display
the Addr in hex (+ have it cope with ptrs with MSB set.)

[project @ 1999-09-20 11:18:05 by simonmar]
Fix for compiling w/ ghc-2.10

[project @ 1999-09-20 10:22:40 by sof]
Added 'updateIORef :: IORef a -> (a->a) -> IO ()'

[project @ 1999-09-20 10:18:29 by simonmar]
- fix bug in setSocketOption__ which meant that trying to set
  SO_REUSEADDR on Linux (and possibly other OS's) didn't work.

- add rudimentary non-blocking connect support.

[project @ 1999-09-20 08:36:35 by panne]
Need sys/types.h for off_t

[project @ 1999-09-19 19:30:26 by sof]
exts/ is now also a _ccall_ free zone.

[project @ 1999-09-19 19:30:04 by sof]
* Re-exported IO.HandlePosn, i.e.,

         type HandlePosition = Integer
 data HandlePosn = HandlePosn Handle HandlePosition

* Added hTell :: Handle -> HandlePosition
  (merely a wrapper for IO.hGetPosn )

* Added hSetBinaryMode :: Handle -> Bool -> IO Bool
  for dynamically changing the 'translation mode' of a Handle.
  This stuff is only useful on platforms that make a distinction
  between text and binary files (e.g., Win32)

[project @ 1999-09-19 19:27:10 by sof]
IOExts.hSetBinaryMode wrapper

[project @ 1999-09-19 19:26:57 by sof]
updates

[project @ 1999-09-19 19:26:14 by sof]
wibble

[project @ 1999-09-19 19:25:24 by sof]
Allow seeking on devices and beyond EOF

[project @ 1999-09-19 19:22:14 by sof]
Have sizeof_time_t report the size in *words*

[project @ 1999-09-19 19:21:22 by sof]
unify two near-identical impls of toClockSec()

[project @ 1999-09-19 19:20:50 by sof]
* drop the restriction that seeks cannot be made on devices & beyond
  EOFs. If the underlying lseek() doesn't like us doing either, it'll
  let us know.
* When asking for the current position under Win32, take into account
  that lseek() reports the _untranslated_ position, so adjust the resulting
  position by scanning input buffer looking for \n's (and treat them
  as if \r\n.)