François Pottier
François Pottier
Thanks Emilio. Interesting workaround, which I don't fully understand: doesn't the fact that `trampoline` itself is tail-recursive still create a problem? -- Oh, I see, this pattern is recognized by...
Does anyone have a suggestion to fix this problem? It's now exposed on the public site.
Indeed, I may have asked for a larger font.
Hi Aliya, thanks for your comment. You are right, it is possible to look up a value and insist that its type must be polymorphic, as follows: ``` T.lookup_student [%ty...
Indeed, this works. Great! It would be nice if this trick could be documented somewhere. Other than that, I believe that this issue can be closed.
Good suggestion (thanks!) but no, the attribute appears to be ignored. (I have placed `[@@@ocaml.warning "+A"]` at the very beginning of `test.ml`.) I don't know why -- perhaps because this...
If `run_timeout` does not work as advertised, this should be documented (for now). Ideally, though, it should be fixed -- we want to be protected against inefficient or non-terminating student...
Hear, hear! I was just about to ask for this feature.
Regarding functions in `Prelude` and `Prepare`, is it permitted for the code in `test.ml` to refer to these functions by their full (qualified) names? That would allow Merlin to work...
Has there been any progress? I am still bothered by the lack of these modules, especially `Lazy`, `Queue`, and `Stack`.