| changeset 61925 | ab52f183f020 |
| parent 61924 | 55b3d21ab5e5 |
| child 61926 | 17ba31a2303b |
| 61924:55b3d21ab5e5 | 61925:ab52f183f020 |
|---|---|
1 (* Title: Pure/ML-Systems/ml_stack_dummy.ML |
|
2 |
|
3 Maximum stack size (in words) for ML threads -- dummy version. |
|
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 (_: int option) : Thread.threadAttribute list = []; |
|
15 |
|
16 end; |