simonmar [Thu, 12 Oct 2000 15:17:21 +0000 (15:17 +0000)]
[project @ 2000-10-12 15:17:21 by simonmar]
mkWiredInName fixes
sewardj [Thu, 12 Oct 2000 15:17:08 +0000 (15:17 +0000)]
[project @ 2000-10-12 15:17:07 by sewardj]
FastInt fixes
simonmar [Thu, 12 Oct 2000 15:14:30 +0000 (15:14 +0000)]
[project @ 2000-10-12 15:12:06 by simonmar]
FastInt fixes; remove unused imports
simonmar [Thu, 12 Oct 2000 15:07:02 +0000 (15:07 +0000)]
[project @ 2000-10-12 15:07:02 by simonmar]
FastInt fixes
simonmar [Thu, 12 Oct 2000 15:06:22 +0000 (15:06 +0000)]
[project @ 2000-10-12 15:06:22 by simonmar]
RdrName->Name fix
simonpj [Thu, 12 Oct 2000 15:05:59 +0000 (15:05 +0000)]
[project @ 2000-10-12 15:05:59 by simonpj]
More of Simon
rrt [Thu, 12 Oct 2000 15:04:54 +0000 (15:04 +0000)]
[project @ 2000-10-12 15:04:54 by rrt]
Removed out-of-date Windows gumph. It's all in the installation notes, ad
naus.
simonmar [Thu, 12 Oct 2000 14:41:17 +0000 (14:41 +0000)]
[project @ 2000-10-12 14:41:15 by simonmar]
Remove wired-in names. Partially propogated.
simonmar [Thu, 12 Oct 2000 14:25:35 +0000 (14:25 +0000)]
[project @ 2000-10-12 14:25:35 by simonmar]
update FAST_INT names
simonpj [Thu, 12 Oct 2000 13:44:59 +0000 (13:44 +0000)]
[project @ 2000-10-12 13:44:59 by simonpj]
Simons work, mainly on the type checker
simonmar [Thu, 12 Oct 2000 13:11:46 +0000 (13:11 +0000)]
[project @ 2000-10-12 13:11:45 by simonmar]
Move FAST_INT and FAST_BOOL into their own module FastTypes, replacing
the macro definitions in HsVersions.h with real definitions. Change
most of the names in the process.
Now we don't get bogus imports of GlaExts all over the place, and
-fwarn-unused-imports is less noisy.
simonpj [Thu, 12 Oct 2000 12:32:12 +0000 (12:32 +0000)]
[project @ 2000-10-12 12:32:11 by simonpj]
Simons work, mainly on the type checker
simonmar [Thu, 12 Oct 2000 12:31:17 +0000 (12:31 +0000)]
[project @ 2000-10-12 12:31:17 by simonmar]
Most _RDR names are now proper Names.
The knownKeyRdrNames mapping from RdrNames to Uniques is now just a
list of knownKeyNames.
This change hasn't been propogated yet.
sewardj [Thu, 12 Oct 2000 12:31:11 +0000 (12:31 +0000)]
[project @ 2000-10-12 12:31:11 by sewardj]
Julians progress
sewardj [Thu, 12 Oct 2000 11:48:52 +0000 (11:48 +0000)]
[project @ 2000-10-12 11:48:52 by sewardj]
mkSrc* -> mk* (forgotten in last commit)
sewardj [Thu, 12 Oct 2000 11:47:27 +0000 (11:47 +0000)]
[project @ 2000-10-12 11:47:25 by sewardj]
Rename a bunch of mkSrc* things into mk*'s.
sewardj [Thu, 12 Oct 2000 11:32:34 +0000 (11:32 +0000)]
[project @ 2000-10-12 11:32:33 by sewardj]
Propagate recent changes in module/Module.lhs.
sewardj [Thu, 12 Oct 2000 10:48:04 +0000 (10:48 +0000)]
[project @ 2000-10-12 10:48:04 by sewardj]
Add ModuleEnv stuff.
sewardj [Thu, 12 Oct 2000 10:32:41 +0000 (10:32 +0000)]
[project @ 2000-10-12 10:32:40 by sewardj]
Changes to do with making Module and ModuleName into Uniquables.
sewardj [Thu, 12 Oct 2000 09:56:52 +0000 (09:56 +0000)]
[project @ 2000-10-12 09:56:52 by sewardj]
Rationalise Module/PackageInfo/ModLocation mess. Now we just have
Module and ModuleKind.
sewardj [Thu, 12 Oct 2000 09:15:42 +0000 (09:15 +0000)]
[project @ 2000-10-12 09:15:42 by sewardj]
TLA renaming.
sewardj [Thu, 12 Oct 2000 08:57:03 +0000 (08:57 +0000)]
[project @ 2000-10-12 08:57:03 by sewardj]
DynFlag plumbing.
simonmar [Thu, 12 Oct 2000 08:46:54 +0000 (08:46 +0000)]
[project @ 2000-10-12 08:46:53 by simonmar]
we're now at version 4.11, at Manuel's request. The next release will
be version 5.00 (yay!), and version 4.10 will never exist.
sewardj [Wed, 11 Oct 2000 16:45:53 +0000 (16:45 +0000)]
[project @ 2000-10-11 16:45:53 by sewardj]
Do most of the DynFlags plumbing. Also remove stuff pertaining to
search paths since the finder does all that now.
simonpj [Wed, 11 Oct 2000 16:31:27 +0000 (16:31 +0000)]
[project @ 2000-10-11 16:31:27 by simonpj]
Beginnings of renamer and typechecker stuff
simonmar [Wed, 11 Oct 2000 16:26:04 +0000 (16:26 +0000)]
[project @ 2000-10-11 16:26:04 by simonmar]
more progress; initial stab at calling hscMain from the driver
Summary:
* in normal mode, the driver calls hscMain directly. The
compilation manager is not involved at all. This bit is almost
there, just waiting for hscMain to catch up.
* in `ghc --make' mode, the driver will hand off control to the
compilation manager, and provide the `compile' interface. This
bit isn't there yet.
* in `ghc --interactive' mode, the driver will hand off control
to the user interface (which doesn't exist yet), which will in
turn invoke the compilation manager, which in turn invokes the
driver again through the `compile' interface. None of this
is there yet.
sewardj [Wed, 11 Oct 2000 16:15:32 +0000 (16:15 +0000)]
[project @ 2000-10-11 16:15:32 by sewardj]
Reinstate emptyPCS.
simonmar [Wed, 11 Oct 2000 16:06:38 +0000 (16:06 +0000)]
[project @ 2000-10-11 16:06:38 by simonmar]
dead code removal
simonmar [Wed, 11 Oct 2000 15:31:43 +0000 (15:31 +0000)]
[project @ 2000-10-11 15:31:43 by simonmar]
MkDependHS stuff separated into its own file.
sewardj [Wed, 11 Oct 2000 15:31:27 +0000 (15:31 +0000)]
[project @ 2000-10-11 15:31:27 by sewardj]
Move @compile@-related types to HscTypes.
simonmar [Wed, 11 Oct 2000 15:26:18 +0000 (15:26 +0000)]
[project @ 2000-10-11 15:26:18 by simonmar]
all compiles now; not quite hooked up to hscMain yet though.
simonpj [Wed, 11 Oct 2000 15:04:47 +0000 (15:04 +0000)]
[project @ 2000-10-11 15:04:47 by simonpj]
Moving on
sewardj [Wed, 11 Oct 2000 14:51:02 +0000 (14:51 +0000)]
[project @ 2000-10-11 14:51:02 by sewardj]
Renaming of various previously-TLA'd types.
simonmar [Wed, 11 Oct 2000 14:08:52 +0000 (14:08 +0000)]
[project @ 2000-10-11 14:08:52 by simonmar]
getting there...
simonmar [Wed, 11 Oct 2000 14:08:23 +0000 (14:08 +0000)]
[project @ 2000-10-11 14:08:23 by simonmar]
nuke all the search path cruft in this file
simonmar [Wed, 11 Oct 2000 14:07:52 +0000 (14:07 +0000)]
[project @ 2000-10-11 14:07:52 by simonmar]
add macro GLOBAL_VAR()
simonmar [Wed, 11 Oct 2000 13:27:35 +0000 (13:27 +0000)]
[project @ 2000-10-11 13:27:35 by simonmar]
- add prefixMatch & postfixMatch list comparison operators
- add 'global' for global vars
- remove unused cmpString
- remove unused imports
simonmar [Wed, 11 Oct 2000 11:54:58 +0000 (11:54 +0000)]
[project @ 2000-10-11 11:54:58 by simonmar]
Some progress:
- driver is split up into slightly more managable parts
- PreProces interface for use by the summariser
- flags stuff is taking shape
rrt [Wed, 11 Oct 2000 10:21:10 +0000 (10:21 +0000)]
[project @ 2000-10-11 10:21:10 by rrt]
Reuben puts the "pee" into "compeelation"
rrt [Wed, 11 Oct 2000 10:20:26 +0000 (10:20 +0000)]
[project @ 2000-10-11 10:20:26 by rrt]
Added missing </Para>. Ironic if you look at the last commit on this file.
rrt [Wed, 11 Oct 2000 10:17:32 +0000 (10:17 +0000)]
[project @ 2000-10-11 10:17:32 by rrt]
Don't read TMPDIR from the environment under mingwin; avoids / being
turned into \ in the env var, which then causes problems when this value
is written to a shell file and then executed.
simonmar [Tue, 10 Oct 2000 16:31:26 +0000 (16:31 +0000)]
[project @ 2000-10-10 16:31:26 by simonmar]
driver<->hsc deforestation continues; classifyOpts isn't needed any more
sewardj [Tue, 10 Oct 2000 16:21:33 +0000 (16:21 +0000)]
[project @ 2000-10-10 16:21:33 by sewardj]
Spadework for getting ModuleName -> Module maps in the right places.
Also start to expand short names (PCS) to PersistentCompilerState, etc.
simonpj [Tue, 10 Oct 2000 16:02:43 +0000 (16:02 +0000)]
[project @ 2000-10-10 16:02:43 by simonpj]
Back out changes to TcMonoType that didn't work right.
These changes are now done correctly on the before-ghci-branch,
and so will get merged in later.
simonmar [Tue, 10 Oct 2000 15:42:32 +0000 (15:42 +0000)]
[project @ 2000-10-10 15:42:32 by simonmar]
Define HscLang, the output format of hsc.
Remove opt_OutputLanguage, opt_OutputFile, and a few other flags which
we're going to do through DynFlags or directly as arguments to hscLang now.
simonmar [Tue, 10 Oct 2000 13:25:19 +0000 (13:25 +0000)]
[project @ 2000-10-10 13:25:19 by simonmar]
The driver, more or less verbatim copied from ghc/driver/Main.hs.
THE PLAN: the main body of the driver will eventually sit between the
compilation manager and HscMain, providing all the grotty services
like compilation of .hc files.
Some other parts of the driver, eg. flag parsing, will remain at the
front end.
simonmar [Tue, 10 Oct 2000 13:21:10 +0000 (13:21 +0000)]
[project @ 2000-10-10 13:21:10 by simonmar]
Temporary file management, broken out of the driver.
simonmar [Tue, 10 Oct 2000 13:20:38 +0000 (13:20 +0000)]
[project @ 2000-10-10 13:20:38 by simonmar]
Main is now HscMain: this will transform eventually into the
compiler's entry point.
CmdLineOpts now separates flags into static flags and dynamic flags;
dynamic flags will be passed around explicitly and can therefore
change from compilation to compilation. All the dump flags and a few
language flags (like -fglasgow-exts) are currently DynFlags.
NOTE: nothing will now compile, for a long while until we get all this
connected up. This commit is so that we start pulling in the same
direction.
simonmar [Tue, 10 Oct 2000 13:14:30 +0000 (13:14 +0000)]
[project @ 2000-10-10 13:14:30 by simonmar]
export getImports; mkdependHS will need it.
simonmar [Tue, 10 Oct 2000 13:13:17 +0000 (13:13 +0000)]
[project @ 2000-10-10 13:13:17 by simonmar]
Build main/Config.hs (cut-n-paste from driver/Makefile)
sewardj [Tue, 10 Oct 2000 12:20:46 +0000 (12:20 +0000)]
[project @ 2000-10-10 12:20:46 by sewardj]
* Get more of the compilation manager working, using a dummy compiler
and linker.
* When linking, figure out the set of packages which need to be linked.
* Redo package config plumbing to support the above. Some stuff has
moved from CmFind to CmStaticInfo.
* Get rid of FLAGS entirely.
simonmar [Tue, 10 Oct 2000 09:28:50 +0000 (09:28 +0000)]
[project @ 2000-10-10 09:28:50 by simonmar]
Loop in fill_up_line_buffer if read returns EINTR. The code
previously just returned in this case.
simonmar [Tue, 10 Oct 2000 09:12:19 +0000 (09:12 +0000)]
[project @ 2000-10-10 09:12:19 by simonmar]
debugging output wibbles
chak [Tue, 10 Oct 2000 04:55:28 +0000 (04:55 +0000)]
[project @ 2000-10-10 04:55:28 by chak]
Just for fun, perl v5.6.0 version info has a different syntax.
rrt [Mon, 9 Oct 2000 16:53:49 +0000 (16:53 +0000)]
[project @ 2000-10-09 16:53:49 by rrt]
Added a tip about using <Para> inside <ListItem>s.
rrt [Mon, 9 Oct 2000 16:51:01 +0000 (16:51 +0000)]
[project @ 2000-10-09 16:51:01 by rrt]
Many fixes to make it DocBook friendly.
simonmar [Mon, 9 Oct 2000 11:42:49 +0000 (11:42 +0000)]
[project @ 2000-10-09 11:42:49 by simonmar]
Fill in some gaps; add Float# and Double# reps
simonmar [Mon, 9 Oct 2000 11:41:43 +0000 (11:41 +0000)]
[project @ 2000-10-09 11:41:43 by simonmar]
fix heap check bogons in mci_make_constr*
daan [Mon, 9 Oct 2000 11:21:41 +0000 (11:21 +0000)]
[project @ 2000-10-09 11:18:46 by daan]
Lots of changes for Xmlambda. all changes are between
#ifdef XMLAMBDA blocks.
- new bytecodes for Inj constructors and witnesses
- new primops for rows
- code for calling foreign functions. This only works with
'dynamic.c' but that is not checked in yet.
simonmar [Mon, 9 Oct 2000 10:58:38 +0000 (10:58 +0000)]
[project @ 2000-10-09 10:58:38 by simonmar]
import Linker ( linkPrelude )
daan [Mon, 9 Oct 2000 10:28:33 +0000 (10:28 +0000)]
[project @ 2000-10-09 10:28:33 by daan]
removed references to 'splim' in code for the INTERPRETER.
simonmar [Mon, 9 Oct 2000 09:19:16 +0000 (09:19 +0000)]
[project @ 2000-10-09 09:19:16 by simonmar]
Re-add -fwarn-hi-shadowing now that we mostly remove duplicates from
the import path.
simonmar [Fri, 6 Oct 2000 15:50:44 +0000 (15:50 +0000)]
[project @ 2000-10-06 15:50:44 by simonmar]
Link the compiled prelude in, for testing the interpreter.
simonmar [Fri, 6 Oct 2000 15:49:41 +0000 (15:49 +0000)]
[project @ 2000-10-06 15:49:41 by simonmar]
Hack about in a major way, and get this thing linking interpreted code
to a compiled prelude.
simonmar [Fri, 6 Oct 2000 15:48:30 +0000 (15:48 +0000)]
[project @ 2000-10-06 15:48:30 by simonmar]
- Add Linker.lhs, an interface to the underlying RTS object linker
- Split off the interpreter's abstract syntax into InterpSyn.lhs
- Some minor updates to the compilation manager stuff.
simonmar [Fri, 6 Oct 2000 15:38:06 +0000 (15:38 +0000)]
[project @ 2000-10-06 15:38:06 by simonmar]
The GC needs to be cleverer about which address ranges are in
text/data space if we're dynamically loading modules.
(BTW, this linking stuff is mostly ported from code written by Julian
Seward for STG Hugs).
simonmar [Fri, 6 Oct 2000 15:35:47 +0000 (15:35 +0000)]
[project @ 2000-10-06 15:35:47 by simonmar]
Initialise the object linker if we're in GHCi.
simonmar [Fri, 6 Oct 2000 15:35:09 +0000 (15:35 +0000)]
[project @ 2000-10-06 15:35:09 by simonmar]
Add a debug flag for the object linker.
simonmar [Fri, 6 Oct 2000 15:34:29 +0000 (15:34 +0000)]
[project @ 2000-10-06 15:34:29 by simonmar]
Extend the hash table implementation to support string-indexed dynamic
hash tables.
simonmar [Fri, 6 Oct 2000 15:33:27 +0000 (15:33 +0000)]
[project @ 2000-10-06 15:33:27 by simonmar]
Object file linker for GHCi.
sewardj [Fri, 6 Oct 2000 14:48:13 +0000 (14:48 +0000)]
[project @ 2000-10-06 14:48:13 by sewardj]
Implement a few more dull bits of code for the Compilation Manager.
sewardj [Fri, 6 Oct 2000 13:07:32 +0000 (13:07 +0000)]
[project @ 2000-10-06 13:07:32 by sewardj]
Commit half-implemented CM, and supporting changes.
rrt [Fri, 6 Oct 2000 11:05:57 +0000 (11:05 +0000)]
[project @ 2000-10-06 11:05:57 by rrt]
Mucho fixes for Windows MM timers.
simonpj [Fri, 6 Oct 2000 09:31:45 +0000 (09:31 +0000)]
[project @ 2000-10-06 09:31:45 by simonpj]
Allow finite number of (!) fields in constructors :-)
andy [Fri, 6 Oct 2000 00:18:07 +0000 (00:18 +0000)]
[project @ 2000-10-06 00:18:07 by andy]
Adding depend info
andy [Thu, 5 Oct 2000 22:50:18 +0000 (22:50 +0000)]
[project @ 2000-10-05 22:50:18 by andy]
Fixing the order that labeled fields appear in datatypes. Currently
they are reversed, which breaks the prelude badly.
[From Haskell report:
The arguments to the positional constructor occur in the same order as the labeled fields. For example, the declaration
data C = F { f1,f2 :: Int, f3 :: Bool}
defines a type and constructor identical to the one produced by
data C = F Int Int Bool
]
simonpj [Thu, 5 Oct 2000 16:45:07 +0000 (16:45 +0000)]
[project @ 2000-10-05 16:45:07 by simonpj]
wibble
simonpj [Thu, 5 Oct 2000 16:18:03 +0000 (16:18 +0000)]
[project @ 2000-10-05 16:18:03 by simonpj]
Add test for generics
simonpj [Thu, 5 Oct 2000 16:04:36 +0000 (16:04 +0000)]
[project @ 2000-10-05 16:04:36 by simonpj]
Add a test to reject things like:
instance Ord a => Ord (forall s. T s a)
g :: T s (forall b.b)
The for-alls are illegal in type arguments!
simonpj [Thu, 5 Oct 2000 16:03:22 +0000 (16:03 +0000)]
[project @ 2000-10-05 16:03:22 by simonpj]
Add test for for-all types in arguments
simonpj [Thu, 5 Oct 2000 15:42:30 +0000 (15:42 +0000)]
[project @ 2000-10-05 15:42:30 by simonpj]
Parser changes to support type constructor operators; part of the generics stuff
simonpj [Thu, 5 Oct 2000 15:33:03 +0000 (15:33 +0000)]
[project @ 2000-10-05 15:33:03 by simonpj]
Add a bit more documentation of generics
simonmar [Thu, 5 Oct 2000 13:27:54 +0000 (13:27 +0000)]
[project @ 2000-10-05 13:27:54 by simonmar]
let's touch the *right* .o file, shall we?
simonmar [Thu, 5 Oct 2000 13:25:03 +0000 (13:25 +0000)]
[project @ 2000-10-05 13:25:03 by simonmar]
oops, need to touch the .o file if compilation was NOT required
simonmar [Thu, 5 Oct 2000 11:18:52 +0000 (11:18 +0000)]
[project @ 2000-10-05 11:18:52 by simonmar]
test -fgenerics before generating the generic datatype.
simonmar [Thu, 5 Oct 2000 11:15:20 +0000 (11:15 +0000)]
[project @ 2000-10-05 11:15:20 by simonmar]
add -fgenerics
sewardj [Thu, 5 Oct 2000 10:05:53 +0000 (10:05 +0000)]
[project @ 2000-10-05 10:05:53 by sewardj]
Add finder, summariser, part of CM, to repo.
simonmar [Wed, 4 Oct 2000 16:47:39 +0000 (16:47 +0000)]
[project @ 2000-10-04 16:47:39 by simonmar]
Turn off generics for the nightly build; I'll add a flag to disable it
selectively tomorrow.
sewardj [Wed, 4 Oct 2000 11:23:01 +0000 (11:23 +0000)]
[project @ 2000-10-04 11:23:01 by sewardj]
Update packages stuff to track yesterday's changes to @data Package = ...@.
andy [Tue, 3 Oct 2000 18:25:29 +0000 (18:25 +0000)]
[project @ 2000-10-03 18:25:28 by andy]
Addding the Galois Connections ray tracer as an example for GHC.
sewardj [Tue, 3 Oct 2000 16:51:57 +0000 (16:51 +0000)]
[project @ 2000-10-03 16:51:57 by sewardj]
Change representation of Package so it contains the package's name.
(This makes GHCI a bit more convenient).
qrczak [Tue, 3 Oct 2000 14:35:31 +0000 (14:35 +0000)]
[project @ 2000-10-03 14:35:31 by qrczak]
Added eqString_RDR to implicitFVs.
keithw [Tue, 3 Oct 2000 12:47:44 +0000 (12:47 +0000)]
[project @ 2000-10-03 12:47:44 by keithw]
Correct some minor typos and a forward reference or two.
rrt [Tue, 3 Oct 2000 10:20:07 +0000 (10:20 +0000)]
[project @ 2000-10-03 10:20:07 by rrt]
Backed out bogon (last commit was completely nonsensical).
rrt [Tue, 3 Oct 2000 09:56:58 +0000 (09:56 +0000)]
[project @ 2000-10-03 09:56:58 by rrt]
Add $(FPTOOLS_TOP)/dll to PATH when running GHC_INPLACE. This is to make the
inplace compiler pick up the right set of DLLs under Windows, and won't have
any effect on other platforms (where the dll directory is empty).
simonpj [Tue, 3 Oct 2000 09:20:42 +0000 (09:20 +0000)]
[project @ 2000-10-03 09:20:42 by simonpj]
First cut at documenting generic classes
simonpj [Tue, 3 Oct 2000 08:43:05 +0000 (08:43 +0000)]
[project @ 2000-10-03 08:43:00 by simonpj]
--------------------------------------
Adding generics SLPJ Oct 2000
--------------------------------------
This big commit adds Hinze/PJ-style generic class definitions, based
on work by Andrei Serjantov. For example:
class Bin a where
toBin :: a -> [Int]
fromBin :: [Int] -> (a, [Int])
toBin {| Unit |} Unit = []
toBin {| a :+: b |} (Inl x) = 0 : toBin x
toBin {| a :+: b |} (Inr y) = 1 : toBin y
toBin {| a :*: b |} (x :*: y) = toBin x ++ toBin y
fromBin {| Unit |} bs = (Unit, bs)
fromBin {| a :+: b |} (0:bs) = (Inl x, bs') where (x,bs') = fromBin bs
fromBin {| a :+: b |} (1:bs) = (Inr y, bs') where (y,bs') = fromBin bs
fromBin {| a :*: b |} bs = (x :*: y, bs'') where (x,bs' ) = fromBin bs
(y,bs'') = fromBin bs'
Now we can say simply
instance Bin a => Bin [a]
and the compiler will derive the appropriate code automatically.
(About 9k lines of diffs. Ha!)
Generic related things
~~~~~~~~~~~~~~~~~~~~~~
* basicTypes/BasicTypes: The EP type (embedding-projection pairs)
* types/TyCon:
An extra field in an algebraic tycon (genInfo)
* types/Class, and hsSyn/HsBinds:
Each class op (or ClassOpSig) carries information about whether
it a) has no default method
b) has a polymorphic default method
c) has a generic default method
There's a new data type for this: Class.DefMeth
* types/Generics:
A new module containing good chunk of the generic-related code
It has a .hi-boot file (alas).
* typecheck/TcInstDcls, typecheck/TcClassDcl:
Most of the rest of the generics-related code
* hsSyn/HsTypes:
New infix type form to allow types of the form
data a :+: b = Inl a | Inr b
* parser/Parser.y, Lex.lhs, rename/ParseIface.y:
Deal with the new syntax
* prelude/TysPrim, TysWiredIn:
Need to generate generic stuff for the wired-in TyCons
* rename/RnSource RnBinds:
A rather gruesome hack to deal with scoping of type variables
from a generic patterns. Details commented in the ClassDecl
case of RnSource.rnDecl.
Of course, there are many minor renamer consequences of the
other changes above.
* lib/std/PrelBase.lhs
Data type declarations for Unit, :+:, :*:
Slightly unrelated housekeeping
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
* hsSyn/HsDecls:
ClassDecls now carry the Names for their implied declarations
(superclass selectors, tycon, etc) in a list, rather than
laid out one by one. This simplifies code between the parser
and the type checker.
* prelude/PrelNames, TysWiredIn:
All the RdrNames are now together in PrelNames.
* utils/ListSetOps:
Add finite mappings based on equality and association lists (Assoc a b)
Move stuff from List.lhs that is related
simonpj [Tue, 3 Oct 2000 08:29:30 +0000 (08:29 +0000)]
[project @ 2000-10-03 08:29:30 by simonpj]
Remove dead code mkLookupFun
simonpj [Mon, 2 Oct 2000 16:06:48 +0000 (16:06 +0000)]
[project @ 2000-10-02 16:06:48 by simonpj]
Add check for unboxed function arguments
sewardj [Mon, 2 Oct 2000 15:16:06 +0000 (15:16 +0000)]
[project @ 2000-10-02 15:16:06 by sewardj]
First shot at the summariser. Doesn't know how to unlit or cppify
source yet.