[project @ 2002-01-15 05:39:14 by sof]
updates & fixes to hc-bootstrapping story; from Thomas Nordin

[project @ 2002-01-11 15:32:05 by sof]
add HSstd{1,2}.o to INSTALL_LIBS (mingw only)

[project @ 2002-01-10 10:46:12 by sof]
Better off if GhcBinDistShScripts is just empty on mingw plats

[project @ 2002-01-10 10:33:48 by sof]
mingw only: associate FPish icon (nicked from Hugs) with
the GHCi wrapper app.

[project @ 2002-01-10 10:29:09 by sof]
'std' now also needs user32 (under win32)

[project @ 2002-01-09 12:41:45 by simonmar]
First cut at enhancing the facilities for manipulating the scope in
GHCi.  The scope now consists of

  1. the full top-level scope of zero or more interpreted modules
  2. the exports from zero or more modules
  3. the temporary bindings

The sets 1 & 2 are manipulated using an extended :m command: eg :m +A
will add module A to either set 1 or two depending on whether A is
interpreted, and :m -A will remove it.  The user interface may change,
pending feedback from the punters on the mailing list.

'Prelude' is automatically added to the scope if set 1 is empty and
set 2 doesn't already contain it.

We now cache the GlobalRdrEnv for the current scope between
evaluations in the InteractiveContext, and also the current
PrintUnqualified setting (which also depends on the scope).

Cvs: ----------------------------------------------------------------------

[project @ 2002-01-09 10:29:32 by simonmar]
Back out previous fix, I've hacked it in a different place which is at
least closer to the source of the problem.

[project @ 2002-01-09 10:27:41 by simonmar]
Don't add -package-name if $(PACKAGE) == "rts".  THis is a HACK and we
need to fix the mess in ghc/rts/Makefile properly.

[project @ 2002-01-08 17:31:30 by simonmar]
Fix a problem which lead to home-package instances ending up in the
package instance table in GHCi, which results in strange duplicate
instance errors when reloading modules.  See the comments for details.

[project @ 2002-01-08 16:38:27 by sof]
Make better use of the -M<size> setting under Win32. Use it to guide
the amount of VM to reserve -- the default is (still) 256M, but the
user will now have a way of overriding this setting.

[project @ 2002-01-08 15:56:03 by sof]
Track PrimOp changes.

[project @ 2002-01-08 14:55:50 by sof]
make -split-objs work again

[project @ 2002-01-08 14:11:28 by sof]
adjust pointer to the RTS profiling options section

[project @ 2002-01-08 13:52:34 by sof]
IS setup: remove HDirect com lib reference; no longer bundled

[project @ 2002-01-08 10:59:42 by sewardj]
merge from stable branch:
  1.46.4.3  +14 -7     fptools/ghc/compiler/nativeGen/AsmCodeGen.lhs
  1.47.4.3  +2 -0      fptools/ghc/compiler/nativeGen/MachMisc.lhs

  Treat literal appearances of BaseReg in Stix trees uniformly.
  This is now taken to mean the &MainCapability.r, regardless of
  whether BaseReg is in a register (x86) or synthesised (sparc).

[project @ 2002-01-08 10:42:56 by sewardj]
merge from stable branch, rev 1.34.4.1:

   Add missing case to magicIdPrimRep.

[project @ 2002-01-08 10:36:24 by sewardj]
merge from the stable branch:

  1.70.4.2  fptools/ghc/compiler/nativeGen/StixPrim.lhs
  1.5.10.3  fptools/ghc/includes/mkNativeHdr.c

  Track recent changes to HpLim assignment in load_thread_state.

[project @ 2002-01-08 07:29:07 by chak]
Some docu covering VarSet, NameSet, VarEnv, and NameEnv.

[project @ 2002-01-07 22:39:20 by ken]
Ignore -package-name <package-name> on the command line.
MERGE TO STABLE

[project @ 2002-01-07 22:35:55 by ken]
On the alpha, __divq() in libc.a clobbers $s6, so StgRun() needs to save
$s6.  While we are at it, let us save $f8 and $f9 as well.
MERGE TO STABLE

