git.iko.soy/Idris-dev
on master help sign in
javascript: fixed bug introduced through primitive unification
bd6a5e4raichoo
src/IRTS/CodegenJavaScript.hs+33−32
compare with master
unifiedsplit
@@ -202,38 +202,6 @@ translateExpression (SApp True name vars) =
202
202
203translateExpression (SOp op vars)
203translateExpression (SOp op vars)
204 | LNoOp <- op = translateVariableName (last vars) ++ "/* NOOP */"
204 | LNoOp <- op = translateVariableName (last vars) ++ "/* NOOP */"
205− | (LPlus _) <- op
206− , (lhs:rhs:_) <- vars = translateBinaryOp "+" lhs rhs
207− | (LMinus _) <- op
208− , (lhs:rhs:_) <- vars = translateBinaryOp "-" lhs rhs
209− | (LTimes _) <- op
210− , (lhs:rhs:_) <- vars = translateBinaryOp "*" lhs rhs
211− | (LSDiv _) <- op
212− , (lhs:rhs:_) <- vars = translateBinaryOp "/" lhs rhs
213− | (LSRem _) <- op
214− , (lhs:rhs:_) <- vars = translateBinaryOp "%" lhs rhs
215− | (LEq _) <- op
216− , (lhs:rhs:_) <- vars = translateBinaryOp "==" lhs rhs
217− | (LLt _) <- op
218− , (lhs:rhs:_) <- vars = translateBinaryOp "<" lhs rhs
219− | (LLe _) <- op
220− , (lhs:rhs:_) <- vars = translateBinaryOp "<=" lhs rhs
221− | (LGt _) <- op
222− , (lhs:rhs:_) <- vars = translateBinaryOp ">" lhs rhs
223− | (LGe _) <- op
224− , (lhs:rhs:_) <- vars = translateBinaryOp ">=" lhs rhs
225− | (LAnd _) <- op
226− , (lhs:rhs:_) <- vars = translateBinaryOp "&" lhs rhs
227− | (LOr _) <- op
228− , (lhs:rhs:_) <- vars = translateBinaryOp "|" lhs rhs
229− | (LXOr _) <- op
230− , (lhs:rhs:_) <- vars = translateBinaryOp "^" lhs rhs
231− | (LSHL _) <- op
232− , (lhs:rhs:_) <- vars = translateBinaryOp "<<" rhs lhs
233− | (LASHR _) <- op
234− , (lhs:rhs:_) <- vars = translateBinaryOp ">>" rhs lhs
235− | (LCompl _) <- op
236− , (arg:_) <- vars = '~' : translateVariableName arg
237
205
238 | (LPlus (ATInt ITBig)) <- op
206 | (LPlus (ATInt ITBig)) <- op
239 , (lhs:rhs:_) <- vars = translateBinaryOp ".add(" lhs rhs ++ ")"
207 , (lhs:rhs:_) <- vars = translateBinaryOp ".add(" lhs rhs ++ ")"
@@ -275,6 +243,39 @@ translateExpression (SOp op vars)
275 | (LGe ATFloat) <- op
243 | (LGe ATFloat) <- op
276 , (lhs:rhs:_) <- vars = translateBinaryOp ">=" lhs rhs
244 , (lhs:rhs:_) <- vars = translateBinaryOp ">=" lhs rhs
277
245
246+ | (LPlus _) <- op
247+ , (lhs:rhs:_) <- vars = translateBinaryOp "+" lhs rhs
248+ | (LMinus _) <- op
249+ , (lhs:rhs:_) <- vars = translateBinaryOp "-" lhs rhs
250+ | (LTimes _) <- op
251+ , (lhs:rhs:_) <- vars = translateBinaryOp "*" lhs rhs
252+ | (LSDiv _) <- op
253+ , (lhs:rhs:_) <- vars = translateBinaryOp "/" lhs rhs
254+ | (LSRem _) <- op
255+ , (lhs:rhs:_) <- vars = translateBinaryOp "%" lhs rhs
256+ | (LEq _) <- op
257+ , (lhs:rhs:_) <- vars = translateBinaryOp "==" lhs rhs
258+ | (LLt _) <- op
259+ , (lhs:rhs:_) <- vars = translateBinaryOp "<" lhs rhs
260+ | (LLe _) <- op
261+ , (lhs:rhs:_) <- vars = translateBinaryOp "<=" lhs rhs
262+ | (LGt _) <- op
263+ , (lhs:rhs:_) <- vars = translateBinaryOp ">" lhs rhs
264+ | (LGe _) <- op
265+ , (lhs:rhs:_) <- vars = translateBinaryOp ">=" lhs rhs
266+ | (LAnd _) <- op
267+ , (lhs:rhs:_) <- vars = translateBinaryOp "&" lhs rhs
268+ | (LOr _) <- op
269+ , (lhs:rhs:_) <- vars = translateBinaryOp "|" lhs rhs
270+ | (LXOr _) <- op
271+ , (lhs:rhs:_) <- vars = translateBinaryOp "^" lhs rhs
272+ | (LSHL _) <- op
273+ , (lhs:rhs:_) <- vars = translateBinaryOp "<<" rhs lhs
274+ | (LASHR _) <- op
275+ , (lhs:rhs:_) <- vars = translateBinaryOp ">>" rhs lhs
276+ | (LCompl _) <- op
277+ , (arg:_) <- vars = '~' : translateVariableName arg
278+
278 | LStrConcat <- op
279 | LStrConcat <- op
279 , (lhs:rhs:_) <- vars = translateBinaryOp "+" lhs rhs
280 , (lhs:rhs:_) <- vars = translateBinaryOp "+" lhs rhs
280 | LStrEq <- op
281 | LStrEq <- op