cogent icon indicating copy to clipboard operation
cogent copied to clipboard
verified publisher icon au-ts

Multi-arg data constructor

Open zilinc opened this issue 4 years ago • 0 comments

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.

zilinc avatar Feb 02 '21 07:02 zilinc