From 0d8ac0da0589a6212751f68f376f914d113be6e4 Mon Sep 17 00:00:00 2001
From: Jesse Brault <jbrault@mac.com>
Date: Tue, 26 Nov 2024 09:38:49 -0600
Subject: [PATCH] Remove need for curly braces in lua code.

---
 sketching/hkt.dm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/sketching/hkt.dm b/sketching/hkt.dm
index af10216..5fea200 100644
--- a/sketching/hkt.dm
+++ b/sketching/hkt.dm
@@ -44,8 +44,8 @@ pub int File {
 
 #target[lua]
 impl LuaFile(name: String, fld file: LuaObject) : File {
-    impl fn read_data() = lua {% ${file}.readAll() %}
-    impl fn close() = lua {% ${file}.close() %}
+    impl fn read_data() = lua {% $file.readAll() %}
+    impl fn close() = lua {% $file.close() %}
 }
 
 #target[lua]