-
-
Replying to @puffnfresh
@puffnfresh@raichoo so is the problem that the current JS AST doesn't maintain position attributes?1 reply 0 retweets 0 likes -
This Tweet is unavailable.
-
-
This Tweet is unavailable.
-
Replying to @raichoo
@raichoo@puffnfresh it just sucks when runtime errors refer to locations in the inscrutable mess that is the generated JS2 replies 0 retweets 0 likes -
This Tweet is unavailable.
-
Replying to @raichoo
@raichoo@puffnfresh there's no compiler bug that I know of... I was referring to partiality in your Idris code, e.g. pattern match failures1 reply 0 retweets 0 likes -
Replying to @pelotom
@pelotom@raichoo@puffnfresh We can put that back in the runtime error messages easily enough.1 reply 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady@raichoo@puffnfresh that would be great! does that mean the AST does have access to location information?1 reply 0 retweets 0 likes
@pelotom @raichoo @puffnfresh The AST does but it's discarded before compilation. But the pattern match compiler knows what it's building.
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.