diff options
| author | simonpj@microsoft.com <unknown> | 2007-12-20 11:13:00 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2007-12-20 11:13:00 +0000 |
| commit | 67cb409159fa9136dff942b8baaec25909416022 (patch) | |
| tree | 2de192f967b2d012b7bc1e8e0b72fd97a8f55a30 /compiler/deSugar/DsBinds.lhs | |
| parent | fe784e7dfffa8b876ed738306a82bf4bdcfd8be7 (diff) | |
| download | haskell-67cb409159fa9136dff942b8baaec25909416022.tar.gz | |
Implement generalised list comprehensions
This patch implements generalised list comprehensions, as described in
the paper "Comprehensive comprehensions" (Peyton Jones & Wadler, Haskell
Workshop 2007). If you don't use the new comprehensions, nothing
should change.
The syntax is not exactly as in the paper; see the user manual entry
for details.
You need an accompanying patch to the base library for this stuff
to work.
The patch is the work of Max Bolingbroke [batterseapower@hotmail.com],
with some advice from Simon PJ.
The related GHC Wiki page is
http://hackage.haskell.org/trac/ghc/wiki/SQLLikeComprehensions
Diffstat (limited to 'compiler/deSugar/DsBinds.lhs')
| -rw-r--r-- | compiler/deSugar/DsBinds.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/deSugar/DsBinds.lhs b/compiler/deSugar/DsBinds.lhs index f03877360e..5540dd806b 100644 --- a/compiler/deSugar/DsBinds.lhs +++ b/compiler/deSugar/DsBinds.lhs @@ -175,7 +175,7 @@ dsHsBind auto_scc rest (AbsBinds all_tyvars dicts exports binds) -- Rec because of mixed-up dictionary bindings core_bind = Rec (map do_one core_prs) - tup_expr = mkTupleExpr locals + tup_expr = mkBigCoreVarTup locals tup_ty = exprType tup_expr poly_tup_expr = mkLams all_tyvars $ mkLams dicts $ Let core_bind tup_expr |