test_source.vh (319B)
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21
-- TODO: Test overloading with `f`. -- TODO: Test casting from subsets of Real, upto Real. R = Real BinaryType = R -> R -> R (*) : BinaryType (+) : BinaryType (-) : BinaryType f : Real -> Real -> Real f a b = (1 + 1) * a + b -- 2a + b a : Nat a = 3 b : Int b = 1 - 8 -- -7 c : Real c = f (a + 1.0) (b - 0.0)
