[Haskell-cafe] Type checking with Haskell

Joel Reymont joelr1 at gmail.com
Thu Apr 12 08:04:13 EDT 2007


The ghc/compiler/typecheck directory holds a rather large body of  
code and quick browsing through did not produce any insight.

How do you implement type checking in haskell?

Assume I have an Expr type with a constructor per type and functions  
can take lists of expressions. Do I create a function taking an Expr,  
pattern-matching on appropriate constructor and returning True on a  
match and False otherwise?

	Thanks, Joel


More information about the Haskell-Cafe mailing list