SML#用の小さいテスティングフレームワーク

ssunit.sml

datatype 'a result =
  Pass
| Failure of { Actual: 'a, Expected: 'a }
;

fun test [] = []
  | test (x::xs) =
    let
      val actual = (#Target x)()
      val expected = #Expected x
      fun test' x =
        if actual = expected then { Name = #Name x, Result = Pass }
        else { Name = #Name x, Result = Failure { Actual = actual, Expected = expected } }
    in
      test' x :: (test xs)
    end
;