Update language-java dependency to 0.2.6
This version is required for the Java backend to emit correct char and string
literals in nonprinting and/or nonascii cases.
commit61281ef757b9a38db849178993295c91cd1b4042
authorMelvar Chen <Melvar.Chen@googlemail.com>
dateMon 25 Nov 2013, 17:51 (13 years ago)
parent9857679
idris.cabal+1−1
@@ -390,7 +390,7 @@ Executable idris
390390 , directory >= 1.2
391391 , filepath
392392 , haskeline >= 0.7
393− , language-java >= 0.2.2
393+ , language-java >= 0.2.6
394394 , mtl
395395 --, parsec >= 3
396396 , parsers == 0.9