[Ur] [Ur/Web Ffi: JavaScript]

[Artyom Shalkhakov]

Hello Jeevjyot,

2017-04-25 9:54 GMT+06:00 Jeevjyot Chhabda <jeevsingh at mail.fresnostate.edu>:
> Greetings all,
>
> I am developing an application in Ur/Web which requires good amount of javascript code. I would like to warn/ throw an error during the compile time when the user doesn’t set the right configuration in javascript? Is it possible to throw compile time error through javascript code?
> I would like to take the benefit of the compilation of the web app.
>

I guess the only way to achieve what you want is to ascribe some very
strict types to functions/types implemented in JS.

What kind of errors do you have in mind?

> Any suggestions would be useful!
>
> thanks,
>
> Jeevjyot
> _______________________________________________
> Ur mailing list
> Ur at impredicative.com
> http://www.impredicative.com/cgi-bin/mailman/listinfo/ur



-- 
Cheers,
Artyom Shalkhakov