要编译一个非空的ATS函数，需要按照以下步骤进行：

1. 声明函数：首先，您需要声明一个函数并指定其返回类型。这可以在函数的名称前面加上返回类型，例如fun foo(): int。

2. 实现函数体：接下来，您需要提供函数体的实现。这可以通过在函数名称和返回类型之间添加一个等于号和花括号来完成，例如fun foo() = { /* 函数体实现 */ }。

3. 编译函数：一旦您完成了函数的声明和实现，可以使用ATS编译器将其编译为可执行文件。编译命令可能因使用的操作系统和编译器而有所不同。下面是一个示例，假设您的函数在名为example.dats的文件中：

atscc example.dats -o example

这将使用ATS编译器将example.dats文件编译为名为example的可执行文件。

以下是一个完整的示例代码：

// 声明一个非空函数，将两个整数相加并返回结果
fun add(x: int, y: int): int

// 实现函数体
fun add(x: int, y: int): int = {
    val result: int = x + y
    result
}

这是一个简单的函数，接受两个整数作为参数，并返回它们的和。您可以将此代码保存为add.dats文件，并使用上述编译命令将其编译为可执行文件。

希望这可以帮助您编译非空的ATS函数！