[LOGIC-89] Allow application again in pattern matches Created: 01/Jan/13 Updated: 15/Oct/14
|Reporter:||David Nolen||Assignee:||David Nolen|
Perhaps we can support simple function application in the following manner.
If we have a seq in an unquote then we know we have an application. All function symbols are left alone, all arguments are considered to be fresh vars or locals.