sewardj [Mon, 23 Oct 2000 12:55:31 +0000 (12:55 +0000)]
[project @ 2000-10-23 12:55:31 by sewardj]
Plumb a function :: Name -> Maybe Fixity into the depths of the deriver
for deriving Show and Read. This information is in the ModIFaces, not
the ModDetails, and we don't want to send complete ModIFaces into the
typechecker.
simonpj [Mon, 23 Oct 2000 12:26:39 +0000 (12:26 +0000)]
[project @ 2000-10-23 12:26:39 by simonpj]
Put early-exit code in Rename.lhs
sewardj [Mon, 23 Oct 2000 12:00:22 +0000 (12:00 +0000)]
[project @ 2000-10-23 12:00:21 by sewardj]
Track renaming of typecheck/TcInstUtil to types/InstEnv.
sewardj [Mon, 23 Oct 2000 11:56:20 +0000 (11:56 +0000)]
[project @ 2000-10-23 11:56:20 by sewardj]
****** renamed from typecheck/TcInstUtil.lhs to types/InstEnv.lhs ******
sewardj [Mon, 23 Oct 2000 11:50:42 +0000 (11:50 +0000)]
[project @ 2000-10-23 11:50:40 by sewardj]
Small cleanups.
simonmar [Mon, 23 Oct 2000 11:08:22 +0000 (11:08 +0000)]
[project @ 2000-10-23 11:08:22 by simonmar]
GHC Build System Police.
simonpj [Mon, 23 Oct 2000 09:03:30 +0000 (09:03 +0000)]
[project @ 2000-10-23 09:03:26 by simonpj]
Mainly renamer
sewardj [Fri, 20 Oct 2000 15:38:43 +0000 (15:38 +0000)]
[project @ 2000-10-20 15:38:42 by sewardj]
Latest hacks.
sewardj [Thu, 19 Oct 2000 15:00:17 +0000 (15:00 +0000)]
[project @ 2000-10-19 15:00:16 by sewardj]
Stagger dazedly towards getting the renamer to compile.
sewardj [Thu, 19 Oct 2000 10:06:47 +0000 (10:06 +0000)]
[project @ 2000-10-19 10:06:46 by sewardj]
Fix simplifier stuff.
sewardj [Wed, 18 Oct 2000 14:04:12 +0000 (14:04 +0000)]
[project @ 2000-10-18 14:04:12 by sewardj]
Make the desugarer compile.
sewardj [Wed, 18 Oct 2000 12:47:56 +0000 (12:47 +0000)]
[project @ 2000-10-18 12:47:55 by sewardj]
Finish getting the typechecker to compile. Wahey!
simonmar [Wed, 18 Oct 2000 09:40:18 +0000 (09:40 +0000)]
[project @ 2000-10-18 09:40:17 by simonmar]
- Dynamicise another couple of options (-fgenerics & -freport-compile)
The rest look awkward to move into DynFlags.
- Move opt_UseVanillaRegs & friends to CgRetConv, since they aren't
real options.
sewardj [Wed, 18 Oct 2000 09:38:17 +0000 (09:38 +0000)]
[project @ 2000-10-18 09:38:17 by sewardj]
Make TcDeriv compile, after much argument with the typechecker.
simonmar [Wed, 18 Oct 2000 09:30:19 +0000 (09:30 +0000)]
[project @ 2000-10-18 09:30:19 by simonmar]
whitespace only
sewardj [Tue, 17 Oct 2000 15:57:57 +0000 (15:57 +0000)]
[project @ 2000-10-17 15:57:57 by sewardj]
Fix enough renamer bits to get going again on the typechecker.
HACK ALERT: RnIfaces is almost completely #ifdef'd out!
sewardj [Tue, 17 Oct 2000 14:40:26 +0000 (14:40 +0000)]
[project @ 2000-10-17 14:40:26 by sewardj]
Make RnEnv compile.
simonmar [Tue, 17 Oct 2000 13:22:12 +0000 (13:22 +0000)]
[project @ 2000-10-17 13:22:10 by simonmar]
Flags hacking:
- `dopt_GlasgowExts' is now written `dopt Opt_GlasgowExts'
- convert all the warning options into DynFlags
sewardj [Tue, 17 Oct 2000 12:48:35 +0000 (12:48 +0000)]
[project @ 2000-10-17 12:48:34 by sewardj]
More thrills and spills with the typechecker.
simonmar [Tue, 17 Oct 2000 11:52:10 +0000 (11:52 +0000)]
[project @ 2000-10-17 11:52:10 by simonmar]
- remove CmCompile; all its contents have moved to HscTypes and
DriverPipeline.
- export Unlinked(..) from CmLink
- update CompManager w.r.t. new CmSummarise
simonmar [Tue, 17 Oct 2000 11:50:20 +0000 (11:50 +0000)]
[project @ 2000-10-17 11:50:20 by simonmar]
add code to implement "compile".
simonmar [Tue, 17 Oct 2000 11:44:05 +0000 (11:44 +0000)]
[project @ 2000-10-17 11:44:05 by simonmar]
- export CompResult & HscResult
- add (Maybe [UnlinkedIBind]) to HscResult, in case it is returning
interpreted code
- bring HscResult in to line with CompResult w.r.t. warnings/errors
sewardj [Tue, 17 Oct 2000 11:34:46 +0000 (11:34 +0000)]
[project @ 2000-10-17 11:34:46 by sewardj]
Changes needed to get TcExpr to compile.
simonmar [Tue, 17 Oct 2000 11:25:35 +0000 (11:25 +0000)]
[project @ 2000-10-17 11:25:35 by simonmar]
make compile
sewardj [Tue, 17 Oct 2000 10:27:58 +0000 (10:27 +0000)]
[project @ 2000-10-17 10:27:58 by sewardj]
typechecker burbles
simonpj [Tue, 17 Oct 2000 09:33:41 +0000 (09:33 +0000)]
[project @ 2000-10-17 09:33:41 by simonpj]
Environments in typechecker
simonpj [Tue, 17 Oct 2000 09:01:26 +0000 (09:01 +0000)]
[project @ 2000-10-17 09:01:26 by simonpj]
Change ModDetails a little
sewardj [Mon, 16 Oct 2000 16:39:29 +0000 (16:39 +0000)]
[project @ 2000-10-16 16:39:29 by sewardj]
export wibble
sewardj [Mon, 16 Oct 2000 16:34:34 +0000 (16:34 +0000)]
[project @ 2000-10-16 16:34:33 by sewardj]
Make compile.
sewardj [Mon, 16 Oct 2000 16:29:55 +0000 (16:29 +0000)]
[project @ 2000-10-16 16:29:55 by sewardj]
Make compile.
sewardj [Mon, 16 Oct 2000 16:20:18 +0000 (16:20 +0000)]
[project @ 2000-10-16 16:20:18 by sewardj]
Make compile.
simonpj [Mon, 16 Oct 2000 16:17:01 +0000 (16:17 +0000)]
[project @ 2000-10-16 16:17:01 by simonpj]
Wibbles
simonpj [Mon, 16 Oct 2000 16:07:52 +0000 (16:07 +0000)]
[project @ 2000-10-16 16:07:52 by simonpj]
find_globals
simonmar [Mon, 16 Oct 2000 15:35:51 +0000 (15:35 +0000)]
[project @ 2000-10-16 15:35:01 by simonmar]
CmFind ==> Finder
simonmar [Mon, 16 Oct 2000 15:21:48 +0000 (15:21 +0000)]
[project @ 2000-10-16 15:21:48 by simonmar]
add some comments
simonmar [Mon, 16 Oct 2000 15:16:59 +0000 (15:16 +0000)]
[project @ 2000-10-16 15:16:59 by simonmar]
re-implement the finder using information from the driver. The Finder
now has type
ModuleName -> IO (Maybe (Module, ModuleLocation)
where
data ModuleLocation = ModuleLocation {
hs_file :: FilePath,
hi_file :: FilePath,
obj_file :: FilePath
}
For a module in another package, the hs_file and obj_file components
are undefined.
sewardj [Mon, 16 Oct 2000 15:16:02 +0000 (15:16 +0000)]
[project @ 2000-10-16 15:16:02 by sewardj]
Make compile.
simonmar [Mon, 16 Oct 2000 15:14:32 +0000 (15:14 +0000)]
[project @ 2000-10-16 15:14:32 by simonmar]
new: mkHomeModule for Modules in ThisPackage.
sewardj [Mon, 16 Oct 2000 14:40:07 +0000 (14:40 +0000)]
[project @ 2000-10-16 14:40:07 by sewardj]
Make compile.
sewardj [Mon, 16 Oct 2000 14:28:54 +0000 (14:28 +0000)]
[project @ 2000-10-16 14:28:54 by sewardj]
More typechecker bits.
simonmar [Mon, 16 Oct 2000 14:26:26 +0000 (14:26 +0000)]
[project @ 2000-10-16 14:26:26 by simonmar]
can't change pgmC any more
simonpj [Mon, 16 Oct 2000 14:14:20 +0000 (14:14 +0000)]
[project @ 2000-10-16 14:14:20 by simonpj]
Remove ExportFlag
sewardj [Mon, 16 Oct 2000 13:57:43 +0000 (13:57 +0000)]
[project @ 2000-10-16 13:57:43 by sewardj]
Track Simon's Module changes.
sewardj [Mon, 16 Oct 2000 13:51:28 +0000 (13:51 +0000)]
[project @ 2000-10-16 13:51:28 by sewardj]
push along (RnEnv doesn't typecheck, tho)
sewardj [Mon, 16 Oct 2000 13:34:40 +0000 (13:34 +0000)]
[project @ 2000-10-16 13:34:40 by sewardj]
Nuked.
simonmar [Mon, 16 Oct 2000 13:30:25 +0000 (13:30 +0000)]
[project @ 2000-10-16 13:30:25 by simonmar]
isLocalModule ==> isModuleInThisPackage
simonmar [Mon, 16 Oct 2000 13:29:58 +0000 (13:29 +0000)]
[project @ 2000-10-16 13:29:58 by simonmar]
Modules now go back to just containing a flag saying which package
they belong to.
Rename the slightly cryptic "isLocalModule" to
"isModuleInThisPackage".
sewardj [Mon, 16 Oct 2000 13:29:14 +0000 (13:29 +0000)]
[project @ 2000-10-16 13:29:13 by sewardj]
make HscTypes and RnMonad compilable
sewardj [Mon, 16 Oct 2000 13:13:41 +0000 (13:13 +0000)]
[project @ 2000-10-16 13:13:41 by sewardj]
make compilable
sewardj [Mon, 16 Oct 2000 11:39:25 +0000 (11:39 +0000)]
[project @ 2000-10-16 11:39:25 by sewardj]
mkBuiltinSrcLoc -> builtinSrcLoc
sewardj [Mon, 16 Oct 2000 11:32:56 +0000 (11:32 +0000)]
[project @ 2000-10-16 11:32:56 by sewardj]
Fix up pprName. So much simpler than the original that it will
doubtless require fixing later.
sewardj [Mon, 16 Oct 2000 10:16:33 +0000 (10:16 +0000)]
[project @ 2000-10-16 10:16:33 by sewardj]
Don't try to import IOError non-abstractly (avoids a compiler warning).
sewardj [Mon, 16 Oct 2000 10:14:10 +0000 (10:14 +0000)]
[project @ 2000-10-16 10:14:10 by sewardj]
wibble
sewardj [Mon, 16 Oct 2000 10:05:01 +0000 (10:05 +0000)]
[project @ 2000-10-16 10:05:00 by sewardj]
Mostly typechecker stuff.
simonpj [Mon, 16 Oct 2000 08:24:20 +0000 (08:24 +0000)]
[project @ 2000-10-16 08:24:18 by simonpj]
Mainly renamer
simonpj [Fri, 13 Oct 2000 16:36:22 +0000 (16:36 +0000)]
[project @ 2000-10-13 16:36:21 by simonpj]
Small things
simonpj [Fri, 13 Oct 2000 16:00:45 +0000 (16:00 +0000)]
[project @ 2000-10-13 16:00:45 by simonpj]
Tidy up errors and warnings
simonpj [Fri, 13 Oct 2000 15:08:10 +0000 (15:08 +0000)]
[project @ 2000-10-13 15:08:10 by simonpj]
Mainly typechecking instance decls
sewardj [Fri, 13 Oct 2000 14:14:32 +0000 (14:14 +0000)]
[project @ 2000-10-13 14:14:31 by sewardj]
Fix some typechecker bits.
sewardj [Fri, 13 Oct 2000 13:43:47 +0000 (13:43 +0000)]
[project @ 2000-10-13 13:43:47 by sewardj]
Changes to get RnMonad to compile.
sewardj [Fri, 13 Oct 2000 10:26:38 +0000 (10:26 +0000)]
[project @ 2000-10-13 10:26:38 by sewardj]
Changes to make PrelInfo compile.
sewardj [Fri, 13 Oct 2000 10:20:26 +0000 (10:20 +0000)]
[project @ 2000-10-13 10:20:26 by sewardj]
Changes needed to make HscTypes compile.
simonmar [Fri, 13 Oct 2000 09:12:40 +0000 (09:12 +0000)]
[project @ 2000-10-13 09:12:40 by simonmar]
Disable -split-objs for way 'u'.
simonpj [Thu, 12 Oct 2000 16:41:48 +0000 (16:41 +0000)]
[project @ 2000-10-12 16:41:48 by simonpj]
Mainly TcModule plumbing
sewardj [Thu, 12 Oct 2000 16:26:41 +0000 (16:26 +0000)]
[project @ 2000-10-12 16:26:41 by sewardj]
Commit the rest of today's stuff
sewardj [Thu, 12 Oct 2000 16:10:39 +0000 (16:10 +0000)]
[project @ 2000-10-12 16:10:39 by sewardj]
Propagation.
sewardj [Thu, 12 Oct 2000 16:04:40 +0000 (16:04 +0000)]
[project @ 2000-10-12 16:04:40 by sewardj]
Propagation.
sewardj [Thu, 12 Oct 2000 15:59:34 +0000 (15:59 +0000)]
[project @ 2000-10-12 15:59:34 by sewardj]
FastInt/DynFlags propagation.
simonmar [Thu, 12 Oct 2000 15:50:14 +0000 (15:50 +0000)]
[project @ 2000-10-12 15:50:14 by simonmar]
remove kludge
simonmar [Thu, 12 Oct 2000 15:49:34 +0000 (15:49 +0000)]
[project @ 2000-10-12 15:49:34 by simonmar]
remove superfluous defns of index{Word,Ptr}OffClosure
rrt [Thu, 12 Oct 2000 15:41:12 +0000 (15:41 +0000)]
[project @ 2000-10-12 15:41:12 by rrt]
Put in their own directories to humour the build system.
rrt [Thu, 12 Oct 2000 15:39:41 +0000 (15:39 +0000)]
[project @ 2000-10-12 15:39:41 by rrt]
Moved into subdirectories to allow docs to be built by build system.
rrt [Thu, 12 Oct 2000 15:33:47 +0000 (15:33 +0000)]
[project @ 2000-10-12 15:33:47 by rrt]
#warning is not ANSI.
simonpj [Thu, 12 Oct 2000 15:26:48 +0000 (15:26 +0000)]
[project @ 2000-10-12 15:26:48 by simonpj]
Work on initialisation of persistent compiler state
sewardj [Thu, 12 Oct 2000 15:23:21 +0000 (15:23 +0000)]
[project @ 2000-10-12 15:23:21 by sewardj]
mkSysModuleFS -> mkSysModuleNameFS
rrt [Thu, 12 Oct 2000 15:21:36 +0000 (15:21 +0000)]
[project @ 2000-10-12 15:21:36 by rrt]
Simple fix for install of HTML: mimic recursive install with chmod and cp.
simonmar [Thu, 12 Oct 2000 15:17:55 +0000 (15:17 +0000)]
[project @ 2000-10-12 15:17:55 by simonmar]
isUnboundName moved
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.