projects / ghc-hetmet.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3ee928b) | patch
Handle synonym families in check_tau_type
authorManuel M T Chakravarty <chak@cse.unsw.edu.au>
Tue, 9 Jan 2007 21:55:41 +0000 (21:55 +0000)
committerManuel M T Chakravarty <chak@cse.unsw.edu.au>
Tue, 9 Jan 2007 21:55:41 +0000 (21:55 +0000)
commit69defef14097006a8fb35d9a03bb3bb2d842855f
treefeb7442eb1ea5d2c88c106e268502c83ce576480tree | snapshot
parent3ee928b370511b9889a581e3e34ebe7ea9376004commit | diff
Handle synonym families in check_tau_type
compiler/typecheck/TcMType.lhs diff | blob | history
Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)