equal
deleted
inserted
replaced
1192 depending on the ML platform). |
1192 depending on the ML platform). |
1193 |
1193 |
1194 \item @{ML ML_Compiler.exn_trace}~@{ML_text "(fn () =>"}~@{text |
1194 \item @{ML ML_Compiler.exn_trace}~@{ML_text "(fn () =>"}~@{text |
1195 "e"}@{ML_text ")"} evaluates expression @{text "e"} while printing |
1195 "e"}@{ML_text ")"} evaluates expression @{text "e"} while printing |
1196 a full trace of its stack of nested exceptions (if possible, |
1196 a full trace of its stack of nested exceptions (if possible, |
1197 depending on the ML platform).} |
1197 depending on the ML platform). |
1198 |
1198 |
1199 Inserting @{ML ML_Compiler.exn_trace} into ML code temporarily is |
1199 Inserting @{ML ML_Compiler.exn_trace} into ML code temporarily is |
1200 useful for debugging, but not suitable for production code. |
1200 useful for debugging, but not suitable for production code. |
1201 |
1201 |
1202 \end{description} |
1202 \end{description} |