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)