[project @ 1999-05-17 14:48:30 by simonm]
Workarond apparent bug in FreeBSD 'sh'.

[project @ 1999-05-14 19:49:22 by sof]
Added (yield :: IO ()) - the underlying bits were already there, really.

[project @ 1999-05-14 11:23:47 by simonm]
Tmp fix: compile HsBasic with -fno-prune-tydecls.

[project @ 1999-05-13 17:30:50 by simonm]
Support for "unregisterised" builds.  An unregisterised build doesn't
use the assembly mangler, doesn't do tail jumping (uses the
mini-interpreter), and doesn't use global register variables.

Plenty of cleanups and bugfixes in the process.

Add way 'u' to GhcLibWays to get unregisterised libs & RTS.

[ note: not *quite* working fully yet... there's still a bug or two
  lurking ]

[project @ 1999-05-13 13:08:24 by sof]
Added documentation for (yield :: IO ())

[project @ 1999-05-13 11:03:10 by sof]
Testing the Random library (not complete).

[project @ 1999-05-13 11:00:07 by sof]
randomIvalInteger: The difference between '1' and 'l' is rather slight
at the level of pixels. At the level of Haskell programs however, the
difference is rather more pronounced :)

[project @ 1999-05-13 10:52:55 by sof]
wibble

[project @ 1999-05-13 10:45:03 by sof]
Fised & improved lexing of escaped numeric character literals + a regression
test.

[project @ 1999-05-12 12:23:53 by keithw]
Fix some tests, mainly to deal with new dictionary format in interface files.

[project @ 1999-05-11 17:05:43 by keithw]
Remove some comments left in by mistake.

[project @ 1999-05-11 16:49:44 by keithw]
Whoops, forgot to mention the following change:

  Various ticky counters have changed:
    - TICK_ALLOC_THK is now TICK_ALLOC_{UP,SE}_THK (updatable versus
      single-entry).
    - TICK_UPD_{NEW,OLD}_IND is now TICK_UPD_{NEW,OLD}_{,PERM_}IND.
    - UPD_{CAF_,}BH_{UPDATABLE,SINGLE_ENTRY}_ctr added, counting the
      creation of various flavours of black holes.
    - ENT_PERM_IND, UPD_{NEW,OLD}_PERM_IND are only dumped if update
      squeezing is off; see comment in Ticky.c

  Some documentation for ticky-ticky has been added to the user guide.

[project @ 1999-05-11 16:47:39 by keithw]
(this is number 9 of 9 commits to be applied together)

  Usage verification changes / ticky-ticky changes:

  We want to verify that SingleEntry thunks are indeed entered at most
  once.  In order to do this, -ticky / -DTICKY_TICKY turns on eager
  blackholing.  We blackhole with new blackholes: SE_BLACKHOLE and
  SE_CAF_BLACKHOLE.  We will enter one of these if we attempt to enter
  a SingleEntry thunk twice.  Note that CAFs are dealt with in by
  codeGen, and ordinary thunks by the RTS.

  We also want to see how many times we enter each Updatable thunk.
  To this end, we have modified -ticky.  When -ticky is on, we update
  with a permanent indirection, and arrange that when we enter a
  permanent indirection we count the entry and then convert the
  indirection to a normal indirection.  This gives us a means of
  counting the number of thunks entered again after the first entry.
  Obviously this screws up profiling, and so you can't build a ticky
  and profiling compiler any more.

  Also a few other changes that didn't make it into the previous 8
  commits, but form a part of this set.

[project @ 1999-05-11 16:46:20 by keithw]
(this is number 8 of 9 commits to be applied together)

  The CPP flag LAZY_BLACKHOLING has been moved up from options.h into
  Stg.h, so GHC can see it as well as the interpreter, and
  EAGER_BLACKHOLING has been added.  The default is still
  LAZY_BLACKHOLING && !EAGER_BLACKHOLING.

[project @ 1999-05-11 16:44:02 by keithw]
(this is number 7 of 9 commits to be applied together)

  The code generator now incorporates the update avoidance
  optimisation: a thunk of __o type is now made SingleEntry rather
  than Updatable.

  We want to verify that SingleEntry thunks are indeed entered at most
  once.  In order to do this, -ticky turns on eager blackholing.
  Ordinary thunks will be dealt with by the RTS, but CAFs are
  blackholed by the code generator.  We blackhole with new blackholes:
  SE_CAF_BLACKHOLE.  We will enter one of these if we attempt to enter
  a SingleEntry thunk twice.

[project @ 1999-05-11 16:42:54 by keithw]
(this is number 6 of 9 commits to be applied together)

  It is useful to know the usage of a lambda outside the usage
  inference (specifically, in the simplifier); thus as a temporary
  hack to make this information available without undue modification
  to the rest of the compiler, the information is copied into the
  IdInfo field of the binder.

  The new information is LBVarInfo, which can be either NoLBVarInfo or
  IsOneShotLambda, corresponding to __m/no info and __o respectively.
  LBVarInfo is not intended to be printed in interface files; to
  enforce this ppLBVarInfo is defined to print nothing.

