generalise exponent handling

camfort · Sep 16, 2024 · d146080 · d146080
1 parent 21c4eed
commit d146080
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/src/Language/Fortran/Repr/Eval/Value.hs b/src/Language/Fortran/Repr/Eval/Value.hs
@@ -272,6 +272,11 @@ evalBOp bop l r = do
         case (l', r') of
           (FSVInt li, FSVInt ri) ->
             pure $ MkFScalarValue $ FSVInt $ fIntBOpInplace (^) li ri
+          (FSVReal lr, FSVReal ri) ->
+            pure $ MkFScalarValue $ FSVReal $ fRealBOpInplace' exp exp lr ri
+              where
+                exp x y = x ** y
+          _ -> err $ ELazy "exponentiation: unsupported types"
 
       F.Concatenation  ->
         case (l', r') of