[project @ 2001-05-07 16:18:49 by sof]
support for building .pdf docs

[project @ 2001-05-07 14:38:15 by simonmar]
Give slightly more accurate line numbers for certain pattern parse errors.

[project @ 2001-05-07 14:37:00 by simonmar]
add
setSrcLocP :: SrcLoc -> P a -> P a

[project @ 2001-05-07 11:42:31 by simonmar]
typo in Word64 code pointed out by Alastair Reid.

[project @ 2001-05-04 16:36:38 by simonmar]
comment explaining why we check the perms on . before reading ./.ghci.

[project @ 2001-05-04 15:18:00 by simonmar]
.raw_s is a haskellish_suffix.

[project @ 2001-05-04 15:12:16 by simonmar]
document :set -package

[project @ 2001-05-04 14:56:53 by simonmar]
- only read ~/.ghci if it is owned by the current user and isn't
  writable by anyone else.

- Only read ./.ghci if both . and ./.ghci are owned by the current
  user and aren't writable by anyone else.  I think this is
  sufficient: we don't need to check .. and ../.. etc. because "."
  always refers to the same directory while a process is running.

- Don't load .so libraries in a package if that package is already
  linked with GHCi.  This stops us re-linking libm, libreadline etc.

- Allow packages to be loaded from within GHCi using
:set -package <name>
  NOTE: this will unload all modules currently loaded into the
  interpreter.  I did this to be on the safe side - I think perhaps
  it isn't necessary, but I haven't thought it through fully yet.

- fix CompManager.cmUnload in the process.  It was wrong in several
  ways.

MERGE WITH 5.00

[project @ 2001-05-04 14:53:44 by simonpj]
Add mutual recursion between types test

[project @ 2001-05-04 14:44:07 by simonpj]
Add more TC tracing

[project @ 2001-05-04 14:43:49 by simonmar]
touch# should be declared to have_side_effects.  This fixes the
remaining problem with safe foreign imports and ForeignPtrs.

[project @ 2001-05-04 14:43:26 by simonpj]
**** MERGE WITH 5.00 BRANCH     ********

--------------------------------
Fix a black hole when type checking type decls
--------------------------------

GHC was falling into a black hole when type checking a recursive
group of type declarations including a chain of type synonyms.

  type PhraseFun = PMap -> Float
  type PMap      = () -> Player
  data Player    = P.MkT P.PhraseFun

Reason: too much consistency checking in TcMonoType.
Easily fixed using the existing wimp_out hack, but it's a mess.
This commit fixes it for the 5.00 branch but I'll do something
better in the head shortly.

[project @ 2001-05-04 14:40:42 by simonpj]
Comments only

[project @ 2001-05-04 14:23:52 by rrt]
Script to change "cygwin1.dll" to something else, so that we can have our
own version of the cygwin DLL that doesn't clash with any installed DLLs,
for great justice.

[project @ 2001-05-04 13:21:05 by simonmar]
add
flushPackageCache :: [PackageConfig] -> IO ()

for modifying the list of available packages.

[project @ 2001-05-04 09:37:13 by qrczak]
Since overlapping rules (when one is more specific than the other)
seem to be handled well, add remaining fromIntegral rules to have
optimal conversions in all cases (given available primops).

[project @ 2001-05-04 08:10:30 by simonpj]
Comments only

[project @ 2001-05-04 08:09:42 by simonpj]
**** MERGE WITH 5.00 BRANCH     ********

--------------------------------
Make CPR work only for small products
--------------------------------

GHC was barfing when doing CPR for programs involving very large
products.  A one-line fix in MkId.mkDataCon makes it only do CPR for
smaller products (I chose 10).  Comments

-- We do not treat very big tuples as CPR-ish:
-- a) for a start we get into trouble because there aren't
--    "enough" unboxed tuple types (a tiresome restriction,
--    but hard to fix),
-- b) more importantly, big unboxed tuples get returned mainly
--    on the stack, and are often then allocated in the heap
--    by the caller.  So doing CPR for them may in fact make
--    things worse.