[project @ 2002-01-07 20:52:53 by sof]
updated

[project @ 2002-01-07 20:50:00 by sof]
Convert PrelPosix from a .hsc file into a
.hs file (that gets its configuration-time info
via config.h).

[project @ 2002-01-07 20:46:52 by sof]
remove debugging bits

[project @ 2002-01-07 20:24:22 by sof]
added feature tests for a bunch of C types we need to know the Haskell equiv. of

[project @ 2002-01-07 16:32:54 by sof]
doc fix - correct example invoc. of 'rc'

[project @ 2002-01-07 15:29:56 by sof]
Ho-hum, readdir() and readdir_r() with GNU libc doesn't
flag the end of the directory stream the same way. Cope.

[project @ 2002-01-07 12:26:49 by simonpj]
Dont print (Prod [AAA]) same as (Poly Abs)

[project @ 2002-01-07 12:25:09 by simonpj]
comments only

[project @ 2002-01-05 11:28:31 by sof]
fix pathconf() usage

[project @ 2002-01-04 23:21:18 by sof]
prel_readdir: tidied

[project @ 2002-01-04 16:02:03 by simonmar]
Some driver cleanups; in particular -fno-code should work in a more
reasonable way (it is now a "mode flag" like -C, -c, --make etc.).

[project @ 2002-01-04 11:39:00 by simonpj]
-----------------------------
Fix a too-vigorous export bug
-----------------------------

MERGE TO STABLE

[this is the Ian Lynagh -O2 bug]

CoreTidy didn't filter the rules that it exports, so it
exported some that mentioned Ids on the *left* hand side
that are not exported.  So an importing module fell over.

The fix is simple: filter the exposed rules.   On the way
I tidied up CoreFVs a little.

[project @ 2002-01-04 11:35:47 by simonpj]
Comments only

[project @ 2002-01-04 11:35:22 by simonpj]
----------------------------------------
Be a bit less gung ho about let-floating
----------------------------------------

Sometimes it's a bad idea to float cheap expressions
outwards, even if they escape a value lambda.

  -- Even if it escapes a value lambda, we only
  -- float if it's not cheap (unless it'll get all the
  -- way to the top).  I've seen cases where we
  -- float dozens of tiny free expressions, which cost
  -- more to allocate than to evaluate.
  -- NB: exprIsCheap is also true of bottom expressions, which
  --     is good; we don't want to share them
  --
  -- It's only Really Bad to float a cheap expression out of a
  -- strict context, because that builds a thunk that otherwise
  -- would never be built.  So another alternative would be to
  -- add
  --  || (strict_ctxt && not (exprIsBottom expr))
  -- to the condition above. We should really try this out.

The relevant function is lvlMFE, which has been subject to a lot
of fiddling over the years.  Probably this isn't the last time.

This all actually showed up when I was compiling IA.lhs from Ian Lynagh.

[project @ 2002-01-04 11:35:13 by simonmar]
- rename CompManager.cmLoadModule to cmLoadModules and make it take
  a DynFlags argument to be consistent with the rest of the
  CompManager interface.

- split cmLoadModule into two parts: cmDepAnal which takes a list of
  filenames and returns a ModuleGraph, and cmLoadModules which takes
  the ModuleGraph and does the rest.  This lets the consumer know
  whether the dependency analysis step fails before unloading any
  existing modules - i.e. if you :reload and a module is missing, you
  don't lose the modules that are already loaded (bug reported by
  MIchael Weber some time ago).

[project @ 2002-01-04 10:56:09 by sof]
getDirectoryContents: use the re-entrant readdir_r() to get at directory
entries, if available.

[project @ 2002-01-04 10:54:20 by sof]
add feature test for readdir_r()

[project @ 2002-01-04 10:44:16 by simonmar]
update the rather dated usage message

[project @ 2002-01-04 10:25:33 by simonpj]
Warn, dont crash, when isIn gets a big list

[project @ 2002-01-04 10:18:58 by simonmar]
Replace all instances of '--' with '&ndash;&ndash;' since '--' gets
interpreted by JadeTeX to mean a single dash.

