Typed Luau Module Type Export Error

Help and Feedback Scripting Support
#1

I am toying with typed luau, and I’ve run into an issue with the typechecker.

I am trying to create and export types in modulescripts, but when I try to access the type in the importing script, it gives me the error: “unknown type”.

Here is my code:

ModuleScript:

local module = {}

export type num = number

return module

ServerScript:

--!strict
local mod = require(script.ModuleScript)

local x: num = 5

Edit, Note: This error did not happen for one of my friends, even when using the same place file. Here is the place file: Type Error.rbxl (28.5 KB)

#2

You need to require the module script first.

local mod = require(script.ModuleScript)

#3

Do this:

export type(num) = number
#4

Type is a function :grinning_face_with_smiling_eyes:

#5

My bad, I forgot to include the require in the code snippet. The problem persists, though. Edited the place file and code.

#6

No, that isn’t how type works in luau. I am using a variant of the official code snippet provided by the luau-lang.org documentation.

#7

With luau you don’t have to make it a function. you will get syntax errors

#8

Oh never knew that lol :grinning_face_with_smiling_eyes:

#9

I checked it out and for some reason adding --!strict as the first line in the modulescript fixed it for me

image

image

Edit: And since this is from a modulescript, you need to get the type as if it’s a module variable

3 Likes