diff options
author | Griffin Smith <grfn@gws.fyi> | 2021-03-20T19·11-0400 |
---|---|---|
committer | glittershark <grfn@gws.fyi> | 2021-03-20T20·20+0000 |
commit | e7033bd8b066c8f4163a4f6aa618a39d8110dc6c (patch) | |
tree | db56bc1e6072cec5a0f09ae23b1b26399189d1f9 /LICENSE | |
parent | e2a3aea4516425ddb2022a85a3d492c605f910d4 (diff) |
fix(gs/achilles): Get rid of universalization step r/2295
The step of "universalizing" function expressions was conflicting with top-level ascriptions for polymorphic function declarations: universalization generates universal type variables, and top-level polymorphic ascription *also* generates universal type variables, and the two were conflicting with each other when unifying. Let's just get rid of this now, and we can bring it back in a more principled manner once we do actual let-generalization (which there's still an ignored test case for) Change-Id: Idc08c8cb5ac92d1e6e1e63c9b8729176cab73f44 Reviewed-on: https://cl.tvl.fyi/c/depot/+/2616 Tested-by: BuildkiteCI Reviewed-by: glittershark <grfn@gws.fyi>
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions