git.megacz.com Git - ghc-hetmet.git/commit

author	simonpj <unknown>
	Wed, 5 Jan 2005 15:28:54 +0000 (15:28 +0000)
committer	simonpj <unknown>
	Wed, 5 Jan 2005 15:28:54 +0000 (15:28 +0000)
commit	19da321b73fb79535f72bf4abac69a3592f10e6d
tree	bbdc570433062092c6ccc68c9dace3391d88772a	tree \| snapshot
parent	df68e45e1d7b934488be4d794f160ad5fac2a62c	commit \| diff

[project @ 2005-01-05 15:28:39 by simonpj]
------------------------
          GADTs and unification
   ------------------------

1. Adjustment to typechecking of pattern matching the call to
   gadtRefineTys in TcPat.  Now wobbly types are treated as wild
   cards in the unification process.

2. Add the WildCard possibility to the BindFlag in types/Unify.lhs

3. Some related refactoring of tcMatchTys etc.

Glasgow Haskell Compiler with heterogeneous metaprogramming (generalized arrows and modal types)

RSS Atom

ghc/compiler/typecheck/Inst.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcMatches.lhs		diff \| blob \| history
ghc/compiler/typecheck/TcPat.lhs		diff \| blob \| history
ghc/compiler/types/FunDeps.lhs		diff \| blob \| history
ghc/compiler/types/InstEnv.lhs		diff \| blob \| history
ghc/compiler/types/Type.lhs		diff \| blob \| history
ghc/compiler/types/Unify.lhs		diff \| blob \| history