ychr-0.1.0.0: test/golden/arith_int_float_mismatch/arith_int_float_mismatch.chr
:- module(arith_int_float_mismatch, [t/1]). :- use_module(prelude). :- chr_constraint t/1. t(R) <=> R is 1 + 1.0.
:- module(arith_int_float_mismatch, [t/1]). :- use_module(prelude). :- chr_constraint t/1. t(R) <=> R is 1 + 1.0.