Hello Jeevjyot, 2017-04-25 9:54 GMT+06:00 Jeevjyot Chhabda <jeevsi...@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@impredicative.com > http://www.impredicative.com/cgi-bin/mailman/listinfo/ur -- Cheers, Artyom Shalkhakov _______________________________________________ Ur mailing list Ur@impredicative.com http://www.impredicative.com/cgi-bin/mailman/listinfo/ur