This should fix the error
Failed to find interface decl for
PrelGHC.(#,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,,,,,
  ,,,,,,,,,,,,,,,,,,,,,,,#)

I hope.

[project @ 2001-05-03 21:07:21 by sof]
win32 tweak

[project @ 2001-05-03 19:03:27 by qrczak]
Use infix syntax on lhs of some rules.

[project @ 2001-05-03 16:32:55 by simonmar]
silence gcc 2.96 warning

[project @ 2001-05-03 15:53:47 by simonmar]
oops, fix braino

[project @ 2001-05-03 15:50:10 by simonmar]
redirect CPP output to /dev/null; gcc 2.96 seems to behave differently
that 2.95 when the -E and -MMD flags are given.

[project @ 2001-05-03 14:31:58 by simonmar]
Arrange to call touch# on each ForeignObj# argument after a 'safe'
foreign import call.

This turned out to be the easiest place to implement it: if we'd done
it in CorePrep or CoreToStg, it would have been awkward to generate
the simplest code.  At least doing it in the desugarer gives the
simplifier a crack at it later.

[project @ 2001-05-03 12:33:50 by simonpj]
**** MERGE WITH 5.00 BRANCH     ********

--------------------------------
Monomorphism restriction for implicit parameters
--------------------------------

This commit tidies up the way in which monomorphic bindings
are dealt with, incidentally fixing a bug to do with implicit
parameters.

The tradeoffs concerning monomorphism and implicit paramters are
now documented in TcSimplify.lhs, and all the strategic choices
are made there (rather than in TcBinds where they were before).

I've continued with choice (B) -- which Jeff first implemented --
because that's what Hugs does, lacking any other consensus.

[project @ 2001-05-03 12:30:35 by simonpj]
Add another IP test

[project @ 2001-05-03 09:36:43 by simonmar]
Oops, xrefs to varlistentries are unsupported apparently.  Xref the
section instead.

[project @ 2001-05-03 09:35:28 by simonpj]
Correct pretty print of HsIPVar

[project @ 2001-05-03 09:35:09 by simonmar]
mention, with a link, the +RTS -xc option.

[project @ 2001-05-03 09:34:40 by simonmar]
document the +RTS -xc option

[project @ 2001-05-03 09:32:48 by simonpj]
------------------------------------------------
Dramatically improve the error messages arising
from failed unifications triggered by 'improvement'
------------------------------------------------

A bit more plumbing in FunDeps, and consequential wibbles elsewhere

Changes this:

    Couldn't match `Int' against `[(String, Int)]'
Expected type: Int
Inferred type: [(String, Int)]

to this:

    Foo.hs:8:
Couldn't match `Int' against `[(String, Int)]'
    Expected type: Int
    Inferred type: [(String, Int)]
When using functional dependencies to combine
  ?env :: Int, arising from a type signature at Foo.hs:7
  ?env :: [(String, Int)],
    arising from use of implicit parameter `?env' at Foo.hs:8
When generalising the types for ident

[project @ 2001-05-03 09:04:43 by simonpj]
Improve error message when two signature tyvars get unified

[project @ 2001-05-03 09:02:44 by simonpj]
Error message wibble

[project @ 2001-05-03 09:02:24 by simonpj]
Tidy up output from -ddump-types

[project @ 2001-05-03 09:01:50 by simonpj]
Improve error message

[project @ 2001-05-03 09:01:29 by simonpj]
Wibble

[project @ 2001-05-03 08:57:30 by simonmar]
disable the hsc2hs suffix rules when booting from .hc files.

[project @ 2001-05-03 08:52:52 by simonpj]
Add a fundep fail test

[project @ 2001-05-03 08:51:16 by simonpj]
Remove bogus test

[project @ 2001-05-03 08:47:06 by simonpj]
Add implicit param test

[project @ 2001-05-03 08:35:33 by simonpj]
Add two more fundep tests

[project @ 2001-05-03 08:18:35 by simonpj]
Add a couple of tests

[project @ 2001-05-03 08:13:39 by simonpj]
Improve error message

[project @ 2001-05-03 08:13:25 by simonpj]
**** MERGE WITH 5.00 BRANCH     ********

--------------------------------
Fix a bad implicit parameter bug
--------------------------------

TcSimplify.tcSimplifyIPs was just completely wrong; it wasn't
doing improvement properly nor binding values properly. Sigh.

To make this work nicely I added
Inst.instName :: Inst -> Name

[project @ 2001-05-03 08:10:09 by simonpj]
Comment wibble only

[project @ 2001-05-03 08:09:52 by simonpj]
More to allow infix exprssions on LHS of rule

[project @ 2001-05-03 08:08:44 by simonpj]
Allow infix exprssions on LHS of rule

[project @ 2001-05-03 08:08:12 by simonpj]
Comment wibble

[project @ 2001-05-02 18:19:27 by qrczak]
Oops, exprIsConApp_maybe should ignore only InlineMe notes.

[project @ 2001-05-02 16:15:09 by sewardj]
Add test to check contexts on existential types in the interpreter.

[project @ 2001-05-02 15:26:05 by rrt]
Remove list of packages to install on Windows; the new story is that you
install all of Cygwin.

[project @ 2001-05-02 12:14:49 by simonpj]
A bit more about flags for generics

[project @ 2001-05-01 16:01:06 by simonmar]
Close files eagerly after analysing their imports.

[project @ 2001-05-01 15:12:43 by rrt]
Add zlib to list of required packages for building.

[project @ 2001-05-01 13:11:16 by sewardj]
Implement bci_STKCHECK.

[project @ 2001-05-01 12:01:01 by simonmar]
Not quite sure what this test does, but I've had it lying around for a while.

[project @ 2001-05-01 11:51:50 by simonmar]
Add an item about the networking library rewrite.

[project @ 2001-05-01 11:46:56 by simonmar]
Start a new directory for networking tests, and add a simple test
which starts two threads which communicate via a socket.

The socket subdirectory already contains some tests, but they're about
6 years old and don't appear to be designed to run without user
intervention.

[project @ 2001-05-01 11:37:18 by sewardj]
Ignore tyvars on variables bound by case alts when generating unpack code.

[project @ 2001-05-01 11:06:19 by simonmar]
Tests for BlockedOnDeadMVar and ThreadKilled exceptions (they generate
no output by default in forked threads).

[project @ 2001-05-01 09:26:10 by simonmar]
Don't include the win32 and com packages unless we're building for Windows.

[project @ 2001-05-01 09:22:45 by simonmar]
fix HC bootstrapping after LibsReadline no longer has the -l prefixes.

[project @ 2001-05-01 09:16:55 by qrczak]
Inline instance dictionary functions.
Remove {-# INLINE instance #-} support and uses.

[project @ 2001-05-01 09:10:32 by simonmar]
Add some {-# SCC #-} annotations, and fix a space leak.

[project @ 2001-05-01 09:06:59 by simonmar]
SCC notes move inside other notes.

[project @ 2001-04-30 20:07:49 by qrczak]
Fix the inlining bug: exprIsConApp_maybe didn't recognize constructor
applications inside notes.

I'm not sure if it's the right place to fix. Should notes be ignored
in other uses of collectArgs? Perhaps they should be ignored inside
the loop of collectArgs? And why the function marked as inline was
not inlined even though it's not a constructor application?

[project @ 2001-04-30 17:24:25 by rrt]
Remove instructions about making /etc/passwd, as it happens automatically
when installing Cygwin.

[project @ 2001-04-30 16:42:33 by rrt]
Say not to install the cygwin package, rather than to install it.

[project @ 2001-04-30 16:01:52 by sewardj]
Plumb LibsReadline into extra_libraries for -package util, rather than
extra_ld_opts, so that GHCi knows to load them too.

[project @ 2001-04-30 13:50:59 by panne]
o=>O:-)

[project @ 2001-04-30 13:20:54 by panne]
Fix typo

[project @ 2001-04-30 12:27:21 by simonpj]
Fix minor typo in generics stuff; could merge with branch

[project @ 2001-04-30 12:09:56 by simonmar]
add -fwarn-misc.

[project @ 2001-04-30 12:09:09 by simonmar]
document -fwarn-misc.

[project @ 2001-04-30 12:03:45 by simonmar]
The convention for warnings currently is: standard warnings indicate
"probable bugs", whereas -W warnings indicate "style problems".
I think -fwarn-misc is more suited to -W.

[project @ 2001-04-30 12:00:18 by rrt]
Added cygwin to list of required packages, and said why gdbm is needed (for
CVS).

[project @ 2001-04-30 11:37:36 by panne]
HSnet_cbits R.I.P.
(BTW, that's what I meant with "monolithic approach" :-)

[project @ 2001-04-30 11:23:28 by simonpj]
Fix test so that it doesnt use undecidable instances

[project @ 2001-04-30 10:51:18 by simonpj]
-----------------------------
Better filtering for warnings
-----------------------------

* Add Opt_WarnMisc, to enable warnings not otherwise covered by Opt_Warn*
  in the renamer

* Add RnMonad.ifOptRn :: DynFlag -> RnM d a -> RnM d ()
  and use it many places instead of the clumsy direct code

[project @ 2001-04-30 10:50:00 by simonpj]
Add comments in tcInstType

[project @ 2001-04-30 10:49:38 by simonpj]
Add comments

[project @ 2001-04-30 10:48:57 by simonpj]
Improve error message

[project @ 2001-04-30 10:08:14 by simonmar]
Makefile.config should be in a source dist.

[project @ 2001-04-30 09:50:49 by simonmar]
better "#define IN_STG_CODE 0" before including the standard HC header
in a foreign export dynamic stub, because this isn't really HC code.

[project @ 2001-04-30 09:46:07 by simonmar]
Fix the documentation about the -i<dirs> option.  These are scanned
left to right, but before the package directories.  Also add a
suitably severe warning about having a module with the same name as a
package module.

[project @ 2001-04-30 09:40:16 by simonmar]
Reverse the directory list when building the home package directory
cache, so that earlier entries override later ones.

[project @ 2001-04-30 08:26:54 by simonpj]
Improve error message

[project @ 2001-04-30 06:53:15 by simonpj]
Add a rank-2 poly test

[project @ 2001-04-29 16:26:32 by rrt]
Add gdbm to list of Cygwin packages needed for building from CVS.

[project @ 2001-04-29 11:01:13 by qrczak]
Cosmetics.

[project @ 2001-04-28 11:21:47 by qrczak]
Enable primop rules - they work now.

[project @ 2001-04-28 11:21:32 by qrczak]
Add a builtin rule to a primop only if it does something.

[project @ 2001-04-28 11:20:46 by qrczak]
Fix the bug that source rules of primops shadowed builtin rules: let
extendRuleBase take the old rules from the id passed as the argument
when the id is absent in RuleBase.

I hope this is correct: I don't know what difference can be between
the id passed as extendRuleBase's argument and the id found in RuleBase.

Also use standard isJust, isNothing instead of non-standard
Maybes.maybeToBool.

[project @ 2001-04-28 11:20:26 by qrczak]
Remove bogus comment.

[project @ 2001-04-28 04:44:05 by qrczak]
Checking 0..0x10FFFF range can be done by a single unsigned comparison.

[project @ 2001-04-27 20:30:55 by qrczak]
Add various rules for primops (x# <=# x#, x# *# 1# etc.).

But they are commented out for now. Please uncomment parts marked
with XXX when the bug with source primop rules shadowing builtin
primop rules is fixed.

[project @ 2001-04-27 19:35:50 by qrczak]
Add builtin rules for {intToInt,wordToWord}{8,16,32}# applied to literals.

[project @ 2001-04-27 16:30:08 by sewardj]
When configuring GMP, restrict to the 486 instruction set.  Doing otherwise
produces GMPs which expect to run on the P6 core on which they were built,
and so die with Illegal Instruction exceptions on Pentium (P5) and 486s.

[project @ 2001-04-27 15:41:49 by sewardj]
Avoid pattern match failure in getValidLinkable.maybe_old_linkable.

[project @ 2001-04-27 15:39:18 by sewardj]
merge rev 1.69.2.1, which was:
Remove x86-specific implementation of {intToInt,wordToWord}{8,16,32}#
primops, and replace them with platform-independent versions expressed
purely in Stix terms.