HTE – v. Haskell 2010 at Github

You can find the code for HTE (v. Haskell 2010) at:

https://github.com/shayan-najd/HTE

You may read the previous posts about the architecture and design of HTE.

It has the following known issues:

  • Records are not supported yet! Soon, I will explain in more details. I am currently working on adding support for extensible records and variants. 
  • It relies on a name resolution process developed as a separate package (Haskell-Name-Exts). But, the code should still be entirely usable. 
  • The dependency analysis is too simplistic! A separate package will take care of it (Haskell-Dependency-Exts).
  • Just a basic interface
  • Bugs!

You may start from :

https://github.com/shayan-najd/HTE/blob/master/Language/Haskell/THIH/Typecheck/Load.hs

For example:

ghci> tcStringWithPrelude3 “data X = X; f y = X”

[("f","forall (t0 :: *) . t0 -> X")]

Feedback is more than welcome.

 

About these ads

About Shayan

Researcher/Programmer at Chalmers University of Technology
This entry was posted in Articles. Bookmark the permalink.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s