simonmar [Wed, 10 Dec 2003 17:15:44 +0000 (17:15 +0000)]
[project @ 2003-12-10 17:15:44 by simonmar]
fix bogosity spotted by -Wall
simonmar [Wed, 10 Dec 2003 14:21:36 +0000 (14:21 +0000)]
[project @ 2003-12-10 14:21:36 by simonmar]
New file of miscellaneous utility functions over HsSyn.
simonmar [Wed, 10 Dec 2003 14:15:38 +0000 (14:15 +0000)]
[project @ 2003-12-10 14:15:16 by simonmar]
Add accurate source location annotations to HsSyn
-------------------------------------------------
Every syntactic entity in HsSyn is now annotated with a SrcSpan, which
details the exact beginning and end points of that entity in the
original source file. All honest compilers should do this, and it was
about time GHC did the right thing.
The most obvious benefit is that we now have much more accurate error
messages; when running GHC inside emacs for example, the cursor will
jump to the exact location of an error, not just a line somewhere
nearby. We haven't put a huge amount of effort into making sure all
the error messages are accurate yet, so there could be some tweaking
still needed, although the majority of messages I've seen have been
spot-on.
Error messages now contain a column number in addition to the line
number, eg.
read001.hs:25:10: Variable not in scope: `+#'
To get the full text span info, use the new option -ferror-spans. eg.
read001.hs:25:10-11: Variable not in scope: `+#'
I'm not sure whether we should do this by default. Emacs won't
understand the new error format, for one thing.
In a more elaborate editor setting (eg. Visual Studio), we can arrange
to actually highlight the subexpression containing an error. Eventually
this information will be used so we can find elements in the abstract
syntax corresponding to text locations, for performing high-level editor
functions (eg. "tell me the type of this expression I just highlighted").
Performance of the compiler doesn't seem to be adversely affected.
Parsing is still quicker than in 6.0.1, for example.
Implementation:
This was an excrutiatingly painful change to make: both Simon P.J. and
myself have been working on it for the last three weeks or so. The
basic changes are:
- a new datatype SrcSpan, which represents a beginning and end position
in a source file.
- To reduce the pain as much as possible, we also defined:
data Located e = L SrcSpan e
- Every datatype in HsSyn has an equivalent Located version. eg.
type LHsExpr id = Located (HsExpr id)
and pretty much everywhere we used to use HsExpr we now use
LHsExpr. Believe me, we thought about this long and hard, and
all the other options were worse :-)
Additional changes/cleanups we made at the same time:
- The abstract syntax for bindings is now less arcane. MonoBinds
and HsBinds with their built-in list constructors have gone away,
replaced by HsBindGroup and HsBind (see HsSyn/HsBinds.lhs).
- The various HsSyn type synonyms have now gone away (eg. RdrNameHsExpr,
RenamedHsExpr, and TypecheckedHsExpr are now HsExpr RdrName,
HsExpr Name, and HsExpr Id respectively).
- Utilities over HsSyn are now collected in a new module HsUtils.
More stuff still needs to be moved in here.
- MachChar now has a real Char instead of an Int. All GHC versions that
can compile GHC now support 32-bit Chars, so this was a simplification.
wolfgang [Wed, 10 Dec 2003 11:35:26 +0000 (11:35 +0000)]
[project @ 2003-12-10 11:35:24 by wolfgang]
PowerPC Linux support for registerised compilation and native code
generation. (object splitting and GHCi are still unsupported).
Code for other platforms is not affected, so MERGE TO STABLE.
wolfgang [Wed, 10 Dec 2003 10:12:13 +0000 (10:12 +0000)]
[project @ 2003-12-10 10:12:13 by wolfgang]
PowerPC NCG bugfix: 2-byte data objects should be .short, not .byte
MERGE TO STABLE
simonmar [Tue, 9 Dec 2003 15:48:08 +0000 (15:48 +0000)]
[project @ 2003-12-09 15:48:08 by simonmar]
Add note about -all_load instead of --whole-archive on MacOS X.
panne [Sat, 6 Dec 2003 18:27:37 +0000 (18:27 +0000)]
[project @ 2003-12-06 18:27:37 by panne]
Fixed typo in OpenAL handling.
panne [Sat, 6 Dec 2003 18:24:07 +0000 (18:24 +0000)]
[project @ 2003-12-06 18:24:05 by panne]
Completely overhauled OpenGL/GLUT detection magic, making things more
modular. Removed support for Mesa and non-HW-accelerated support on
Windoze. Added initial support for handling missing glut.h header on
MinGW/MSYS (to be completed). Tested on Cygwin (plain, -mno-cygwin,
--without-x), MSYS/MinGW and SuSE 8.2 x86 Linux.
stolz [Fri, 5 Dec 2003 09:50:39 +0000 (09:50 +0000)]
[project @ 2003-12-05 09:50:39 by stolz]
Use tso->id instead of tso as index to thread lables (tsos get relocated).
Please merge
panne [Tue, 2 Dec 2003 19:16:44 +0000 (19:16 +0000)]
[project @ 2003-12-02 19:16:41 by panne]
Added the first pieces of an OpenAL binding which has been of my disk for quite
a while. Note that it is built by default when a usable OpenAL library is found,
but this could be disabled via --disable-openal on the configure commandline.
Similar behaviour should probably be the default for all optional libraries.
Note that I have created a new hierarchy rooted at "Sound", the existing
hierarchies didn't fit.
simonmar [Fri, 28 Nov 2003 13:13:35 +0000 (13:13 +0000)]
[project @ 2003-11-28 13:13:35 by simonmar]
typo
simonmar [Fri, 28 Nov 2003 10:55:59 +0000 (10:55 +0000)]
[project @ 2003-11-28 10:55:59 by simonmar]
Wibbles to the UNPACK docs.
ross [Thu, 27 Nov 2003 15:18:11 +0000 (15:18 +0000)]
[project @ 2003-11-27 15:18:11 by ross]
fix typo
simonmar [Thu, 27 Nov 2003 13:27:11 +0000 (13:27 +0000)]
[project @ 2003-11-27 13:27:11 by simonmar]
Document UNPACK pragma
simonmar [Thu, 27 Nov 2003 13:26:39 +0000 (13:26 +0000)]
[project @ 2003-11-27 13:26:38 by simonmar]
On reflection, using the '!!' prefix for unboxing a constructor field
was a mistake: firstly it has to be written '! !', and secondly it
isn't backwards-compatible. So instead, we now use the syntax:
data T = T {-# UNPACK #-} !Int
to unbox a field. We thought this would be a cute reuse of the UNPACK
pragma.
The effect of -funbox-strict-fields is to add {-# UNPACK #-} to every
strict field.
simonmar [Thu, 27 Nov 2003 11:08:06 +0000 (11:08 +0000)]
[project @ 2003-11-27 11:08:06 by simonmar]
Fix syntax error
simonmar [Thu, 27 Nov 2003 09:30:54 +0000 (09:30 +0000)]
[project @ 2003-11-27 09:30:54 by simonmar]
Having tightened up GHC's syntax w.r.t. Haskell 98, it appears that
GHC itself was making use of the more lax syntax.
simonmar [Wed, 26 Nov 2003 12:14:26 +0000 (12:14 +0000)]
[project @ 2003-11-26 12:14:26 by simonmar]
Fix a rare bug in compacting GC, related to eval_thunk_selector(). This
might be the cause of the "Closure type 0" bug in SourceForge.
simonmar [Wed, 26 Nov 2003 10:07:19 +0000 (10:07 +0000)]
[project @ 2003-11-26 10:07:19 by simonmar]
Haskell 98 doesn't allow extra commas in record construction/update,
so neither should GHC.
simonpj [Fri, 21 Nov 2003 09:09:09 +0000 (09:09 +0000)]
[project @ 2003-11-21 09:09:09 by simonpj]
Add a note about avoiding trailing spaces in CVSROOT
simonpj [Tue, 18 Nov 2003 11:57:29 +0000 (11:57 +0000)]
[project @ 2003-11-18 11:57:29 by simonpj]
Add notes about windows build, esp the need for automake
simonmar [Tue, 18 Nov 2003 09:26:36 +0000 (09:26 +0000)]
[project @ 2003-11-18 09:26:36 by simonmar]
Restore a couple of functions that are used in ASSERTs.
simonmar [Tue, 18 Nov 2003 09:23:27 +0000 (09:23 +0000)]
[project @ 2003-11-18 09:23:27 by simonmar]
oops, fix overenthusiastic export-culling (noCCAttached is used in an ASSERT).
simonmar [Mon, 17 Nov 2003 14:47:53 +0000 (14:47 +0000)]
[project @ 2003-11-17 14:47:52 by simonmar]
GC dead code and export list entries.
simonmar [Mon, 17 Nov 2003 14:45:17 +0000 (14:45 +0000)]
[project @ 2003-11-17 14:45:17 by simonmar]
GC dead code.
simonmar [Mon, 17 Nov 2003 14:44:47 +0000 (14:44 +0000)]
[project @ 2003-11-17 14:44:47 by simonmar]
GC export list.
simonmar [Mon, 17 Nov 2003 14:44:07 +0000 (14:44 +0000)]
[project @ 2003-11-17 14:44:07 by simonmar]
GC dead code.
simonmar [Mon, 17 Nov 2003 14:43:22 +0000 (14:43 +0000)]
[project @ 2003-11-17 14:43:22 by simonmar]
GC export list.
simonmar [Mon, 17 Nov 2003 14:42:47 +0000 (14:42 +0000)]
[project @ 2003-11-17 14:41:58 by simonmar]
GC dead code.
simonmar [Mon, 17 Nov 2003 14:41:32 +0000 (14:41 +0000)]
[project @ 2003-11-17 14:41:32 by simonmar]
GC export list.
simonmar [Mon, 17 Nov 2003 14:41:03 +0000 (14:41 +0000)]
[project @ 2003-11-17 14:41:03 by simonmar]
Add an export list; GC dead code.
simonmar [Mon, 17 Nov 2003 14:40:33 +0000 (14:40 +0000)]
[project @ 2003-11-17 14:40:33 by simonmar]
GC export list.
simonmar [Mon, 17 Nov 2003 14:38:22 +0000 (14:38 +0000)]
[project @ 2003-11-17 14:38:22 by simonmar]
GC dead code.
simonmar [Mon, 17 Nov 2003 14:31:55 +0000 (14:31 +0000)]
[project @ 2003-11-17 14:31:55 by simonmar]
GC dead code.
simonmar [Mon, 17 Nov 2003 14:28:49 +0000 (14:28 +0000)]
[project @ 2003-11-17 14:28:49 by simonmar]
GC dead code.
simonmar [Mon, 17 Nov 2003 14:23:39 +0000 (14:23 +0000)]
[project @ 2003-11-17 14:23:30 by simonmar]
GC some dead code. In some places, I left useful-looking but
currently unused definitions in place, surrounded by #ifdef UNUSED
... #endif.
panne [Sun, 16 Nov 2003 11:42:35 +0000 (11:42 +0000)]
[project @ 2003-11-16 11:42:34 by panne]
* Cleaned up test for GTK_CONFIG
* Nuked unused GTK_VERSION
panne [Sat, 15 Nov 2003 19:51:18 +0000 (19:51 +0000)]
[project @ 2003-11-15 19:51:17 by panne]
Some steps towards decoupling the OpenGL and GLUT packages
panne [Sat, 15 Nov 2003 19:37:15 +0000 (19:37 +0000)]
[project @ 2003-11-15 19:37:13 by panne]
Cleaned up the mechanism for building the unix package
panne [Sat, 15 Nov 2003 19:15:18 +0000 (19:15 +0000)]
[project @ 2003-11-15 19:15:16 by panne]
For consistency reasons, rename HaveReadlineHeaders to GhcLibsWithReadline
simonmar [Fri, 14 Nov 2003 17:30:54 +0000 (17:30 +0000)]
[project @ 2003-11-14 17:30:54 by simonmar]
This file was used once; it isn't now.
stolz [Fri, 14 Nov 2003 14:28:08 +0000 (14:28 +0000)]
[project @ 2003-11-14 14:28:07 by stolz]
Revert previous commit on request
simonpj [Fri, 14 Nov 2003 13:44:11 +0000 (13:44 +0000)]
[project @ 2003-11-14 13:44:11 by simonpj]
Remove redundant hi-boot files
stolz [Fri, 14 Nov 2003 09:27:02 +0000 (09:27 +0000)]
[project @ 2003-11-14 09:27:00 by stolz]
Style police: Remove C++-style comments
simonpj [Thu, 13 Nov 2003 15:03:22 +0000 (15:03 +0000)]
[project @ 2003-11-13 15:03:20 by simonpj]
Maintain renaming envt during tyepcheck, so we can rename a splice
simonpj [Thu, 13 Nov 2003 15:02:53 +0000 (15:02 +0000)]
[project @ 2003-11-13 15:02:53 by simonpj]
Stop after renaming if errors are found in TH
simonpj [Thu, 13 Nov 2003 15:02:25 +0000 (15:02 +0000)]
[project @ 2003-11-13 15:02:25 by simonpj]
Improve type pretty-printer
simonpj [Thu, 13 Nov 2003 15:01:53 +0000 (15:01 +0000)]
[project @ 2003-11-13 15:01:53 by simonpj]
Check for class op that omits the class tyvar
sof [Wed, 12 Nov 2003 17:49:11 +0000 (17:49 +0000)]
[project @ 2003-11-12 17:49:05 by sof]
Tweaks to have RTS (C) sources compile with MSVC. Apart from wibbles
related to the handling of 'inline', changed Schedule.h:POP_RUN_QUEUE()
not to use expression-level statement blocks.
sof [Wed, 12 Nov 2003 17:27:06 +0000 (17:27 +0000)]
[project @ 2003-11-12 17:27:00 by sof]
Tidy up a couple of unportable coding issues:
- conditionally use empty structs.
- use GNU attributes only if supported.
- 'long long' usage
- use of 'inline' in declarations and definitions.
Upshot of these changes is that MSVC is now capable of compiling
the non-.hc portions of the RTS.
sof [Wed, 12 Nov 2003 17:18:49 +0000 (17:18 +0000)]
[project @ 2003-11-12 17:18:48 by sof]
FP_EMPTY_STRUCTS: empty struct feature test
sof [Wed, 12 Nov 2003 17:18:05 +0000 (17:18 +0000)]
[project @ 2003-11-12 17:18:05 by sof]
win32: Support for explicitly setting the execute bit
on pages containing code that we generate. Not yet enabled.
Starting with SP2, Windows XP will honour newer x86 CPUs
that lets you distinguish between readable and
readable-executable pages.
sof [Wed, 12 Nov 2003 15:45:49 +0000 (15:45 +0000)]
[project @ 2003-11-12 15:45:49 by sof]
ocResolve_PEi386(): improve(&flush) warning re: overflown relocation field.
merge to stable
simonmar [Wed, 12 Nov 2003 14:54:32 +0000 (14:54 +0000)]
[project @ 2003-11-12 14:54:32 by simonmar]
oops, committed wrong version of this file
simonmar [Wed, 12 Nov 2003 14:44:17 +0000 (14:44 +0000)]
[project @ 2003-11-12 14:44:17 by simonmar]
Add the ISO 8859-1 non-breaking space character '\xa0' to the list of
characters recognised as whitespace.
simonmar [Tue, 11 Nov 2003 16:45:52 +0000 (16:45 +0000)]
[project @ 2003-11-11 16:45:52 by simonmar]
libraries.html is now libraries/index.html
simonmar [Tue, 11 Nov 2003 11:50:55 +0000 (11:50 +0000)]
[project @ 2003-11-11 11:50:52 by simonmar]
Convert to use Haddock 0.6's combined contents/index functionality for
the hierarchical library docs.
HEADS UP: you need Haddock 0.6 in order to run 'make html' in
fptools/libraries now.
simonmar [Tue, 11 Nov 2003 10:05:11 +0000 (10:05 +0000)]
[project @ 2003-11-11 10:05:11 by simonmar]
wibble
simonpj [Mon, 10 Nov 2003 12:05:04 +0000 (12:05 +0000)]
[project @ 2003-11-10 12:05:04 by simonpj]
Corner case fix for -fundecidable-instances
simonpj [Mon, 10 Nov 2003 12:04:25 +0000 (12:04 +0000)]
[project @ 2003-11-10 12:04:25 by simonpj]
Better error message for ghc --show-iface, with no file supplied
simonmar [Mon, 10 Nov 2003 11:23:54 +0000 (11:23 +0000)]
[project @ 2003-11-10 11:23:54 by simonmar]
Make 'ghc --show-iface' give a reasonable error message on old
interface files again. We previously disabled the version check for
--show-iface so that you could run --show-iface on a profiled
interface file, but this disabled too much error checking. Really we
just want to disable the 'way' check, not the whole version check.
HEADS UP: interface format changed. Recompile libraries.
simonpj [Mon, 10 Nov 2003 09:48:38 +0000 (09:48 +0000)]
[project @ 2003-11-10 09:48:38 by simonpj]
Add assertErrorName to the known-key names
simonpj [Thu, 6 Nov 2003 17:10:01 +0000 (17:10 +0000)]
[project @ 2003-11-06 17:09:50 by simonpj]
------------------------------------
Major increment for Template Haskell
------------------------------------
1. New abstract data type "Name" which appears where String used to be.
E.g. data Exp = VarE Name | ...
2. New syntax 'x and ''T, for quoting Names. It's rather like [| x |]
and [t| T |] respectively, except that
a) it's non-monadic: 'x :: Name
b) you get a Name not an Exp or Type
3. reify is an ordinary function
reify :: Name -> Q Info
New data type Info which tells what TH knows about Name
4. Local variables work properly. So this works now (crashed before):
f x = $( [| x |] )
5. THSyntax is split up into three modules:
Language.Haskell.TH TH "clients" import this
Language.Haskell.TH.THSyntax data type declarations and internal stuff
Language.Haskell.TH.THLib Support library code (all re-exported
by TH), including smart constructors and
pretty printer
6. Error reporting and recovery are in (not yet well tested)
report :: Bool {- True <=> fatal -} -> String -> Q ()
recover :: Q a -> Q a -> Q a
7. Can find current module
currentModule :: Q String
Much other cleaning up, needless to say.
simonmar [Thu, 6 Nov 2003 10:32:06 +0000 (10:32 +0000)]
[project @ 2003-11-06 10:31:55 by simonmar]
Add a separate --help message for GHCi.
simonpj [Thu, 6 Nov 2003 09:42:45 +0000 (09:42 +0000)]
[project @ 2003-11-06 09:42:45 by simonpj]
Import all instances in cases like C (a b)
simonpj [Wed, 5 Nov 2003 14:52:28 +0000 (14:52 +0000)]
[project @ 2003-11-05 14:52:28 by simonpj]
Part 2 of previous commit (fixes to derivable type classes)
simonpj [Wed, 5 Nov 2003 14:51:54 +0000 (14:51 +0000)]
[project @ 2003-11-05 14:51:53 by simonpj]
Fixes to derivable type classes; should work now
simonpj [Wed, 5 Nov 2003 11:39:42 +0000 (11:39 +0000)]
[project @ 2003-11-05 11:39:38 by simonpj]
Fix a stupid error in interactive environment handling (not present in STABLE)
simonpj [Tue, 4 Nov 2003 13:15:21 +0000 (13:15 +0000)]
[project @ 2003-11-04 13:15:20 by simonpj]
Beginnings of VarBr
simonpj [Tue, 4 Nov 2003 13:14:06 +0000 (13:14 +0000)]
[project @ 2003-11-04 13:14:06 by simonpj]
Remove dead code
dons [Tue, 4 Nov 2003 00:38:34 +0000 (00:38 +0000)]
[project @ 2003-11-04 00:38:34 by dons]
Error out if user tries to use in-tree GMP on mips.
Too many arithmetic errors in the resulting compiler otherwise.
simonmar [Mon, 3 Nov 2003 17:26:04 +0000 (17:26 +0000)]
[project @ 2003-11-03 17:26:04 by simonmar]
Remove references to non-existent g3 function.
simonmar [Mon, 3 Nov 2003 17:24:41 +0000 (17:24 +0000)]
[project @ 2003-11-03 17:24:41 by simonmar]
Remove references to Haskell 1.4, replace with up to date Haskell 98
references. Includes removing a comment about the fact that Haskell
1.4 didn't have principle types (Haskell 98 fixed that bug).
simonpj [Mon, 3 Nov 2003 16:01:03 +0000 (16:01 +0000)]
[project @ 2003-11-03 16:00:57 by simonpj]
Wibbles to pretty printing of types
simonpj [Mon, 3 Nov 2003 15:27:32 +0000 (15:27 +0000)]
[project @ 2003-11-03 15:27:32 by simonpj]
Missing cases in isLiftedTypeKind etc
simonpj [Mon, 3 Nov 2003 15:27:09 +0000 (15:27 +0000)]
[project @ 2003-11-03 15:27:08 by simonpj]
Wibble to subordinate names
simonpj [Mon, 3 Nov 2003 15:26:23 +0000 (15:26 +0000)]
[project @ 2003-11-03 15:26:22 by simonpj]
The generic to/from methods for derivable type classes should only
be generated for types in the current group, rather than all the
in-scope tycons. Otherwise they get generated multiple times in
a Template-Haskell situation.
simonmar [Mon, 3 Nov 2003 12:25:39 +0000 (12:25 +0000)]
[project @ 2003-11-03 12:25:39 by simonmar]
Add some I/O error checking so that an error when writing the output
file will correctly result in a non-zero exit code.
Currently, if you try to compile a literate Haskell file and /tmp is
full, unlit will write an empty file and exit successfully, leading to
confusing behaviour.
simonmar [Mon, 3 Nov 2003 10:22:21 +0000 (10:22 +0000)]
[project @ 2003-11-03 10:22:21 by simonmar]
merge rev. 1.9.6.2 to the HEAD (remove comment about multiple Main modules)
simonmar [Mon, 3 Nov 2003 10:11:04 +0000 (10:11 +0000)]
[project @ 2003-11-03 10:11:04 by simonmar]
merge rev. 1.9.6.1 to the HEAD (add overflown relocs bug)
dons [Sun, 2 Nov 2003 06:55:24 +0000 (06:55 +0000)]
[project @ 2003-11-02 06:55:24 by dons]
More RTLD_* symbols are now available on OpenBSD.
This does not mean that ghci works yet, though.
panne [Sat, 1 Nov 2003 23:43:14 +0000 (23:43 +0000)]
[project @ 2003-11-01 23:43:13 by panne]
Synched with hugs98 repository again (X_FLAGS handling this time)
Merge to STABLE.
panne [Sat, 1 Nov 2003 20:05:57 +0000 (20:05 +0000)]
[project @ 2003-11-01 20:05:57 by panne]
Synched with latest changes in hugs98 repository (finding "find" plus
#ifdef massage). Some common autoconf macro directory would be really
handy: ToDo...
sof [Sat, 1 Nov 2003 01:52:01 +0000 (01:52 +0000)]
[project @ 2003-11-01 01:52:01 by sof]
expandEnvVars.expandStrings: flatten the expanded strings so as to
permit a substitution to expand into multiple elements of the final
list.
merge to stable.
sof [Sat, 1 Nov 2003 01:01:18 +0000 (01:01 +0000)]
[project @ 2003-11-01 01:01:18 by sof]
Maintain order of 'objs' when adding them to v_Ld_inputs.
Fixes ghc-6.x linking bug when .a's are given explicitly
on the command-line.
merge to stable.
sof [Fri, 31 Oct 2003 23:24:47 +0000 (23:24 +0000)]
[project @ 2003-10-31 23:24:47 by sof]
tidy up siginterrupt() use
sof [Fri, 31 Oct 2003 23:23:43 +0000 (23:23 +0000)]
[project @ 2003-10-31 23:23:43 by sof]
check for siginterrupt()
sof [Fri, 31 Oct 2003 16:48:45 +0000 (16:48 +0000)]
[project @ 2003-10-31 16:48:45 by sof]
prog_name: use '\' as separator with mingw builds.
merge to stable
sof [Fri, 31 Oct 2003 16:22:11 +0000 (16:22 +0000)]
[project @ 2003-10-31 16:22:11 by sof]
Report max heap in Mbytes as well.
merge to stable
sof [Fri, 31 Oct 2003 16:21:27 +0000 (16:21 +0000)]
[project @ 2003-10-31 16:21:27 by sof]
win32: in case of a heap overflow, report this via heapOverflow(), and not
by panic'ing.
merge to stable.
simonpj [Fri, 31 Oct 2003 12:57:59 +0000 (12:57 +0000)]
[project @ 2003-10-31 12:57:59 by simonpj]
Wibble to TH -> HsSyn conversion
simonpj [Fri, 31 Oct 2003 12:57:15 +0000 (12:57 +0000)]
[project @ 2003-10-31 12:57:15 by simonpj]
Trim exports
simonpj [Fri, 31 Oct 2003 12:56:50 +0000 (12:56 +0000)]
[project @ 2003-10-31 12:56:50 by simonpj]
Pretty-printing wibble; fixes many tests
simonpj [Thu, 30 Oct 2003 16:02:07 +0000 (16:02 +0000)]
[project @ 2003-10-30 16:01:49 by simonpj]
This commit does a long-overdue tidy-up
* Remove PprType (gets rid of one more bunch of hi-boot files)
* Put pretty-printing for types in TypeRep
* Make a specialised pretty-printer for Types, rather than
converting to IfaceTypes and printing those
simonpj [Thu, 30 Oct 2003 10:14:59 +0000 (10:14 +0000)]
[project @ 2003-10-30 10:14:59 by simonpj]
1. When desugaring a [d| ... |], do not gensym the method names of
an instance declaration, else we get very confused!
2. We don't need to make fresh Names in DsMeta.mkGenSym, because
the existing Name will do, I believe. We'll do the genSym when
we *run* the splice. (This stuff makes my head hurt.)
Assuming this is so, we can simplify the mkGenSym stuff still more.
simonpj [Thu, 30 Oct 2003 10:12:39 +0000 (10:12 +0000)]
[project @ 2003-10-30 10:12:39 by simonpj]
Wibble
simonpj [Thu, 30 Oct 2003 09:38:14 +0000 (09:38 +0000)]
[project @ 2003-10-30 09:38:14 by simonpj]
Improve panic msg
simonpj [Thu, 30 Oct 2003 09:37:57 +0000 (09:37 +0000)]
[project @ 2003-10-30 09:37:57 by simonpj]
Formatting only
simonpj [Thu, 30 Oct 2003 09:33:30 +0000 (09:33 +0000)]
[project @ 2003-10-30 09:33:30 by simonpj]
Updating TH; not finished
simonpj [Thu, 30 Oct 2003 09:03:16 +0000 (09:03 +0000)]
[project @ 2003-10-30 09:03:15 by simonpj]
Remove redundant param from allUses