[project @ 2002-01-04 10:04:44 by simonmar]
replace -- with &mdash;

[project @ 2002-01-04 09:35:42 by simonmar]
oops, unb??rk the export list in the non-GHCI case.

[project @ 2002-01-03 17:09:13 by simonmar]
- change the mi_globals field of ModIface to be (Maybe GlobalRdrEnv)
  from GlobalRdrEnv.  The idea is that modules which we have
  compiled from source will have a complete GlobalRdrEnv in this field
  containing their top-level environments, whereas modules which we
  have loaded from object files (package modules and pre-compiled home
  modules) will have Nothing and we'll create a fake GlobalRdrEnv on
  demand from the export list.

  Previously we used to create the fake env all the time, but this way
  highlights the fact that we don't really have a proper GlobalRdrEnv
  for these modules (something we'd like to address at some point).

- rename CompManager.cmLoadModule to cmLoadModules and make it take
  a DynFlags argument to be consistent with the rest of the
  CompManager interface.

- split cmLoadModule into two parts: cmDepAnal which takes a list of
  filenames and returns a ModuleGraph, and cmLoadModules which takes
  the ModuleGraph and does the rest.  This lets the consumer know
  whether the dependency analysis step fails before unloading any
  existing modules - i.e. if you :reload and a module is missing, you
  don't lose the modules that are already loaded (bug reported by
  MIchael Weber some time ago).

[project @ 2002-01-03 17:05:50 by sewardj]
If addDLL returns an error message, actually show it to the user :)

