http://ocaml.nopaste.dk 2018-05-26 daily 1.0 Error, query failed