-
Notifications
You must be signed in to change notification settings - Fork 11
/
2.5.sml
12 lines (12 loc) · 626 Bytes
/
2.5.sml
1
2
3
4
5
6
7
8
9
10
11
12
fun validate (d:int, m:string) = (m = "Jan" andalso d > 1 andalso d < 31) orelse
(m = "Feb" andalso d > 1 andalso d < 28) orelse
(m = "Mar" andalso d > 1 andalso d < 31) orelse
(m = "Apr" andalso d > 1 andalso d < 30) orelse
(m = "May" andalso d > 1 andalso d < 31) orelse
(m = "Jun" andalso d > 1 andalso d < 30) orelse
(m = "Jul" andalso d > 1 andalso d < 31) orelse
(m = "Aug" andalso d > 1 andalso d < 31) orelse
(m = "Sep" andalso d > 1 andalso d < 30) orelse
(m = "Oct" andalso d > 1 andalso d < 31) orelse
(m = "Nov" andalso d > 1 andalso d < 30) orelse
(m = "Dec" andalso d > 1 andalso d < 31);