Fixes: Sourceforge [ #482594 ] dlopen() errors reported badly

MERGE TO STABLE

[project @ 2002-01-03 14:43:30 by sof]
prel_sizeof_{termios,sigset_t}: sync up proto and impl

[project @ 2002-01-03 11:45:06 by simonmar]
Fix for previous commit: use the SRT on the top-level constructor when
deciding whether it has any CAF references, since not all top-level
bindings have CgInfo pinned on.

[project @ 2002-01-03 11:44:17 by simonmar]
Add comment.

[project @ 2002-01-03 11:43:41 by simonmar]
Export nonEmptySRT.

[project @ 2002-01-02 12:32:18 by simonmar]
- Implement a small GC optimisation: when a static constructor has
  been determined to have no (indirect) CAF references, we set its
  static link field to a non-zero value (currently 1).  This prevents
  the garbage collector from traversing this closure and transitively
  everything it points to, and thus should speed up GC a little.

- Omit the static link field from static constructors which have no
  pointer fields (i.e. they are CONSTR_NOCAF_STATIC).

- Add the padding words and the static link field for a static
  constructor at (AbsC) code generation time, rather than in the back
  ends.  This eliminates some duplication between PprAbsC and
  AbsCStixGen.

[project @ 2002-01-02 12:27:43 by simonmar]
No need for #ifdef around shift primop now.

[project @ 2001-12-30 19:52:23 by sof]
document --update-package option

[project @ 2001-12-30 19:51:33 by sof]
new option: -u / --update-package

[project @ 2001-12-29 09:24:42 by sof]
add raft of missing symbols to RTS_SYMBOLS

[project @ 2001-12-28 22:58:17 by sof]
struct sigset_t -> sigset_t

[project @ 2001-12-28 17:25:31 by simonpj]
---------------------
Dealing with deriving
---------------------

I spent a ridiculously long time peering at a bug report whereby
a 'deriving' clause sent GHC 5.02.1 into a loop.  It was all to
do with allowing instances like

instance Foo a b => Baz (T a)

(Notice the 'b' on the left which does not appear on the right.)

I realised that it's hard for the deriving machinery to find a
fixpoint when these sort of instance decls are around.  So I
now constrain *derived* instance decls not to have this form;
all the tyvars on the left must appear on the right.

On the way I commoned up the previously-separate tcSimplify
machinery for 'deriving' and 'default' decls with that for
everything else.   As a result, quite a few files are touched.

I hope I havn't broken anything.

[project @ 2001-12-28 17:20:36 by simonpj]
-----------------------------
Buglet in rank-N polymorphism
-----------------------------

Fix a bug in the way result type signatures are handled; they
hadn't been brought into the rank-N polymorphism world.

[project @ 2001-12-28 16:36:54 by sof]
heal

[project @ 2001-12-28 00:14:33 by sof]
debugging-by-nightly-build-reports; give poke_c_flag a correct FI decl

[project @ 2001-12-27 11:29:58 by sof]
Get rid of uses of #const, #peek, #poke and #ptr from PrelPosix.hsc
(this leaves just uses of #type in PrelPosix) - provide constant and
accessor wrappers via PrelIOUtils.c instead.

Who knows, we might just be able to bootstrap via .hc files again..?

Only compiled & tested under Win32.

[project @ 2001-12-27 11:26:03 by sof]
Added & exported low-level memcpy() wrappers - possible to offset both
src and dest.

[project @ 2001-12-27 09:28:10 by sof]
- removed PrelPosix.c_read, PrelPosix.c_write
- added Ptr and RawBuffer versions of PrelHandle.write_off,
  and PrelHandle.read_off and exported them, i.e., PrelHandle
  now exports:

    read_off_ba :: FD -> Bool -> RawBuffer -> Int -> CInt -> IO CInt
    read_off :: FD -> Bool -> Ptr CChar -> Int -> CInt -> IO CInt
    write_off_ba :: CInt -> Bool -> RawBuffer -> Int -> CInt -> IO CInt
    write_off :: CInt -> Bool -> Ptr CChar -> Int -> CInt -> IO CInt

- make hPutChar (win)socket friendly.

[project @ 2001-12-26 23:08:07 by sof]
add exeext to HS_PROG to avoid redundant re-linking

[project @ 2001-12-21 17:03:18 by sewardj]
derive Eq Cond so that an assertion in MachCode works.

[project @ 2001-12-21 16:39:09 by simonpj]
wibble

[project @ 2001-12-21 10:30:32 by simonpj]
Wibble

[project @ 2001-12-21 10:24:24 by simonmar]
Allow record declaratoins with zero fields.

[project @ 2001-12-21 10:05:55 by simonpj]
Docment newtype deriving stuff

[project @ 2001-12-21 10:05:11 by simonpj]
More wibbles to newtype deriving

[project @ 2001-12-20 17:38:40 by sewardj]
Move some small inline-in-C functions out of PrelPosix.hsc and into
the supporting cbits sources, where they belong.

Following this change, can you now compile the entire Prelude on
x86-linux with the native code generator, and get something which
actually works properly.

[project @ 2001-12-20 17:10:00 by simonpj]
Wibbles

[project @ 2001-12-20 17:09:46 by simonpj]
Comments

[project @ 2001-12-20 16:39:29 by simonmar]
Now that we can derive arbitrary classes for newtypes, use this to
derive all the classes we need for the types in PrelCTypes and
PrelCTypesISO, instead of the previous hack of explicitly coercing the
methods.

This should improve the quality of code using these types too; the
coercions were surely getting in the way of optimisations before.

[project @ 2001-12-20 16:12:09 by sewardj]
Outline freeStablePtr, so NCG-generated code actually has something to call :)

Also remove the presumably-defunct splitStablePtr.

[project @ 2001-12-20 15:20:37 by sewardj]
Generate floating-point comparisons on x86 which deal with NaNs in what
I assume is an IEEE854 compliant fashion.  For
   == >= > <= <
if either arg is a NaN, produce False, and for
   /=
if either arg is a NaN, produce True.

This is the behaviour that gcc has, by default.

Requires some ultramagical x86 code frags to be emitted.  A big comment
in PprMach explains how it works.

[project @ 2001-12-20 15:16:13 by sewardj]
nano-comment-wibble

[project @ 2001-12-20 11:19:05 by simonpj]
---------------------------------------------
More type system extensions (for John Hughes)
---------------------------------------------

1.  Added a brand-new extension that lets you derive ARBITRARY CLASSES
for newtypes.  Thus

newtype Age = Age Int deriving( Eq, Ord, Shape, Ix )

The idea is that the dictionary for the user-defined class Shape Age
is *identical* to that for Shape Int, so there is really no deriving
work to do.   This saves you writing the very tiresome instance decl:

instance Shape Age where
   shape_op1 (Age x) = shape_op1 x
   shape_op2 (Age x1) (Age x2) = shape_op2 x1 x2
   ...etc...

It's more efficient, too, becuase the Shape Age dictionary really
will be identical to the Shape Int dictionary.

There's an exception for Read and Show, because the derived instance
*isn't* the same.

There is a complication where higher order stuff is involved.  Here is
the example John gave:

   class StateMonad s m | m -> s where ...

   newtype Parser tok m a = Parser (State [tok] (Failure m) a)
  deriving( Monad, StateMonad )

Then we want the derived instance decls to be

   instance Monad (State [tok] (Failure m)) => Monad (Parser tok m)
   instance StateMonad [tok] (State [tok] (Failure m))
 => StateMonad [tok] (Parser tok m)

John is writing up manual entry for all of this, but this commit
implements it.   I think.

2.  Added -fallow-incoherent-instances, and documented it.  The idea
is that sometimes GHC is over-protective about not committing to a
particular instance, and the programmer may want to say "commit anyway".
Here's the example:

    class Sat a where
      dict :: a

    data EqD a = EqD {eq :: a->a->Bool}

    instance Sat (EqD a) => Eq a where
      (==) = eq dict

    instance Sat (EqD Integer) where
      dict = EqD{eq=(==)}

    instance Eq a => Sat (EqD a) where
      dict = EqD{eq=(==)}

    class Collection c cxt | c -> cxt where
      empty :: Sat (cxt a) => c a
      single :: Sat (cxt a) => a -> c a
      union :: Sat (cxt a) => c a -> c a -> c a
      member :: Sat (cxt a) => a -> c a -> Bool

    instance Collection [] EqD where
      empty = []
      single x = [x]
      union = (++)
      member = elem

It's an updated attempt to model "Restricted Data Types", if you
remember my Haskell workshop paper. In the end, though, GHC rejects
the program (even with fallow-overlapping-instances and
fallow-undecideable-instances), because there's more than one way to
construct the Eq instance needed by elem.

Yet all the ways are equivalent! So GHC is being a bit over-protective
of me, really: I know what I'm doing and I would LIKE it to pick an
arbitrary one. Maybe a flag fallow-incoherent-instances would be a
useful thing to add?

[project @ 2001-12-19 17:07:49 by sewardj]
Correctly handle signed vs unsigned integer division on x86.

[project @ 2001-12-19 15:51:49 by simonmar]
Documentation update to describe the new retainer profiling and
biographical profiling features.

[project @ 2001-12-19 15:20:27 by simonmar]
Remove some temporary debugging code.

[project @ 2001-12-18 19:42:41 by sebc]
THIS CHANGE AFFECTS ALL OBJECT FILES.
Please say "make clean"

Move the entry code pointer to the start of info tables, according
to Plan C in ghc/rts/Storage.h

[project @ 2001-12-18 15:23:15 by sewardj]
Fix various bugs in the implementation of subIntC and mulMayOflo.

[project @ 2001-12-18 13:03:12 by simonmar]
Nuke -O2-for-C, since it can cause gcc to generate incorrect code, and
doesn't seem to help much.  Add a comment about this in the 5.02
release notes, saying you can still use -optc-O2 if you really want
to.

(merged from rev. 1.47.2.3)

[project @ 2001-12-18 13:01:52 by simonmar]
merge rev. 1.11.4.1 from branch ghc-5-02-branch (remove -O2-for-C)

[project @ 2001-12-18 12:55:34 by simonmar]
merge rev. 1.11.2.2 from ghc-5-02-branch (remove -O2-for-C).

[project @ 2001-12-18 12:33:45 by simonmar]
remove unnecessary #include

[project @ 2001-12-18 12:13:05 by simonmar]
Add the missing options list to the section "Replacing the program for
one or more phases".

[project @ 2001-12-18 10:37:52 by simonmar]
Allow opening char & block devices with openFile.  Opening a char
device gets you a stream, and a block device a file (these are
heuristics since we can't really tell without trying to lseek() on the
device whether it supports seeking or not, but the defaults are at
least safe).

[project @ 2001-12-17 18:03:08 by sewardj]
Redo translation of array indexing primops in order to insert 8 <-> 32
bit casts when dealing with Char arrays.  Also facilitate future removal
of CMem and MO_{Read,Write}OSBI.

In the process, notice and fix a large bogon in x86/sparc implementation
of signed and unsigned integer widening.

[project @ 2001-12-17 16:01:44 by simonmar]
comment wibbles

[project @ 2001-12-17 12:33:45 by simonmar]
Generate better code for case-of-literal (i.e. just do the
assignment).  These crop up now that the simplifier is a bit more
careful about duplicating literal strings.

[project @ 2001-12-17 12:32:05 by simonmar]
mkLocalNonRec bug fix: we always want to generate a case when the rhs
of a binding is an unlifted type.  Previously the two cases for an
unlifted rhs and a strict binding were handled together which caused
some confusion, so now the cases are separate.

[project @ 2001-12-17 10:12:34 by simonmar]
slightly clearer fix for previous bogon, and re-indent the function

[project @ 2001-12-17 09:30:07 by simonpj]
Fix ifdefery bracketing bug on Win32

[project @ 2001-12-15 12:03:08 by panne]
Re-added #ifdef which was lost in last commit

[project @ 2001-12-14 17:24:19 by simonpj]
Add a rule for foldr k z [x]

[project @ 2001-12-14 17:24:03 by simonpj]
-------------------------
Performance tuning things
-------------------------

I did some nofib tests, and fixed a number of performance problems.

1.  Things were getting floated to top level, and that prevented
some useful fusion happening.
y = build g
x = foldr k z y

Fixed by arranging that we only get really keen on floating to top
level in the second run of the let-float-out pass.

2.  Some fettling up on the let-floater itself.  It had some parameters
that weren't even being used!  And it was stupidly floating things out
of a one-shot lambda, and the float-in pass didn't float them back in.
I think I fixed both of these problems.

3.  The eta-reducer was not eta-reducing (/\a -> g a) to g.  In general
it has to be a bit careful because "seq" means that (\x -> g x) is
not in general the same as g ---- but it *is* the same for a type lambda.

This turned out to be important in rule matching, where the foldr/build
rule was not firing because the LHS of the rule looked like
foldr k z (/\ a -> g a) = ...
which never matched!  Result, no fusion to speak of!

4.  The simplifier was a bit too gung ho about inlining used-once
things bound to constructor args.  The comment is with Simplify.simplNonRecX.

[project @ 2001-12-14 16:57:36 by sewardj]
Sparc NCG changes to track recent mulIntC# changes.  The Prelude
can now finally be compiled with the sparc NCG.

Also (incidentally) emit sparc integer multiply insns directly
rather than calling a helper routine.  Most sparcs should implement
them by now :)

[project @ 2001-12-14 15:26:14 by sewardj]
Get rid of multiple-result MachOps (MO_NatS_AddC, MO_NatS_SubC,
MO_NatS_MulC) which implement {add,sub,mul}IntC#.  Supporting gunk
in the NCG disappears as a result.

Instead:

* {add,sub}IntC# are translated out during abstract C simplification,
  turning into the xor-xor-invert-and-shift sequence previously defined
  in PrimOps.h.

* mulIntC# is more difficult to get rid of portably.  Instead we have
  a new single-result PrimOp, mulIntMayOflo, with corresponding MachOp
  MO_NatS_MulMayOflo.  This tells you whether a W x W -> W signed
  multiply might overflow, where W is the word size.  When W=32, is
  implemented by computing a 2W-long result.  When W=64, we use the
  previous approximation.

PrelNum.lhs' implementation of timesInteger changes slightly, to use
the new PrimOp.

[project @ 2001-12-14 12:05:15 by simonmar]
shiftR# --> shiftRL#

[project @ 2001-12-13 23:32:21 by sof]
shift wibble