From: Mark Wooding <mdw@distorted.org.uk>
Date: Wed, 18 Nov 2009 13:41:23 +0000 (+0000)
Subject: f#: Tidy same_iterators_p a little.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/fringe/commitdiff_plain/6bce693f147dfca5affdeb04f93a41b7ebd76bb9?hp=6bce693f147dfca5affdeb04f93a41b7ebd76bb9

f#: Tidy same_iterators_p a little.

Use Option.isNone rather than a multiline pattern match, and use a
pattern guard to reduce failure cases.
---