<span style>Hi Haskell Cafe!<br></span><br>To develop Haskell-Type-Exts (HTE) [1,2], I need to have typing judgments for each language construct in Haskell 2010 with two extensions: <span style="font-family:&#39;Lucida Grande&#39;,Verdana,Arial,sans-serif;font-size:12px;line-height:16px;text-align:justify">RankNTypes and local assumptions (GADTs, Type Functions and etc). Since I could not find any academic paper describing a type system supporting both local assumptions [3] and RankNTypes [4], we tried to combine the two systems. We also tried to extend the type system to support Patterns and some other constructs. The result (in a very sketchy state) is posted at:<br>
  </span><a href="http://cleantypecheck.wordpress.com/2012/06/06/typing-judgment-rules-14/">http://cleantypecheck.wordpress.com/2012/06/06/typing-judgment-rules-14/</a><br><br>Now before I start to implement these rules in HTE, I need to make sure of their validity. Therefore, I&#39;d highly appreciate if experts would take a closer look at these judgement rules and comment.<br>
<br>Considering the fact that HTE is a Google SoC project and me being just a motivated student (limited knowledge/experience), the success of this project strongly relies on Haskell community&#39;s support.   <br><br>Thanks!<br>
<br>/Shayan<br><br>[1]<a href="http://www.google-melange.com/gsoc/project/google/gsoc2012/shayannajd/18001">http://www.google-melange.com/gsoc/project/google/gsoc2012/shayannajd/18001</a><br>[2] <a href="http://cleantypecheck.wordpress.com/2012/05/03/kickoff/">http://cleantypecheck.wordpress.com/2012/05/03/kickoff/</a><br>
[3] <span style="font-family:Arial,&#39;Helvetica Neue&#39;,Helvetica,sans-serif;font-size:12px;line-height:18px;background-color:rgb(255,255,255)">D. Vytiniotis, S. Peyton Jones, T. Schrijvers, M. Sulzmann. OutsideIn(X) – Modular type inference with local assumptions</span><br>
[4] <span style="font-family:Arial,&#39;Helvetica Neue&#39;,Helvetica,sans-serif;font-size:12px;line-height:18px;background-color:rgb(255,255,255)">S. Peyton Jones, D. Vytiniotis, S. Weirich, and M. Shields. Practical type inference for arbitrary-rank types.</span>