add test

anoma · Sep 26, 2023 · 74ddef2 · 74ddef2
1 parent 0cf9931
commit 74ddef2
Show file tree

Hide file tree

Showing 4 changed files with 18 additions and 0 deletions.
diff --git a/src/Juvix/Compiler/Internal/Translation/FromConcrete.hs b/src/Juvix/Compiler/Internal/Translation/FromConcrete.hs
@@ -113,7 +113,9 @@ buildLetMutualBlocks ss = nonEmpty' . mapMaybe nameToPreStatement $ scomponents
   where
     -- TODO buildDependencyInfoLet is repeating too much work when there are big nested lets
     depInfo = buildDependencyInfoLet ss
+
     scomponents :: [SCC Internal.Name] = buildSCCs depInfo
+
     statementsByName :: HashMap Internal.Name Internal.PreLetStatement
     statementsByName = HashMap.fromList (map mkAssoc (toList ss))
       where

diff --git a/test/Typecheck/Positive.hs b/test/Typecheck/Positive.hs
@@ -288,6 +288,10 @@ tests =
     posTest
       "Instance import"
       $(mkRelDir "InstanceImport")
+      $(mkRelFile "Main.juvix"),
+    posTest
+      "Hole as numeric type"
+      $(mkRelDir "issue2373")
       $(mkRelFile "Main.juvix")
   ]
     <> [ compilationTest t | t <- Compilation.tests

diff --git a/tests/positive/issue2373/Main.juvix b/tests/positive/issue2373/Main.juvix
@@ -0,0 +1,8 @@
+module Main;
+
+import Stdlib.Data.Nat open;
+
+main : Nat :=
+  let
+    x : _ := 0;
+  in x;
diff --git a/tests/positive/issue2373/juvix.yaml b/tests/positive/issue2373/juvix.yaml
@@ -0,0 +1,4 @@
+dependencies:
+- .juvix-build/stdlib/
+name: issue2373
+version: 0.0.0