Uses of Class
orc.error.compiletime.NonlinearPatternException

Packages that use NonlinearPatternException

orc.ast.extended.pattern

Uses of NonlinearPatternException in orc.ast.extended.pattern

Methods in orc.ast.extended.pattern that throw NonlinearPatternException

void	VariablePattern.process(Variable fragment, PatternSimplifier visitor)
void	PatternSimplifier.subst(Variable s, FreeVariable x)