@@ -145,26 +145,27 @@ data DataFlavour = QQ | Plain
145145-- TODO: improve after moving some XML types to xml-isogen
146146simpleTypeToIsoType :: DataFlavour -> SimpleAtomicType -> Text
147147simpleTypeToIsoType fl = \case
148− STAnyURI -> wrap fl "Text"
149− STBase64Binary -> wrap fl "ByteString"
150− STBoolean -> wrap fl "Bool"
151− STDate -> wrap fl "Date \"%YYYYj\""
152− STDateTime -> wrap fl "Text"
153− STDateTimeStamp -> wrap fl "Text"
154− (STDecimal _) -> wrap fl "Integer"
155− STDouble -> wrap fl "Double"
156− (STDuration _) -> wrap fl "Integer"
157− STFloat -> wrap fl "Float"
158− STGDay -> wrap fl "Day"
159− STGMonth -> wrap fl "Text"
160− STGMonthDay -> wrap fl "Text"
161− STGYear -> wrap fl "Text"
162− STGYearMonth -> wrap fl "Text"
163− STHexBinary -> wrap fl "Text"
164− STNOTATION -> wrap fl "Text"
165− STQName -> wrap fl "Text"
166− (STString _) -> wrap fl "Text"
167− STTime -> wrap fl "Text"
148+ STAnyURI -> wrap fl "Text"
149+ STBase64Binary -> wrap fl "ByteString"
150+ STBoolean -> wrap fl "Bool"
151+ STDate -> wrap fl "Date \"%YYYYj\""
152+ STDateTime -> wrap fl "Text"
153+ STDateTimeStamp -> wrap fl "Text"
154+ STDecimal DTDecimal -> wrap fl "Double"
155+ (STDecimal _) -> wrap fl "Integer"
156+ STDouble -> wrap fl "Double"
157+ (STDuration _) -> wrap fl "Integer"
158+ STFloat -> wrap fl "Float"
159+ STGDay -> wrap fl "Day"
160+ STGMonth -> wrap fl "Text"
161+ STGMonthDay -> wrap fl "Text"
162+ STGYear -> wrap fl "Text"
163+ STGYearMonth -> wrap fl "Text"
164+ STHexBinary -> wrap fl "Text"
165+ STNOTATION -> wrap fl "Text"
166+ STQName -> wrap fl "Text"
167+ (STString _) -> wrap fl "Text"
168+ STTime -> wrap fl "Text"
168169 where
169170 wrap QQ t = "[t|" <> t <> "|]"
170171 wrap Plain t = t