# This test checks we can have an import with an implied major version
# when there's no explicit default in the module file.
-- tidy-check-error --
module is not tidy: missing dependency providing package .*
-- want --
module: "main.org@v0"
language: {
	version: "v0.8.5"
}
deps: {
	"example.com@v1": {
		v:       "v1.0.0"
		default: true
	}
}
-- cue.mod/module.cue --
module: "main.org@v0"
language: {
	version: "v0.8.5"
}
-- main.cue --
package main

import "example.com/foo"

-- _registry/example.com_v0.0.1/cue.mod/module.cue --
module: "example.com@v0"
language: version: "v0.8.0"

-- _registry/example.com_v0.0.1/foo/top.cue --
package foo

-- _registry/example.com_v0.0.3-alpha/cue.mod/module.cue --
module: "example.com@v0"
language: version: "v0.8.0"

-- _registry/example.com_v0.0.3-alpha/foo/top.cue --
package foo

-- _registry/example.com_v1.0.0/cue.mod/module.cue --
module: "example.com@v1"
language: version: "v0.8.0"

-- _registry/example.com_v1.0.0/foo/top.cue --
package foo

-- _registry/example.com_v1.2.1-alpha/cue.mod/module.cue --
module: "example.com@v1"
language: version: "v0.8.0"
-- _registry/example.com_v1.2.1-alpha/foo/top.cue --
package foo
