ct-gradual-typing / Papers

The Combination of Dynamic and Static Typing from a Categorical Perspective
10 stars 0 forks source link

Pretty Printing Issue with TypeErrors #19

Closed michaelto20 closed 8 years ago

michaelto20 commented 8 years ago

Dr. Eades,

When you get a second will you look at the latest push to the branch? It won't compile because of a change I made to the TypeErrors module. However, I can't understand why this doesn't work. I'm trying to use the prettyTerm function which returns anLFreshM String, I'm trying to get the string back and use it in the error message but for some reason it won't work. Can you shed some light as to why?