hegel icon indicating copy to clipboard operation
hegel copied to clipboard

It should be possible to refine Soft typed variables when mutating ?

Open leunam217 opened this issue 5 years ago • 1 comments

Hi I wander why this is not possible imagen try

It's a pity that this is not supported as is very common. For example : imagen By the way the current type of prototype is unknown but I think that {...} it's more accurate. Is possible to do it in refinement phase ?

leunam217 avatar Aug 21 '20 13:08 leunam217

It seems like really hard task. I will try to find some solution, but i don’t think, that we will find something strict and easy to use. Thank you for your contribution. You are awesome ^_^

JSMonk avatar Sep 06 '20 21:09 JSMonk