chiark / gitweb /
~mdw / fringe / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 6bce693)
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)
Use Option.isNone rather than a multiline pattern match, and use a
pattern guard to reduce failure cases.


No differences found
The `same-fringe' problem solved in many languages.