Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- val is_older_t =
- [ is_older (d1,d2) = true
- , is_older (d2,d1) = false
- , is_older (d1,d1) = false
- , is_older (d3,d2) = true
- , is_older (d2,d3) = false
- , is_older (d4,d1) = true
- ]
- fun run () =
- [ checkOne NONE ("check is_older", List.all (fn x => x)) is_older_t
- ]
- -------------------------------
- Function applied to incorrect argument.
- expects: _ * [??? prop]
- but got: _ * [bool list -> bool]
- in: (checkOne NONE) ("check is_older" ... (fn (x) => (x)) ts))
- compilation aborted: parseAndElaborate reported errors
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement