sewardj [Thu, 26 Oct 2000 16:21:02 +0000 (16:21 +0000)]
[project @ 2000-10-26 16:21:02 by sewardj]
Compile everything up to Main. The Really Entertaining News (tm) is that
there are still modules beyond Main to fix up :-)
simonmar [Thu, 26 Oct 2000 14:38:42 +0000 (14:38 +0000)]
[project @ 2000-10-26 14:38:42 by simonmar]
Simon's stuff
sewardj [Thu, 26 Oct 2000 14:34:58 +0000 (14:34 +0000)]
[project @ 2000-10-26 14:34:57 by sewardj]
Make HscMain compile. Hurrah!
simonmar [Thu, 26 Oct 2000 10:27:32 +0000 (10:27 +0000)]
[project @ 2000-10-26 10:27:32 by simonmar]
Fix up
sewardj [Thu, 26 Oct 2000 10:23:37 +0000 (10:23 +0000)]
[project @ 2000-10-26 10:23:37 by sewardj]
So Simon can proceed with driver hacks.
simonpj [Thu, 26 Oct 2000 07:19:53 +0000 (07:19 +0000)]
[project @ 2000-10-26 07:19:52 by simonpj]
wibbles
sewardj [Wed, 25 Oct 2000 16:44:28 +0000 (16:44 +0000)]
[project @ 2000-10-25 16:44:28 by sewardj]
Wibbles from Julian
simonpj [Wed, 25 Oct 2000 15:57:33 +0000 (15:57 +0000)]
[project @ 2000-10-25 15:57:33 by simonpj]
writeIface stuff
sewardj [Wed, 25 Oct 2000 14:42:32 +0000 (14:42 +0000)]
[project @ 2000-10-25 14:42:31 by sewardj]
Compile up to HscMain. Again :)
simonpj [Wed, 25 Oct 2000 13:51:52 +0000 (13:51 +0000)]
[project @ 2000-10-25 13:51:50 by simonpj]
Wibbles
simonpj [Wed, 25 Oct 2000 12:56:23 +0000 (12:56 +0000)]
[project @ 2000-10-25 12:56:20 by simonpj]
Tons of stuff for the mornings work
sewardj [Wed, 25 Oct 2000 12:47:43 +0000 (12:47 +0000)]
[project @ 2000-10-25 12:47:43 by sewardj]
Sort out linking of interpreted code a bit.
sewardj [Wed, 25 Oct 2000 10:23:57 +0000 (10:23 +0000)]
[project @ 2000-10-25 10:23:57 by sewardj]
HscMain: more details on parsing and codegen, and handle parse/rename/tc
failure correctly.
simonpj [Wed, 25 Oct 2000 07:09:54 +0000 (07:09 +0000)]
[project @ 2000-10-25 07:09:52 by simonpj]
More renamer stuff; still in flight
simonpj [Tue, 24 Oct 2000 17:09:44 +0000 (17:09 +0000)]
[project @ 2000-10-24 17:09:44 by simonpj]
Stuff to do with Rules; may not compile
sewardj [Tue, 24 Oct 2000 16:33:02 +0000 (16:33 +0000)]
[project @ 2000-10-24 16:33:02 by sewardj]
More bitz n pieces.
simonmar [Tue, 24 Oct 2000 16:08:16 +0000 (16:08 +0000)]
[project @ 2000-10-24 16:08:16 by simonmar]
StgToDo done
simonmar [Tue, 24 Oct 2000 15:58:02 +0000 (15:58 +0000)]
[project @ 2000-10-24 15:58:02 by simonmar]
Compiles up to DriverFlags
simonpj [Tue, 24 Oct 2000 15:55:36 +0000 (15:55 +0000)]
[project @ 2000-10-24 15:55:35 by simonpj]
More renamer
sewardj [Tue, 24 Oct 2000 15:40:19 +0000 (15:40 +0000)]
[project @ 2000-10-24 15:40:19 by sewardj]
First shot at revised hscMain.
sewardj [Tue, 24 Oct 2000 13:23:33 +0000 (13:23 +0000)]
[project @ 2000-10-24 13:23:33 by sewardj]
Compile everything needed by main/HscMain.
sewardj [Tue, 24 Oct 2000 12:36:04 +0000 (12:36 +0000)]
[project @ 2000-10-24 12:36:03 by sewardj]
Changes to make CodeOutput compile.
simonpj [Tue, 24 Oct 2000 10:36:09 +0000 (10:36 +0000)]
[project @ 2000-10-24 10:36:08 by simonpj]
Wibbles
sewardj [Tue, 24 Oct 2000 10:12:17 +0000 (10:12 +0000)]
[project @ 2000-10-24 10:12:16 by sewardj]
Make the back-end world compile.
simonpj [Tue, 24 Oct 2000 09:44:18 +0000 (09:44 +0000)]
[project @ 2000-10-24 09:44:18 by simonpj]
More renamer; move stuff into (new) RnHiFiles.lhs
simonpj [Tue, 24 Oct 2000 08:40:11 +0000 (08:40 +0000)]
[project @ 2000-10-24 08:40:09 by simonpj]
Small wibbles
simonpj [Tue, 24 Oct 2000 07:35:35 +0000 (07:35 +0000)]
[project @ 2000-10-24 07:35:35 by simonpj]
Remove HsPragmas; hasnt been used for ages
simonpj [Tue, 24 Oct 2000 07:35:03 +0000 (07:35 +0000)]
[project @ 2000-10-24 07:35:00 by simonpj]
Mainly MkIface
simonpj [Mon, 23 Oct 2000 16:43:42 +0000 (16:43 +0000)]
[project @ 2000-10-23 16:43:42 by simonpj]
A tiny bit more
simonpj [Mon, 23 Oct 2000 16:39:12 +0000 (16:39 +0000)]
[project @ 2000-10-23 16:39:11 by simonpj]
More renamer stuff
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