-- main.mcl --
# this is an empty list of test resources, iow test resources
# this must pass type unification
# this can only currently pass if we allow recursive unification solving
# if we do, then the function graph is: `Vertex: list()` otherwise it's an error
test [] {}
-- OUTPUT --
# err: errUnify: only recursive solutions left