[project @ 1999-05-11 16:42:29 by keithw]
(this is number 5b of 9 commits to be applied together)

  The major purpose of this commit is to introduce usage information
  and usage analysis into the compiler, per the paper _Once Upon a
  Polymorphic Type_ (Keith Wansbrough and Simon Peyton Jones, POPL'99,
  and Glasgow TR-1998-19).

  An analysis is provided that annotates a Core program with optimal
  usage annotations.  This analysis is performed by -fusagesp
  (=CoreDoUSPInf), and requires -fusagesp-on (=opt_UsageSPOn).  This
  latter performs an analysis in tidyCorePgm, immediately before
  CoreToStg is done.  The driver flag -fusagesp currently provides hsc
  with -fusagesp-on, and if -O is on does a single -fusagesp early on
  in the Core-to-Core sequence.  Please change this as desired.

  *NB*: For now, -fusagesp with -O requires -fno-specialise.  Sorry.

  The flags -ddump-usagesp (=opt_D_dump_usagesp) and -dusagesp-lint
  (=opt_DoUSPLinting) (also -dnousagesp-lint to the driver) have been
  added and are documented in the User Guide.

[project @ 1999-05-11 16:41:56 by keithw]
(this is number 5a of 9 commits to be applied together)

  The major purpose of this commit is to introduce usage information
  and usage analysis into the compiler, per the paper _Once Upon a
  Polymorphic Type_ (Keith Wansbrough and Simon Peyton Jones, POPL'99,
  and Glasgow TR-1998-19).

  An analysis is provided that annotates a Core program with optimal
  usage annotations.  This analysis is performed by -fusagesp
  (=CoreDoUSPInf), and requires -fusagesp-on (=opt_UsageSPOn).  This
  latter performs an analysis in tidyCorePgm, immediately before
  CoreToStg is done.  The driver flag -fusagesp currently provides hsc
  with -fusagesp-on, and if -O is on does a single -fusagesp early on
  in the Core-to-Core sequence.  Please change this as desired.

  *NB*: For now, -fusagesp with -O requires -fno-specialise.  Sorry.

  The flags -ddump-usagesp (=opt_D_dump_usagesp) and -dusagesp-lint
  (=opt_DoUSPLinting) (also -dnousagesp-lint to the driver) have been
  added and are documented in the User Guide.

[project @ 1999-05-11 16:37:29 by keithw]
(this is number 4 of 9 commits to be applied together)

  The major purpose of this commit is to introduce usage information
  and usage analysis into the compiler, per the paper _Once Upon a
  Polymorphic Type_ (Keith Wansbrough and Simon Peyton Jones, POPL'99,
  and Glasgow TR-1998-19).

  Usage information has been added to types, in the form of a new kind
  of NoteTy: (UsgNote UsageAnn(UsOnce|UsMany|UsVar UVar)).  Usages
  print as __o (once), __m (many, usually omitted), or (not in
  interface files) __uvxxxx.  Usage annotations should only appear at
  certain places in a type (see the paper).  The `default' annotation
  is __m, and so an omitted annotation implies __m.  Utility functions
  for handling usage annotations are provided in Type.

  If the compiler is built with -DUSMANY (a flag intended for use in
  debugging by KSW only), __m are *required* and may not be omitted.

  The major constraint is that type arguments (eg to mkAppTy) must be
  unannotated on top.  To maintain this invariant, many functions
  required the insertion of Type.unUsgTy (removing annot from top of a
  type) or UsageSPUtils.unannotTy (removing all annotations from a
  type).  A function returning usage-annotated types for primops has
  been added to PrimOp.

  A new kind of Note, (TermUsg UsageAnn), has been added to annotate
  Terms.  This note is *not* printed in interface files, and for the
  present does not escape the internals of the usage inference engine.

[project @ 1999-05-11 16:33:35 by keithw]
(this is number 3 of 9 commits to be applied together)

  Following Haskell 98, if the module declaration is omitted it now
  defaults to "module Main(main) where", rather than the previous
  default of exporting everything.

  Furthermore, "module Main where" also defaults to exporting just
  Main.main rather than everything in the module (modules other than
  Main behave as normal).  This permits the usage inference to give
  better results for the Main module, since exported functions get
  worse types than nonexported functions.

[project @ 1999-05-11 16:33:06 by keithw]
(this is number 2 of 9 commits to be applied together)

  Type constructors now carry information on the variance (positive
  and/or negative) of each of their type arguments (tyConArgVrcs).
  This information is provided for primitive types and computed for
  others.  If a tycon has been imported abstractly and this variance
  information is subsequently demanded, we make a pessimistic
  assumption and warn that -fno-prune-tydecls should be used.

[project @ 1999-05-11 16:31:33 by keithw]
(this is number 1 of 9 commits to be applied together)

  Dictionaries now appear in interface files explicitly, rather than
  as contexts: __forall [a] => {Show a} -> ... rather than __forall
  [a] {Show a} => ... .

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