Merge pull request #3494 from haritonch/patch-1

[SML/en] Added a comment to better demonstrate custom datatypes
This commit is contained in:
Divay Prakash 2019-03-21 00:55:40 +05:30 committed by GitHub
commit 45a3087c62
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -272,6 +272,9 @@ fun evenly_positioned_elems (odd::even::xs) = even::evenly_positioned_elems xs
datatype temp = datatype temp =
C of real C of real
| F of real | F of real
(* Declaring a new C temp value...
val t: temp = C 45.0 *)
fun temp_to_f t = fun temp_to_f t =
case t of case t of