diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2013-01-30 12:39:07 +0000 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2013-01-30 12:39:07 +0000 |
| commit | 677144b858f4a425e77399bdfbfcd43dbabd1488 (patch) | |
| tree | 52a7e0218010eb672c473d38e96dc6535c304613 /compiler/deSugar/Coverage.lhs | |
| parent | 9c661e0709e63d97a5ca6bcadc23f362abda88dc (diff) | |
| download | haskell-677144b858f4a425e77399bdfbfcd43dbabd1488.tar.gz | |
Add support for *named* holes; an extension of -XTypeHoles
The idea is that you can use "_foo" rather than just "_"
as a "hole" in an expression, and this name shows up in
type errors etc.
The changes are very straightforward.
Thanks for Thijs Alkemade for making the running here.
Diffstat (limited to 'compiler/deSugar/Coverage.lhs')
| -rw-r--r-- | compiler/deSugar/Coverage.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/deSugar/Coverage.lhs b/compiler/deSugar/Coverage.lhs index c4afc5b9e5..133f0e1e06 100644 --- a/compiler/deSugar/Coverage.lhs +++ b/compiler/deSugar/Coverage.lhs @@ -576,7 +576,7 @@ addTickHsExpr (HsWrap w e) = (addTickHsExpr e) -- explicitly no tick on inside addTickHsExpr e@(HsType _) = return e -addTickHsExpr HsHole = panic "addTickHsExpr.HsHole" +addTickHsExpr (HsUnboundVar {}) = panic "addTickHsExpr.HsUnboundVar" -- Others dhould never happen in expression content. addTickHsExpr e = pprPanic "addTickHsExpr" (ppr e) |