sql: implicitly convert int<->decimal, require explicit cast for float<->decimal
commit044a667ee283394fd0105f0fd72b219fabf0150e
authorygrek <ygrek@autistici.org>
Fri, 19 Aug 2022 14:31:44 +0000 (19 10:31 -0400)
committerygrek <ygrek@autistici.org>
Fri, 19 Aug 2022 14:31:44 +0000 (19 10:31 -0400)
treee5d7b9817d0a696a2ab8bf649c19161612e46583
parent7badaf1981ef7c339d026df304cc6f6d4cfa82e3
sql: implicitly convert int<->decimal, require explicit cast for float<->decimal

close #112
lib/sql.ml
test/out/types.xml
test/types.sql