diff options
| author | Masaya Tojo <masaya@tojo.tokyo> | 2024-08-30 01:30:38 +0900 |
|---|---|---|
| committer | Masaya Tojo <masaya@tojo.tokyo> | 2024-08-30 01:36:32 +0900 |
| commit | 5d7b567b752bf0ecc060c5636d6461ad34ad602e (patch) | |
| tree | 66072e04b04c2312536ffa6f79c78cd5ae2d3291 | |
| parent | 9238bb80e0f4518704b160fe16a04265edc80be4 (diff) | |
Fix infix->prefix procedure for the `(op x y)` case.
| -rw-r--r-- | qklib/infix.scm | 28 |
1 files changed, 15 insertions, 13 deletions
diff --git a/qklib/infix.scm b/qklib/infix.scm index 4715a3a..473aed5 100644 --- a/qklib/infix.scm +++ b/qklib/infix.scm @@ -82,19 +82,21 @@ expr)) (define (infix->prefix-1 expr ops) - (let ->prefix ((expr (replace-operators expr ops))) ;; all new conses - (define op (minimum-precedence expr)) - (cond ((operator? op) - (if (operator-left? op) - (let ((rev-expr (reverse! expr))) - (let-values (((rev-lst op+rev-rest) (break! (cut operator=? op <>) rev-expr))) - (let-values (((op rev-rest) (car+cdr op+rev-rest))) - (list (operator-symbol op) (->prefix (reverse! rev-rest)) (->prefix (reverse! rev-lst)))))) - (let-values (((lst op+rest) (break! (cut operator=? op <>) expr))) - (let-values (((op rest) (car+cdr op+rest))) - (list (operator-symbol op) (->prefix lst) (->prefix rest)))))) - ((single? expr) (car expr)) - (else expr)))) + (if (not (pair? expr)) + expr + (let ->prefix ((expr (cons (car expr) (replace-operators (cdr expr) ops)))) ;; all new conses + (define op (minimum-precedence (cdr expr))) + (cond ((operator? op) + (if (operator-left? op) + (let ((rev-expr (reverse! expr))) + (let-values (((rev-lst op+rev-rest) (break! (cut operator=? op <>) rev-expr))) + (let-values (((op rev-rest) (car+cdr op+rev-rest))) + (list (operator-symbol op) (->prefix (reverse! rev-rest)) (->prefix (reverse! rev-lst)))))) + (let-values (((lst op+rest) (break! (cut operator=? op <>) expr))) + (let-values (((op rest) (car+cdr op+rest))) + (list (operator-symbol op) (->prefix lst) (->prefix rest)))))) + ((single? expr) (car expr)) + (else expr))))) (define (single? x) (and (not (null? x)) |