diff options
| author | simonpj@microsoft.com <unknown> | 2009-05-27 18:12:42 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2009-05-27 18:12:42 +0000 |
| commit | 389cca214f33a29646e08d57e3dca862140007b2 (patch) | |
| tree | 8154ffd0215228f3f6951481f7b2c73fc85d4d39 /compiler/specialise | |
| parent | 97a8fe8780307e95829034117efa98d2e27109cd (diff) | |
| download | haskell-389cca214f33a29646e08d57e3dca862140007b2.tar.gz | |
Template Haskell: allow type splices
At last! Trac #1476 and #3177
This patch extends Template Haskell by allowing splices in
types. For example
f :: Int -> $(burble 3)
A type splice should work anywhere a type is expected. This feature
has been long requested, and quite a while ago I'd re-engineered the
type checker to make it easier, but had never got around to finishing
the job. With luck, this does it.
There's a ToDo in the HsSpliceTy case of RnTypes.rnHsType, where I
am not dealing properly with the used variables; but that's awaiting
the refactoring of the way we report unused names.
Diffstat (limited to 'compiler/specialise')
0 files changed, 0 insertions, 0 deletions