Open zilinc opened 3 years ago
In the current implementation, V t1 t2 is equivalent to V (t1, t2), even in the surface language. Shown by misc/pass_differing-num-con-args-1.cogent and misc/pass_differing-num-con-args.cogent. We may want to change this behaviour.
V t1 t2
V (t1, t2)
misc/pass_differing-num-con-args-1.cogent
misc/pass_differing-num-con-args.cogent
In the current implementation,
V t1 t2
is equivalent toV (t1, t2)
, even in the surface language. Shown bymisc/pass_differing-num-con-args-1.cogent
andmisc/pass_differing-num-con-args.cogent
. We may want to change this behaviour.