fix smoke

app/App.hs

@@ -99,7 +99,6 @@ reAppIO args@RunAppIOArgs {..} =
     getMainFile' :: (Members '[SCache Package, Embed IO] r') => Maybe (AppPath File) -> Sem r' (Path Abs File)
     getMainFile' = \case
       Just p -> embed (prepathToAbsFile invDir (p ^. pathPath))
-      -- Nothing -> case pkg ^. packageMain of
       Nothing -> do
         pkg <- getPkg
         case pkg ^. packageMain of

tests/smoke/Commands/typecheck.smoke.yaml

@@ -55,6 +55,26 @@ tests:
       equals: "Well done! It type checks\n"
     exit-status: 0
 
+  - name: typecheck-global-package
+    command:
+      shell:
+        - bash
+      script: |
+        base=$PWD
+        temp=$(mktemp -d)
+        trap 'rm -rf -- "$temp"' EXIT
+        configDir=$temp/config
+        projDir=$temp/projDir
+        mkdir $configDir
+        export XDG_CONFIG_HOME="$configDir"
+        mkdir $projDir
+        cd $projDir
+        echo 'module foo;' > foo.juvix
+        juvix typecheck foo.juvix
+    stdout:
+      equals: "Well done! It type checks\n"
+    exit-status: 0
+
   - name: typecheck-package-description
     command:
       shell:
@@ -69,7 +89,9 @@ tests:
         export XDG_CONFIG_HOME="$configDir"
         mkdir $projDir
         cd $projDir
+        echo 'module foo;' > foo.juvix
         # side-effect: initializes the global project / the package package
+        juvix typecheck foo.juvix > /dev/null
         globalPackageDir=$(juvix dev root)
         packagePackageDir="$(dirname $globalPackageDir)"/package
         juvix typecheck "$packagePackageDir/PackageDescription/V2.juvix"