diff options
| author | Jason Gross | 2014-04-05 16:18:17 -0400 |
|---|---|---|
| committer | Pierre Boutillier | 2014-04-10 14:43:18 +0200 |
| commit | b7ac6edf68e7da87c5ff59307323a752e98532f2 (patch) | |
| tree | 1c626a197ba94e6ce660a871bb7a49e1de0e5399 /kernel/type_errors.mli | |
| parent | d464e101f4a26d26cc60d9edaa430cb131f85065 (diff) | |
Test case for 3164
Closed in 69c4d0fd7b8325187e8da697a9c283594047d.
I used [Timeout 2] to distinguish between stack overflow and immediate
return.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions