search

githwxi / ATS-Postiats

ATS2: Unleashing the Potentials of Types and Templates
www.ats-lang.org
Other
354 stars 54 forks source link

Update main.atxt #247

Closed morgancmartin closed 5 years ago

morgancmartin commented 5 years ago

The following paragraph says:

Given that xs and ys are of the same length, the typechecker can readily infer that (xs, ys) cannot match either of the first two patterns.

Emphasis being mine.

I have reordered the bulleted list to reflect what is stated in the paragraph.

githwxi commented 5 years ago

Thank you!

I just reworded the paragraph to make it sound a bit redundant but hopefully more clear:

Given that xs and ys are of the same length, the typechecker can readily infer that (xs, ys) can only match the first of the above three patterns. After the last two patterns are ruled out, typechecking is essentially done as if the second clause was written as follows:

morgancmartin commented 5 years ago

Glad to be of service :)

Thanks for such a stellar language!