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.
sewardj [Mon, 2 Oct 2000 14:39:57 +0000 (14:39 +0000)]
[project @ 2000-10-02 14:39:57 by sewardj]
@ModSummary@ wibble.
sewardj [Mon, 2 Oct 2000 14:05:22 +0000 (14:05 +0000)]
[project @ 2000-10-02 14:05:22 by sewardj]
Partially back out changes mistakenly included in last commit :-(
sewardj [Mon, 2 Oct 2000 13:58:51 +0000 (13:58 +0000)]
[project @ 2000-10-02 13:58:51 by sewardj]
Implement initial-state (emptyTy :: Ty) functions.
simonmar [Mon, 2 Oct 2000 13:51:36 +0000 (13:51 +0000)]
[project @ 2000-10-02 13:51:36 by simonmar]
Names of mpz routines in GMP 3 now have a "__g" prefix (untested, but
should fix the NCG).
simonmar [Mon, 2 Oct 2000 11:06:19 +0000 (11:06 +0000)]
[project @ 2000-10-02 11:06:19 by simonmar]
- move readMVar and swapMVar from PrelConc to concurrent
- add the following exception-safe MVar operations:
withMVar :: MVar a -> (a -> IO b) -> IO b
modifyMVar :: MVar a -> (a -> IO (a,b)) -> IO b
modifyMVar_ :: MVar a -> (a -> IO a) -> IO ()
- re-implement readMVar and swapMVar in an exception-safe way.
- re-implement the Chan operations using withMVar et al.
simonpj [Mon, 2 Oct 2000 10:09:58 +0000 (10:09 +0000)]
[project @ 2000-10-02 10:09:58 by simonpj]
Add tc107
sewardj [Fri, 29 Sep 2000 15:59:29 +0000 (15:59 +0000)]
[project @ 2000-09-29 15:59:28 by sewardj]
New modules for GHCI.
sewardj [Fri, 29 Sep 2000 15:57:59 +0000 (15:57 +0000)]
[project @ 2000-09-29 15:57:59 by sewardj]
A few more internal consistency fixes seen when making new modules in
ghc/compiler/ghci.
rrt [Fri, 29 Sep 2000 15:27:37 +0000 (15:27 +0000)]
[project @ 2000-09-29 15:27:37 by rrt]
Changed *do* to <Emphasis>do</Emphasis>
sewardj [Fri, 29 Sep 2000 12:18:22 +0000 (12:18 +0000)]
[project @ 2000-09-29 12:18:22 by sewardj]
Internal consistency wibble: @LinkState@ --> @PLS@.
simonpj [Thu, 28 Sep 2000 16:49:36 +0000 (16:49 +0000)]
[project @ 2000-09-28 16:49:36 by simonpj]
Another wibble
sewardj [Thu, 28 Sep 2000 16:17:07 +0000 (16:17 +0000)]
[project @ 2000-09-28 16:17:07 by sewardj]
wibbles
sewardj [Thu, 28 Sep 2000 15:50:04 +0000 (15:50 +0000)]
[project @ 2000-09-28 15:50:04 by sewardj]
Fill in details about how CM works.
simonpj [Thu, 28 Sep 2000 15:16:20 +0000 (15:16 +0000)]
[project @ 2000-09-28 15:16:20 by simonpj]
Simon's log file; I don't want to lose this!
simonpj [Thu, 28 Sep 2000 15:15:48 +0000 (15:15 +0000)]
[project @ 2000-09-28 15:15:48 by simonpj]
Wibbles
simonpj [Thu, 28 Sep 2000 13:04:18 +0000 (13:04 +0000)]
[project @ 2000-09-28 13:04:14 by simonpj]
------------------------------------
Mainly PredTypes (28 Sept 00)
------------------------------------
Three things in this commit:
1. Main thing: tidy up PredTypes
2. Move all Keys into PrelNames
3. Check for unboxed tuples in function args
1. Tidy up PredTypes
~~~~~~~~~~~~~~~~~~~~
The main thing in this commit is to modify the representation of Types
so that they are a (much) better for the qualified-type world. This
should simplify Jeff's life as he proceeds with implicit parameters
and functional dependencies. In particular, PredType, introduced by
Jeff, is now blessed and dignified with a place in TypeRep.lhs:
data PredType = Class Class [Type]
| IParam Name Type
Consider these examples:
f :: (Eq a) => a -> Int
g :: (?x :: Int -> Int) => a -> Int
h :: (r\l) => {r} => {l::Int | r}
Here the "Eq a" and "?x :: Int -> Int" and "r\l" are all called
*predicates*, and are represented by a PredType. (We don't support
TREX records yet, but the setup is designed to expand to allow them.)
In addition, Type gains an extra constructor:
data Type = .... | PredTy PredType
so that PredType is injected directly into Type. So the type
p => t
is represented by
PredType p `FunTy` t
I have deleted the hackish IPNote stuff; predicates are dealt with entirely
through PredTys, not through NoteTy at all.
2. Move Keys into PrelNames
~~~~~~~~~~~~~~~~~~~~~~~~~~~~
This is just a housekeeping operation. I've moved all the pre-assigned Uniques
(aka Keys) from Unique.lhs into PrelNames.lhs. I've also moved knowKeyRdrNames
from PrelInfo down into PrelNames. This localises in PrelNames lots of stuff
about predefined names. Previously one had to alter three files to add one,
now only one.
3. Unboxed tuples
~~~~~~~~~~~~~~~~~~
Add a static check for unboxed tuple arguments. E.g.
data T = T (# Int, Int #)
is illegal
sewardj [Thu, 28 Sep 2000 12:19:46 +0000 (12:19 +0000)]
[project @ 2000-09-28 12:19:46 by sewardj]
Define relationship between what CM implements and the HEP interface.
Start on saying how CM behaves.
sewardj [Wed, 27 Sep 2000 16:13:09 +0000 (16:13 +0000)]
[project @ 2000-09-27 16:13:09 by sewardj]
Further cleanups, and add defs for ModDetails, ModIFace and Ifaces.
sewardj [Wed, 27 Sep 2000 15:09:56 +0000 (15:09 +0000)]
[project @ 2000-09-27 15:09:56 by sewardj]
Big reorganisation, to put CM, compile, link into seperate sections.
Ongoing.
simonpj [Wed, 27 Sep 2000 14:03:12 +0000 (14:03 +0000)]
[project @ 2000-09-27 14:03:12 by simonpj]
Remove Addr2IntegerOp reference
simonpj [Tue, 26 Sep 2000 16:45:35 +0000 (16:45 +0000)]
[project @ 2000-09-26 16:45:33 by simonpj]
* Remove all traces of addr2Integer. Big integer literals are now
done by multiplying up small integers.
* As a result, we can remove PrelNum.hi-boot altogether.
* Correct the default method for (==) in PrelBase. (It simply
returned True, which seems bogus to me!)
* Add a type signature for PrelBase.mapFB
sewardj [Tue, 26 Sep 2000 16:29:59 +0000 (16:29 +0000)]
[project @ 2000-09-26 16:29:59 by sewardj]
Rearrange the Linker section a bit, in line with upcoming rearrangement
of Compiler and CM sections.
simonpj [Tue, 26 Sep 2000 15:58:25 +0000 (15:58 +0000)]
[project @ 2000-09-26 15:58:25 by simonpj]
Document the new behaviour of -fno-implicit-prelude.
(I havn't checked that the new document builds right because
my build tree doesn't seem to build documentation. Reuben,
could you check, please.)
simonmar [Tue, 26 Sep 2000 15:31:19 +0000 (15:31 +0000)]
[project @ 2000-09-26 15:31:19 by simonmar]
linker spec updates
sewardj [Tue, 26 Sep 2000 13:46:31 +0000 (13:46 +0000)]
[project @ 2000-09-26 13:46:31 by sewardj]
Add the GHCi design document to CVS.
chak [Tue, 26 Sep 2000 01:54:56 +0000 (01:54 +0000)]
[project @ 2000-09-26 01:54:56 by chak]
Added missing !
simonpj [Mon, 25 Sep 2000 13:09:31 +0000 (13:09 +0000)]
[project @ 2000-09-25 13:09:31 by simonpj]
Suck in plus/timesInteger for integer literals
simonpj [Mon, 25 Sep 2000 13:09:02 +0000 (13:09 +0000)]
[project @ 2000-09-25 13:09:02 by simonpj]
Fix slightly bogus error message
simonpj [Mon, 25 Sep 2000 12:58:39 +0000 (12:58 +0000)]
[project @ 2000-09-25 12:58:39 by simonpj]
--------------------------------------------------
Tidying up HsLit, and making it possible to define
your own numeric library
Simon PJ 22 Sept 00
--------------------------------------------------
I forgot to commit changes to the libraries! The main thing
is to define monomorphic plusInteger, timesInteger etc, in PrelNum.
simonmar [Mon, 25 Sep 2000 12:30:44 +0000 (12:30 +0000)]
[project @ 2000-09-25 12:30:44 by simonmar]
Fix a couple of problems with the recompilation avoidance stuff.
simonmar [Mon, 25 Sep 2000 11:34:27 +0000 (11:34 +0000)]
[project @ 2000-09-25 11:34:27 by simonmar]
arguments of StgLam should be bndrs, not Id.
simonmar [Mon, 25 Sep 2000 11:32:55 +0000 (11:32 +0000)]
[project @ 2000-09-25 11:32:55 by simonmar]
INLINE is_ctype, otherwise charType gets inlined in the RHS by virtue
of only being used once, and we lose the opportunity to inline is_ctype.
simonmar [Mon, 25 Sep 2000 11:31:22 +0000 (11:31 +0000)]
[project @ 2000-09-25 11:31:22 by simonmar]
remove unused imports