Bump to latest simala version

smucclaw · Sep 23, 2024 · dfc233e · dfc233e
1 parent 474d301
commit dfc233e
Show file tree

Hide file tree

Showing 4 changed files with 9 additions and 10 deletions.
diff --git a/lib/haskell/cabal.project b/lib/haskell/cabal.project
@@ -31,7 +31,7 @@ source-repository-package
 source-repository-package
   type: git
   location: https://github.com/smucclaw/simala
-  tag: 85afeb86678a65d48bfac2bbb90306693d51582e
+  tag: 891511dd9a73f936ae1c0171fca26eec5f9e2d2c
 
 allow-newer:
   compact:*,

diff --git a/lib/haskell/natural4/src/LS/XPile/Simala/Transpile.hs b/lib/haskell/natural4/src/LS/XPile/Simala/Transpile.hs
@@ -52,7 +52,6 @@ import AnyAll.BoolStruct qualified as AA
 
 import LS.Log qualified as Log
 import LS.Renamer.Rules
-import Simala.Expr.Parser qualified as Simala
 import Simala.Expr.Render qualified as Simala
 import Simala.Expr.Type qualified as Simala
 
@@ -722,7 +721,7 @@ applySelector expr proj = Simala.Project expr proj
 
 mkLetIn :: Simala.Transparency -> Simala.Name -> Simala.Expr -> Simala.Expr -> Simala.Expr
 mkLetIn transparency name rhs nextExpr =
-  Simala.Let transparency name rhs nextExpr
+  Simala.Let (Simala.NonRec transparency name rhs) nextExpr
 
 mkFunction :: Simala.Transparency -> Simala.Name -> [Simala.Name] -> Simala.Expr -> Simala.Expr -> Simala.Expr
 mkFunction transparency name params rhs nextExpr =

diff --git a/lib/haskell/stack.yaml b/lib/haskell/stack.yaml
@@ -33,7 +33,7 @@ extra-deps:
   commit: a6d675bcbe1585fc652f95f60e0dec826a660646
 
 - github: smucclaw/simala
-  commit: 85afeb86678a65d48bfac2bbb90306693d51582e
+  commit: 891511dd9a73f936ae1c0171fca26eec5f9e2d2c
 
 - monad-validate-1.3.0.0
 - simple-smt-0.9.7

diff --git a/lib/haskell/stack.yaml.lock b/lib/haskell/stack.yaml.lock
@@ -51,14 +51,14 @@ packages:
 - completed:
     name: simala
     pantry-tree:
-      sha256: 6c17834a398a7be0b232366d2dcb546507526035670f6380645ec2b45e962b1b
-      size: 2422
-    sha256: 5cdfeaa37417aedf98972a667e9fd8776a4035b8d595166b2d249226c8f54e96
-    size: 16115
-    url: https://github.com/smucclaw/simala/archive/85afeb86678a65d48bfac2bbb90306693d51582e.tar.gz
+      sha256: 00e10b8f5b05ddfb12b90b1462c14048e8584cf451dd28962845eef3d30435dc
+      size: 3101
+    sha256: cd7b2287f2edcd237bcd54c2f3fd15de655a0415bce6b15430895b1ff48f1191
+    size: 18980
+    url: https://github.com/smucclaw/simala/archive/891511dd9a73f936ae1c0171fca26eec5f9e2d2c.tar.gz
     version: '0.1'
   original:
-    url: https://github.com/smucclaw/simala/archive/85afeb86678a65d48bfac2bbb90306693d51582e.tar.gz
+    url: https://github.com/smucclaw/simala/archive/891511dd9a73f936ae1c0171fca26eec5f9e2d2c.tar.gz
 - completed:
     hackage: monad-validate-1.3.0.0@sha256:eb6ddd5c9cf72ff0563cba604fa00291376e96138fdb4932d00ff3a99d66706e,2605
     pantry-tree: