Fix tysens to make use of view.tys

es-meta / esmeta

ECMAScript Specification (ECMA-262) Metalanguage

BSD 3-Clause "New" or "Revised" License

175 stars 12 forks source link

Fix tysens to make use of view.tys #175

Closed doehyunbaek closed 11 months ago

doehyunbaek commented 11 months ago

Previously, views with split types were created but they were not used in callees. Also, actual return types were being ignored, so type-sensitive analysis was of no use.

This PR fixes these issues.