tim: Tim with short hair, smiling, wearing a black jacket over a white T-shirt (Default)
[personal profile] tim
Today I mostly just checked in code that had been sitting in my repo waiting for the tree to be un-frozen...

...and it is un-frozen, because we released! If you really want to for some reason, you could read the Hacker News thread or Reddit thread.

I fixed the three related bugs having to do with constants and discriminator exprs; fixed another bug where the fix was to change resolve so that structs can't capture type parameters; and fixed this bug where the code in trans that normalizes types was interacting with the type substitution code badly. And that's all I feel like saying right now. Oh, and I did a code review (and totally forgot to ask for reviews before checking in any of my own code. Hopefully publicly shaming myself will encourage me to do it next time.
Anonymous( )Anonymous This account has disabled anonymous posting.
OpenID( )OpenID You can comment on this post while signed in with an account from many other sites, once you have confirmed your email address. Sign in using OpenID.
User (will be screened if not on Access List)
Account name:
If you don't have an account you can create one now.
HTML doesn't work in the subject.


Notice: This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.


tim: Tim with short hair, smiling, wearing a black jacket over a white T-shirt (Default)
Tim Chevalier

April 2016

3 456789
10 111213 141516

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags