search

lancelote / sml-test

Bare-bones Standard ML test runner
MIT License
1 stars 0 forks source link

Catch warnings #11

Open lancelote opened 3 years ago

lancelote commented 3 years ago

E.g.

datatype myType = TwoInts of int * int
                | Str of string
                | Pizza

fun f x = (* mytype -> int *)
    case x of
        Pizza => 3
      | TwoInts (i1, i2) => i1 + i2
      (*| Str s => String.size s*)

val test_1 = f Pizza = 3