Remove open import syntax (#2307)

* Closes #2252 * Depends on #2305
anoma · Aug 25, 2023 · 93a91a7 · 93a91a7
1 parent ef16b45
commit 93a91a7
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 6 deletions.
diff --git a/src/Juvix/Compiler/Concrete/Translation/FromSource.hs b/src/Juvix/Compiler/Concrete/Translation/FromSource.hs
@@ -1250,12 +1250,12 @@ atomicExpression = do
 openModule :: forall r. (Members '[Error ParserError, PathResolver, Files, InfoTableBuilder, PragmasStash, JudocStash, NameIdGen] r) => ParsecS r (OpenModule 'Parsed)
 openModule = do
   _openModuleKw <- kw kwOpen
-  _openModuleImportKw <- optional (kw kwImport)
   _openModuleName <- name
-  whenJust _openModuleImportKw (const (P.lift (importedModule (moduleNameToTopModulePath _openModuleName))))
   _openUsingHiding <- optional usingOrHiding
   _openPublicKw <- Irrelevant <$> optional (kw kwPublic)
   let _openPublic = maybe NoPublic (const Public) (_openPublicKw ^. unIrrelevant)
+      _openModuleImportKw :: Maybe KeywordRef
+      _openModuleImportKw = Nothing
   return
     OpenModule
       { _openImportAsName = Nothing,

diff --git a/tests/positive/FancyPaths/Main.juvix b/tests/positive/FancyPaths/Main.juvix
@@ -1,8 +1,8 @@
 module Main;
 
-open import Dep;
-open import Other;
-open import Home;
+import Dep open;
+import Other open;
+import Home open;
 
 axiom x : dep;
 axiom y : other;

diff --git a/tests/smoke/Commands/typecheck.smoke.yaml b/tests/smoke/Commands/typecheck.smoke.yaml
@@ -59,7 +59,7 @@ tests:
       - typecheck
     args:
       - positive/Internal/Simple.juvix
-    stdin: 'module OtherModule; open import Stdlib.Prelude; main : Nat; main := 5;'
+    stdin: 'module OtherModule; import Stdlib.Prelude open; main : Nat := 5;'
     stderr:
       contains: 'positive/Internal/Simple.juvix'
     exit-status: 1