git.iko.soy/Idris-dev
on master help sign in
Fix for language-java 0.2.7
commitae55c561355224b7ab7aef28255142facfcc0356 authorRyanGlScott <ryan.gl.scott@ku.edu> dateWed 10 Sep 2014, 20:53 (12 years ago) parent52407a9
2 files changed+2−2
compare with master
unifiedsplit
idris.cabal+1−1 src/IRTS/Java/ASTBuilding.hs+1−1
idris.cabal+1−1
@@ -680,7 +680,7 @@ Library
680680 , filepath
681681 , fingertree >= 0.1
682682 , haskeline >= 0.7
683− , language-java >= 0.2.6
683+ , language-java >= 0.2.7
684684 , lens >= 4.1.1
685685 , mtl
686686 , parsers >= 0.9 && < 0.13
src/IRTS/Java/ASTBuilding.hs+1−1
@@ -60,7 +60,7 @@ localVar i = Ident $ "loc" ++ show i
6060
6161(@!) :: Exp -> Int -> ArrayIndex
6262(@!) target pos =
63− ArrayIndex target (Lit $ Int (toInteger pos))
63+ ArrayIndex target [Lit $ Int (toInteger pos)]
6464
6565(@:=) :: Either ArrayIndex Ident -> Exp -> BlockStmt
6666(@:=) (Right lhs) rhs =