Advertisement
bkerby

Untitled

Feb 6th, 2013
2,395
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. val is_older_t =
  2.   [ is_older (d1,d2) = true
  3.   , is_older (d2,d1) = false
  4.   , is_older (d1,d1) = false
  5.   , is_older (d3,d2) = true
  6.   , is_older (d2,d3) = false
  7.   , is_older (d4,d1) = true
  8.   ]
  9.  
  10. fun run () =
  11.   [ checkOne NONE ("check is_older", List.all (fn x => x)) is_older_t
  12.   ]
  13.  
  14. -------------------------------
  15.   Function applied to incorrect argument.
  16.     expects: _ * [??? prop]
  17.     but got: _ * [bool list -> bool]
  18.     in: (checkOne NONE) ("check is_older"  ...  (fn (x) => (x)) ts))
  19. compilation aborted: parseAndElaborate reported errors
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement