projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3bbdfc7) | patch
Some cleanup in TcSimplify.reduceContext
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Thu, 13 Mar 2008 06:52:20 +0000 (06:52 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Thu, 13 Mar 2008 06:52:20 +0000 (06:52 +0000)
commitb5a8dd88e3939cf547be50ab62bae84f5bf0398d
tree9407bcb9e29193269990eb1678fc6790860ae75ctree | snapshot
parent3bbdfc759bf1f466313afab0c0c50547ccde8e24commit | diff
Some cleanup in TcSimplify.reduceContext
- Makes this horrid function a bit better - and shorter!
- Also gets rid of another API function of TcTyFuns
compiler/typecheck/TcSimplify.lhs diff | blob | history
compiler/typecheck/TcTyFuns.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)