Does the import and module order matter ?

[oh-tarnished]

Hey all,

I was trying to play around with pkl to get a hang out of it while i was creating the configuration in golang

default.pkl

@go.Package { name = "dev.machanirobotics/engine/pkl/config" }
module dev.randomness.engine.pkl.config.default
import "package://pkg.pkl-lang.org/pkl-go/pkl.golang@0.5.0#/go.pkl"
import "models/Application.pkl"

// Default application configuration
default:Application = new {
    name = "service1"
    version = "1.0.0"
    description = "service1 is a simple RPC framework for building microservices"
    serverConfiguration {
        host = "localhost"
        port = 8080
        enableReflection = true
    }
    logging = "Test"
}

I couldn't understand, if i place the import on top pkl throws an error

–– Pkl Error ––
Keyword `module` is not allowed here. (If you must use this name as identifier, enclose it in backticks.)

5 | module dev.machanirobotics.engine.pkl.config.default
    ^^^^^^
at Default (file:///Users/srikanthkandarp/projects/machanirobotics/gaia/pkl/Default.pkl, line 5)

Shouldn't the order be like this,

module dev.randomness.engine.pkl.config.default

import "package://pkg.pkl-lang.org/pkl-go/pkl.golang@0.5.0#/go.pkl"
import "models/Application.pkl"

@go.Package { name = "dev.machanirobotics/engine/pkl/config" }

Just like google-protobuf ? Thanks.

[bioball]

The syntax for module dev.randomness.engine.pkl.config.default looks correct. The error message is telling you that there's something wrong with module dev.machanirobotics.engine.pkl.config.default, which is a different module. What does that one look like?