Skip to content
Commit a4148ed7 authored by Matt Wala's avatar Matt Wala
Browse files

Restrict unification modulo identity to trying to match a binary 

expression to a single value.

Not sure if it is wise to do anything more complicated.
parent ca4fbd1d
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please to comment