json-ada
json-ada copied to clipboard
onox
An Ada 2012 library for parsing JSON
Unicode
As the RFC requires JSON files to be Unicode (and preferably UTF-8), is there a reason to not support Unicode? It makes the library unusable when strings are not latin1...
I found a situation that can be reproduced thus: ``` with JSON.Types; with JSON.Parsers; with Ada.Text_IO; use Ada.Text_IO; procedure Json_Bug is package Types is new JSON.Types (Long_Long_Integer, Float); package Parsers...
The crate fails to build with `violation of restriction "NO_IMPLEMENTATION_ASPECT_SPECIFICATION"`. This is because there are several `SPARK_Mode` aspect specifications, which are an implementation defined aspect, but with GNAT FSF `
