From 1d35d3c0780b1f5392517fe3c1e30950de79efb4 Mon Sep 17 00:00:00 2001 From: Rose Hogenson Date: Sat, 27 Apr 2024 07:44:47 -0700 Subject: Add tests for let. --- codegen.sml | 2 +- tests/05-let.sml | 4 ++++ tests/06-let-multiple.sml | 6 ++++++ 3 files changed, 11 insertions(+), 1 deletion(-) create mode 100644 tests/05-let.sml create mode 100644 tests/06-let-multiple.sml diff --git a/codegen.sml b/codegen.sml index befedac..c7f0f2d 100644 --- a/codegen.sml +++ b/codegen.sml @@ -124,7 +124,7 @@ struct foldl (fn (off, (arg, ops)) => (Syntax.VVar tempReg, Syntax.OPeek (tempReg, off, translateVal arg) :: ops)) - (arg, []) + (translateVal arg, []) path in rev (Syntax.OPoke (i, translate res, temp) :: ops) end) diff --git a/tests/05-let.sml b/tests/05-let.sml new file mode 100644 index 0000000..d1c27f5 --- /dev/null +++ b/tests/05-let.sml @@ -0,0 +1,4 @@ +val _ = + let val x = 42 in + __builtin "exit" x + end diff --git a/tests/06-let-multiple.sml b/tests/06-let-multiple.sml new file mode 100644 index 0000000..47441ac --- /dev/null +++ b/tests/06-let-multiple.sml @@ -0,0 +1,6 @@ +val _ = + let + val x = 42 + val y = x + in __builtin "exit" y + end -- cgit v1.3.1