git.iko.soy/Idris-dev
on master help sign in
Fix rendering of LChInt in Java backend
ea3b20aMelvar Chen
src/IRTS/Java/JTypes.hs+1
compare with master
unifiedsplit
@@ -218,6 +218,7 @@ opName x
218 | (LTrunc _ to) <- x = "LTrunc" ++ (suffixFor to)
218 | (LTrunc _ to) <- x = "LTrunc" ++ (suffixFor to)
219 | (LFloatInt to) <- x = "LFloatInt" ++ (suffixFor to)
219 | (LFloatInt to) <- x = "LFloatInt" ++ (suffixFor to)
220 | (LStrInt to) <- x = "LStrInt" ++ (suffixFor to)
220 | (LStrInt to) <- x = "LStrInt" ++ (suffixFor to)
221+ | (LChInt to) <- x = "LChInt" ++ (suffixFor to)
221 | otherwise = takeWhile ((/=) ' ') $ show x
222 | otherwise = takeWhile ((/=) ' ') $ show x
222 where
223 where
223 suffixFor (ITFixed nt) = show nt
224 suffixFor (ITFixed nt) = show nt