constrainttest.fs

[<EntryPoint>]
let main argv =
    let solveAndCatch con =
        try
            printf "%A\n\n" (solve con)
        with
            | TypeError s ->
                printf "%s" s
    let t1 = tTuple [freshtyvar () |> TVarExpr; tNumber]
    let t2 = tTuple [tUnit; freshtyvar () |> TVarExpr]
    let con1 = (t1 =~= t2) (lazy ("Tuples aren't equal"))
    solveAndCatch con1
    let con2 = (tUnit =~= tNumber) (lazy ("Clearly unit isn't the same type as a number"))
    solveAndCatch con2
    0 // return an integer exit code