Skip to content

Commit 27e9a7b

Browse files
committed
bug fix
1 parent 156734c commit 27e9a7b

File tree

2 files changed

+2
-4
lines changed

2 files changed

+2
-4
lines changed

hs-src/Language/Egison/Parser.hs

+1-1
Original file line numberDiff line numberDiff line change
@@ -781,7 +781,7 @@ egisonDef =
781781

782782
symbol0 = oneOf "^"
783783
symbol1 = oneOf "+-*/.=∂∇"
784-
symbol2 = symbol1 <|> oneOf "'!?"
784+
symbol2 = symbol1 <|> oneOf "'!?₀₁₂₃₄₅₆₇₈₉"
785785

786786
lexer :: P.GenTokenParser String () Identity
787787
lexer = P.makeTokenParser egisonDef

hs-src/Language/Egison/Types.hs

+1-3
Original file line numberDiff line numberDiff line change
@@ -805,9 +805,7 @@ tIndex (Tensor _ _ js) = js
805805
tIndex (Scalar _) = []
806806

807807
tIntRef' :: HasTensor a => Integer -> Tensor a -> EgisonM a
808-
tIntRef' i (Tensor [ary] xs _) = let n = fromIntegral (length [ary]) in
809-
if (0 < i) && (i <= (n + 3)) then fromTensor $ Scalar $ xs V.! fromIntegral (i - 1)
810-
else throwError $ TensorIndexOutOfBounds i (n + 3)
808+
tIntRef' i (Tensor [_] xs _) = fromTensor $ Scalar $ xs V.! (fromIntegral (i - 1))
811809
tIntRef' i (Tensor (n:ns) xs js) =
812810
if (0 < i) && (i <= n)
813811
then let w = fromIntegral (product ns) in

0 commit comments

Comments
 (0)