git.iko.soy/Idris-dev
on master help sign in
Fix for language-java 0.2.7
ae55c56RyanGlScott
idris.cabal+1−1
compare with master
unifiedsplit
@@ -680,7 +680,7 @@ Library
680 , filepath
680 , filepath
681 , fingertree >= 0.1
681 , fingertree >= 0.1
682 , haskeline >= 0.7
682 , haskeline >= 0.7
683− , language-java >= 0.2.6
683+ , language-java >= 0.2.7
684 , lens >= 4.1.1
684 , lens >= 4.1.1
685 , mtl
685 , mtl
686 , parsers >= 0.9 && < 0.13
686 , parsers >= 0.9 && < 0.13
src/IRTS/Java/ASTBuilding.hs+1−1
@@ -60,7 +60,7 @@ localVar i = Ident $ "loc" ++ show i
60
60
61(@!) :: Exp -> Int -> ArrayIndex
61(@!) :: Exp -> Int -> ArrayIndex
62(@!) target pos =
62(@!) target pos =
63− ArrayIndex target (Lit $ Int (toInteger pos))
63+ ArrayIndex target [Lit $ Int (toInteger pos)]
64
64
65(@:=) :: Either ArrayIndex Ident -> Exp -> BlockStmt
65(@:=) :: Either ArrayIndex Ident -> Exp -> BlockStmt
66(@:=) (Right lhs) rhs =
66(@:=) (Right lhs) rhs =