Prelude module

This prelude standard library module supplements the compiler prelude with additional features that do not require any additional compiler support.

printLn

Prints text followed by a newline.

public func printLn(x : Text)

nyi (not yet implemented)

Marks incomplete code with the nyi and xxx functions.

The nyi and xxx function calls are well-typed in all typing contexts and trap in all execution contexts.

public func nyi() : None

public func xxx() : None

unreachable

Marks unreachable code with the unreachable function.

Th unreachable function calls are well-typed in all typing contexts and trap in all execution contexts.

public func unreachable() : None