equal
deleted
inserted
replaced
249 |
249 |
250 * ML antiquotations @{theory} and @{theory_ref} refer to named |
250 * ML antiquotations @{theory} and @{theory_ref} refer to named |
251 theories from the ancestry of the current context, not any accidental |
251 theories from the ancestry of the current context, not any accidental |
252 theory loader state as before. Potential INCOMPATIBILITY, subtle |
252 theory loader state as before. Potential INCOMPATIBILITY, subtle |
253 change in semantics. |
253 change in semantics. |
|
254 |
|
255 * Parallel and asynchronous execution requires special care concerning |
|
256 interrupts. Structure Exn provides some convenience functions that |
|
257 avoid working directly with raw Interrupt. User code must not absorb |
|
258 interrupts -- intermediate handling (for cleanup etc.) needs to be |
|
259 followed by re-raising of the original exception. Another common |
|
260 source of mistakes are "handle _" patterns, which make the meaning of |
|
261 the program subject to physical effects of the environment. |
254 |
262 |
255 |
263 |
256 *** System *** |
264 *** System *** |
257 |
265 |
258 * Discontinued support for Poly/ML 5.0 and 5.1 versions. |
266 * Discontinued support for Poly/ML 5.0 and 5.1 versions. |