Advertisement
tinyevil

Untitled

Feb 26th, 2018
168
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.25 KB | None | 0 0
  1. type Expr
  2. Var
  3. Abs Type Expr
  4. App Expr Expr
  5. ...
  6.  
  7. -- want to attach SourceLoc to each constructor
  8.  
  9. type ExprWithLoc (> Expr)
  10. + SourceLoc
  11.  
  12. -- is equivalent to
  13. Var SourceLoc
  14. Abs Type Expr SourceLoc
  15. App Expr Expr SourceLoc
  16. ...
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement