search

ct-gradual-typing / Papers

The Combination of Dynamic and Static Typing from a Categorical Perspective
10 stars 0 forks source link

Split and Squash need type annotations #30

Closed heades closed 7 years ago

heades commented 7 years ago

Currently, in the implementation we have:

split : ? -> (? -> ?) squash : (? -> ?) -> ?

but we now need to change these to:

split S : ? -> S squash S : S -> ?

where S is either ? -> ? or ? x ?.

michaelto20 commented 7 years ago

Implemented and pushed

heades commented 7 years ago

I am not seeing the commit. You sure that you pushed?

michaelto20 commented 7 years ago

just went to push it and I thought I had checked to make sure I was current on the loadfile branch. Turns out I was a commit behind. Having to fix some conflicts so I can pull the changes, merge and then push up.

michaelto20 commented 7 years ago

Officially pushed now.

On Mon, Dec 26, 2016 at 8:45 PM, Harley D. Eades III < notifications@github.com> wrote:

I am not seeing the commit. You sure that you pushed?

— You are receiving this because you modified the open/close state. Reply to this email directly, view it on GitHub https://github.com/heades/gradual-typing/issues/30#issuecomment-269256466, or mute the thread https://github.com/notifications/unsubscribe-auth/AEqTwKoWTTv8LRXBIPWjn8NeN50OLyGTks5rMG23gaJpZM4LVDH3 .