feat!: forbid importing '/r' from '/p'

examples/gno.land/p/demo/tests/gno.mod

@@ -1,6 +1,3 @@
 module gno.land/p/demo/tests
 
-require (
-	gno.land/p/demo/tests/subtests v0.0.0-latest
-	gno.land/r/demo/tests v0.0.0-latest
-)
+require gno.land/p/demo/tests/subtests v0.0.0-latest

examples/gno.land/p/demo/tests/tests.gno

@@ -3,20 +3,11 @@ package tests
 import (
 	"std"
 
-	psubtests "gno.land/p/demo/tests/subtests"
-	"gno.land/r/demo/tests"
-	rtests "gno.land/r/demo/tests"
+	"gno.land/p/demo/tests/subtests"
 )
 
 const World = "world"
 
-// IncCounter demonstrates that it's possible to call a realm function from
-// a package. So a package can potentially write into the store, by calling
-// an other realm.
-func IncCounter() {
-	tests.IncCounter()
-}
-
 func CurrentRealmPath() string {
 	return std.CurrentRealmPath()
 }
@@ -61,11 +52,7 @@ func GetPrevRealm() std.Realm {
 }
 
 func GetPSubtestsPrevRealm() std.Realm {
-	return psubtests.GetPrevRealm()
-}
-
-func GetRTestsGetPrevRealm() std.Realm {
-	return rtests.GetPrevRealm()
+	return subtests.GetPrevRealm()
 }
 
 // Warning: unsafe pattern.

tm2/pkg/std/memfile.go

@@ -2,6 +2,8 @@
 
 import (
 	"fmt"
+	"go/parser"
+	"go/token"
 	"regexp"
 	"sort"
 	"strings"
@@ -80,6 +82,23 @@
 		prev = file.Name
 	}
 
+	// If its a package, check if it imports realm
+	if strings.HasPrefix(mempkg.Path, "gno.land/p/") {
+		for _, file := range mempkg.Files {
+			fset := token.NewFileSet()
+			astFile, err := parser.ParseFile(fset, file.Name, file.Body, parser.ImportsOnly)
+			if err != nil {
+				return fmt.Errorf("unable to parse %q", file.Name)
+			}
+			for _, imp := range astFile.Imports {
+				importPath := strings.TrimPrefix(strings.TrimSuffix(imp.Path.Value, `"`), `"`)
+				if strings.HasPrefix(importPath, "gno.land/r/") {
+					return fmt.Errorf("package %q imports realm %q", mempkg.Path, importPath)
+				}
+			}
+		}
+	}
+
 	return nil
 }
 

tm2/pkg/std/memfile_test.go

@@ -15,30 +15,104 @@ func TestMemPackage_Validate(t *testing.T) {
 		{
 			"Correct",
 			&MemPackage{
-				Name:  "hey",
-				Path:  "gno.land/r/demo/hey",
-				Files: []*MemFile{{Name: "a.gno"}},
+				Name: "hey",
+				Path: "gno.land/r/demo/hey",
+				Files: []*MemFile{
+					{
+						Name: "a.gno",
+						Body: "package hey",
+					},
+				},
 			},
 			"",
 		},
 		{
 			"Unsorted",
 			&MemPackage{
-				Name:  "hey",
-				Path:  "gno.land/r/demo/hey",
-				Files: []*MemFile{{Name: "b.gno"}, {Name: "a.gno"}},
+				Name: "hey",
+				Path: "gno.land/r/demo/hey",
+				Files: []*MemFile{
+					{
+						Name: "b.gno",
+						Body: "package hey",
+					},
+					{
+						Name: "a.gno",
+						Body: "package hey",
+					},
+				},
 			},
 			`mempackage "gno.land/r/demo/hey" has unsorted files`,
 		},
 		{
 			"Duplicate",
 			&MemPackage{
-				Name:  "hey",
-				Path:  "gno.land/r/demo/hey",
-				Files: []*MemFile{{Name: "a.gno"}, {Name: "a.gno"}},
+				Name: "hey",
+				Path: "gno.land/r/demo/hey",
+				Files: []*MemFile{
+					{
+						Name: "a.gno",
+						Body: "package hey",
+					},
+					{
+						Name: "a.gno",
+						Body: "package hey",
+					},
+				},
 			},
 			`duplicate file name "a.gno"`,
 		},
+		{
+			"Package Imports Package",
+			&MemPackage{
+				Name: "hey",
+				Path: "gno.land/p/demo/hey",
+				Files: []*MemFile{
+					{
+						Name: "a.gno",
+						Body: `package hey
+
+						import "gno.land/p/demo/hello"
+						`,
+					},
+				},
+			},
+			"",
+		},
+		{
+			"Realm Imports Realm",
+			&MemPackage{
+				Name: "hey",
+				Path: "gno.land/r/demo/hey",
+				Files: []*MemFile{
+					{
+						Name: "a.gno",
+						Body: `package hey
+
+						import "gno.land/r/demo/hello"
+						`,
+					},
+				},
+			},
+			"",
+		},
+		{
+			"Package Imports Realm",
+			&MemPackage{
+				Name: "hey",
+				Path: "gno.land/p/demo/hey",
+				Files: []*MemFile{
+					{
+						Name: "a.gno",
+						Body: `package hey
+
+						import "gno.land/r/demo/heyrealm"
+						`,
+					},
+				},
+			},
+			`package "gno.land/p/demo/hey" imports realm "gno.land/r/demo/heyrealm"`,
+		},
 	}
 	for _, tc := range tt {
 		t.Run(tc.name, func(t *testing.T) {