Ssreflect Users Discussion List

[Christian Doczkal <>]

Hi Emilio,

> I don't remember now if Chromium 59 was using the "ignition" js engine,
> you may try to use the command line flag:
> 
> --js-flags="--harmony-tailcalls"
> 
> and see if that improves your problem, otherwise, enabling
> chrome://flags/#enable-javascript-harmony may definitively help.

> Let me know what the outcome was. Also, Firefox seems to work a bit
> better some times.

Enabling harmony I now get the same Errors "(x) Stack overflow" in both
Firefox-54 and Chromium. Indeed, I only tried Chromium because Firefox
produced some UI glitches and was throwing the aforementioned errors
when using Search.

>> Is this some problem with my browser(s) or can this be remedied somehow?
>> Failing that, what other Tutorials would you recommend to introduce
>> people to MathComp?
> 
> I think this is a bug of the slides in that they don't enable the proper
> package, try clicking on math-comp in the package manager (before
> running any command) and that should work.

Thanks, this works.

Best,
Christian