Error: Float constant (type mismatch) in file type_system6.dl at line 15
FloatConv(1.0).
----------^-----
Error: Ambiguous constant (unable to deduce type) in file type_system6.dl at line 16
FloatConv(1 + 1.0) :- true.
----------^-----------------
Error: no valid overloads in file type_system6.dl at line 16
FloatConv(1 + 1.0) :- true.
----------^-----------------
Error: Float constant (type mismatch) in file type_system6.dl at line 16
FloatConv(1 + 1.0) :- true.
--------------^-------------
4 errors generated, evaluation aborted
