| 241 | | where |
| 242 | | isSIMPLE x = case unwrap x of |
| 243 | | App (Var var) Nothing [y] |
| 244 | | | C_prefix <- v_categ var |
| 245 | | -> var `Set.member` coercePrefixOps |
| 246 | | || (var `Set.member` simplePrefixOps && isSIMPLE y) |
| 247 | | | C_postfix <- v_categ var |
| 248 | | -> var `Set.member` simplePostfixOps && isSIMPLE y |
| 249 | | App (Var var) (Just y) [] |
| 250 | | | C_prefix <- v_categ var |
| 251 | | -> var `Set.member` coercePrefixOps |
| 252 | | || (var `Set.member` simplePrefixOps && isSIMPLE y) |
| 253 | | | C_postfix <- v_categ var |
| 254 | | -> var `Set.member` simplePostfixOps && isSIMPLE y |
| 255 | | App (Var var) Nothing [x, y] |
| 256 | | | C_infix <- v_categ var |
| 257 | | -> var `Set.member` simpleInfixOps && isSIMPLE x && isSIMPLE y |
| 258 | | App (Var var) (Just x) [y] |
| 259 | | | C_infix <- v_categ var |
| 260 | | -> var `Set.member` simpleInfixOps && isSIMPLE x && isSIMPLE y |
| 261 | | _ -> isScalarLValue x |