diff options
| author | David Pedersen <david.pdrsn@gmail.com> | 2013-12-05 12:34:04 +0100 |
|---|---|---|
| committer | David Pedersen <david.pdrsn@gmail.com> | 2013-12-05 12:34:04 +0100 |
| commit | acc2dda568ac3bad9173a1cf3f114905a102d893 (patch) | |
| tree | eeb27859b4d87211e3b839d3b5c6809b858440a7 /standard-ml.html.markdown | |
| parent | a03869362b5706345ecbb3783bd7f6173d12b698 (diff) | |
[standard-ml/en-en] align things a little
Diffstat (limited to 'standard-ml.html.markdown')
| -rw-r--r-- | standard-ml.html.markdown | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/standard-ml.html.markdown b/standard-ml.html.markdown index 547ca39b..9de31340 100644 --- a/standard-ml.html.markdown +++ b/standard-ml.html.markdown @@ -316,7 +316,7 @@ val x = raiseException "hello" handle Fail msg => msg (* We can pattern match in "handle" to make sure a specfic exception was raised, or grab the message *) val y = raiseException "..." handle Fail _ => "Fail was raised" - | Domain => "Domain was raised" + | Domain => "Domain was raised" (* y now has the value "Fail was raised" *) (* We can define our own exceptions like this *) |