Took me a minute or two! Technically these are both string coercion?
-
Here's an example! https://github.com/ocharles/what-it-do … - just seems to be a syntax thingo though, not actually extending the typechecker. But I guess the overloaded strings thing is just a syntax thingo anyway (just wraps literals in calls to `fromString`).
-
-
Nah, I think this is more run after parsing and before type checking. Possibly before/after desugaring.
-
That Readme claims it has access to the type checker and can know if any expression has an instance of show
- 1 more reply
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.