diff --git a/module/mescc/compile.scm b/module/mescc/compile.scm
index 06d5dc24..1b6dfc46 100644
--- a/module/mescc/compile.scm
+++ b/module/mescc/compile.scm
@@ -1215,8 +1215,14 @@
            (append-text info (wrap-as (as info 'not-r)))))
         ((bitwise-or ,a ,b) ((binop->r info) a b 'r0-or-r1))
         ((bitwise-xor ,a ,b) ((binop->r info) a b 'r0-xor-r1))
-        ((lshift ,a ,b) ((binop->r info) a b 'r0<<r1))
-        ((rshift ,a ,b) ((binop->r info) a b 'r0>>r1))
+        ((lshift ,a ,b) ;; FIXME for all binop/binop*?
+         (let* ((type-a (ast->type a info))
+                (info ((binop->r info) a b 'r0<<r1)))
+           (append-text info (convert-r0 info type-a))))
+        ((rshift ,a ,b) ;; FIXME for all binop/binop*?
+         (let* ((type-a (ast->type a info))
+                (info ((binop->r info) a b 'r0>>r1)))
+           (append-text info (convert-r0 info type-a))))
         ((div ,a ,b)
          ((binop->r info) a b 'r0/r1
           (signed? (ast->type a info))))