Trees that Grow in the hsSyn AST

2017-05-24 Thread Alan & Kim Zimmerman
Hi all You may be aware that Shayan Najd presented the paper "Trees that Grow"[1] at HIW last year. Based on the following mandate > As in my previous email to Shayan (attached). Wiki page, describe goals, design, > approach. Point to prototype implementation. Seek comments. You can say

Re: Type class instances in scope

2017-05-24 Thread Edward Z. Yang
Hi Tom, Here is what I was thinking when I made the suggestion: 1. Determine the transitive set of 'Module' that you need to load 2. Load each one using 'loadInterface' So, there are a few problems with your code below: - For external packages, it's sufficient to use 'loadInterface' to load