projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 86f1334) | patch
Comment fix: use the same variable names in the conclusion as in the premise.
authort-peterj@microsoft.com <unknown>
Thu, 18 Jun 2009 09:22:35 +0000 (09:22 +0000)
committert-peterj@microsoft.com <unknown>
Thu, 18 Jun 2009 09:22:35 +0000 (09:22 +0000)
commitfe204a040a0381a1c18be10b9870cb3d20b0486b
treef2b346e3a6f18da59f3efaf6ba320cc4095c8f65tree | snapshot
parent86f133444434f9890d1de10b49cf10d524336d20commit | diff
Comment fix: use the same variable names in the conclusion as in the premise.
compiler/simplCore/Simplify.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)