#lang scribble/manual @title{test} There are five different forms of test cases. @verbatim|{ test: is: }| This test case succeeds if the two given clauses are structurally equal. @verbatim|{ test: is: within: }| @verbatim|{ test_error: }| Succeeds when the given expressions results in an error that is called by user code. @verbatim|{ test_error: matches: }| This is the same as the other form of test_error, but the error messaged that is raised needs to match the second expression. @verbatim|{ test_range: from: to: }| Checks that the first expression is a number in between the second and third expressions.