diff options
| author | Dan Goodliffe <dan@randomdan.homeip.net> | 2021-08-27 20:29:22 +0100 |
|---|---|---|
| committer | Dan Goodliffe <dan@randomdan.homeip.net> | 2021-08-27 20:29:22 +0100 |
| commit | 78f1da756eefb86f0e4fbf9182497893da64fb6f (patch) | |
| tree | 79b7adb771f27ff3fcbf745bd8aedf066c234cd2 | |
| parent | Fix parsing of date type (diff) | |
| download | mygrate-78f1da756eefb86f0e4fbf9182497893da64fb6f.tar.bz2 mygrate-78f1da756eefb86f0e4fbf9182497893da64fb6f.tar.xz mygrate-78f1da756eefb86f0e4fbf9182497893da64fb6f.zip | |
Fix type mapping of real/double
| -rw-r--r-- | lib/output/pq/typeMapper.cpp | 2 | ||||
| -rw-r--r-- | test/test-mapping.cpp | 12 |
2 files changed, 7 insertions, 7 deletions
diff --git a/lib/output/pq/typeMapper.cpp b/lib/output/pq/typeMapper.cpp index e49f707..02b0a4f 100644 --- a/lib/output/pq/typeMapper.cpp +++ b/lib/output/pq/typeMapper.cpp @@ -33,7 +33,7 @@ namespace MyGrate::Output::Pq { add(R"(bigint(\(\d+\))?( (un)?signed)?)"_r, "bigint"); add(R"((numeric|decimal)(\(\d+(,\d+)?\))?)"_r, ""); add(R"(float(\(\d+,\d+\))?)"_r, "float"); - add(R"((real|double( precision)?)(\(\d+,\d+\))?)"_r, "double"); + add(R"((real|double( precision)?)(\(\d+,\d+\))?)"_r, "real"); // https://dev.mysql.com/doc/refman/8.0/en/date-and-time-types.html add(R"(date)"_r, "date"); add(R"(datetime)"_r, "timestamp without time zone"); diff --git a/test/test-mapping.cpp b/test/test-mapping.cpp index 0ecc62f..9453638 100644 --- a/test/test-mapping.cpp +++ b/test/test-mapping.cpp @@ -80,12 +80,12 @@ BOOST_DATA_TEST_CASE(default_type_mapping, {"numeric(1)", "numeric(1)"}, {"float", "float"}, {"float(1,2)", "float"}, - {"real", "double"}, - {"real(1,2)", "double"}, - {"double", "double"}, - {"double(1,2)", "double"}, - {"double precision", "double"}, - {"double precision(1,2)", "double"}, + {"real", "real"}, + {"real(1,2)", "real"}, + {"double", "real"}, + {"double(1,2)", "real"}, + {"double precision", "real"}, + {"double precision(1,2)", "real"}, // https://dev.mysql.com/doc/refman/8.0/en/date-and-time-types.html {"date", "date"}, {"datetime", "timestamp without time zone"}, |