git.iko.soy/Idris-dev
on master help sign in
javascript: string length
c663f57raichoo
src/IRTS/CodegenJavaScript.hs+2
compare with master
unifiedsplit
@@ -321,6 +321,8 @@ translateExpression _ (SOp op vars)
321 , (lhs:rhs:_) <- vars = translateBinaryOp "==" lhs rhs
321 , (lhs:rhs:_) <- vars = translateBinaryOp "==" lhs rhs
322 | LStrLt <- op
322 | LStrLt <- op
323 , (lhs:rhs:_) <- vars = translateBinaryOp "<" lhs rhs
323 , (lhs:rhs:_) <- vars = translateBinaryOp "<" lhs rhs
324+ | LStrLen <- op
325+ , (arg:_) <- vars = translateVariableName arg ++ ".length"
324
326
325 | LStrInt <- op
327 | LStrInt <- op
326 , (arg:_) <- vars = "parseInt(" ++ translateVariableName arg ++ ")"
328 , (arg:_) <- vars = "parseInt(" ++ translateVariableName arg ++ ")"