sail/test/mono/pass/assign_range, branch sail2

sail/test/mono/pass/assign_range, branch sail2 Formal specification language for ISAs Handle type variables generated while inferring applications in monomorphisation 2019-05-06T15:36:45+00:00 Brian Campbell 2019-05-06T15:36:32+00:00 5e78fee9b215e7663f6fcf36673b36cce00aca04 Also handle any type variables from assignments and degrade gracefully during constant propagation when unification is not possible.

Also handle any type variables from assignments and degrade gracefully
during constant propagation when unification is not possible.