search

JSMonk / hegel

An advanced static type checker
https://hegel.js.org
MIT License
2.09k stars 59 forks source link

Using tagged templates results in no error reported #105

Closed srg-kostyrko closed 4 years ago

srg-kostyrko commented 4 years ago

As soon as tagged template is used hegel stops returning error information.

For example 

// Error: Type "'1'" is incompatible with type "number"
1 + '1';

With tagged template

// no errors at all
1 + '1';
a``;

Type inference seems to work, so the problem should be at error checking.

If I run CLI against file with such code I see only TaggedTemplateExpression in output.

JSMonk commented 4 years ago

Oh, okay. It seems like Hegel doesn't work with TaggedTemplateExpression. We will fix it soon. Thank you for your contribution ^_^.

JSMonk commented 4 years ago

Fixed in 0.0.43 release. Thank you for the contribution ^_^.