chiark / gitweb /
~mdw / fringe / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d33d05c) | patch
f#: Tidy same_iterators_p a little.
authorMark Wooding <mdw@distorted.org.uk>
Wed, 18 Nov 2009 13:41:23 +0000 (13:41 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Wed, 18 Nov 2009 13:41:23 +0000 (13:41 +0000)
commit6bce693f147dfca5affdeb04f93a41b7ebd76bb9
treedb68fa1342f16e9b5d5f8d780fb28c1a6c852a7etree | snapshot
parentd33d05c3e5b6e856fb7e1a3b8645252561592561commit | diff
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.
f#-fringe.fs diff | blob | blame | history
The `same-fringe' problem solved in many languages.