| changeset 62512 | 922e702ae8ca |
| parent 62500 | ff99681b3fd8 |
| parent 62511 | 93fa1efc7219 |
| child 62513 | 702085ca8564 |
| 62500:ff99681b3fd8 | 62512:922e702ae8ca |
|---|---|
1 (* Title: Pure/RAW/ml_stack_polyml-5.6.ML |
|
2 |
|
3 Maximum stack size (in words) for ML threads -- Poly/ML 5.6, or later. |
|
4 *) |
|
5 |
|
6 signature ML_STACK = |
|
7 sig |
|
8 val limit: int option -> Thread.threadAttribute list |
|
9 end; |
|
10 |
|
11 structure ML_Stack: ML_STACK = |
|
12 struct |
|
13 |
|
14 fun limit m = [Thread.MaximumMLStack m]; |
|
15 |
|
16 end; |