Revision ae9f5b95ebf7b36577861434e2099b638540d730 authored by Anish Tondwalkar on 20 October 2019, 06:45:47 UTC, committed by Anish Tondwalkar on 20 October 2019, 06:45:47 UTC
1 parent eba2590
sort01.fq
// for LH Issue 774
constant foo : (func(0, [int; int]))
bind 0 x : {v: Str | true}
bind 1 y : {v: Str | true}
constraint:
env [ 0; 1 ]
lhs {v : int | (foo x = foo y)}
rhs {v : int | (3 = 1 + 2) }
id 1 tag []
Computing file changes ...