Back to Questions
992
views1
comment
pattern syntax in fun args
f#

this is probably a null issue, but the following code comes up with an error,
saying "Successive atomicPatterns/patterns should be separated by spaces or tupled."

type X = Blah of int
let x = fun Blah(i) -> i

by my reading of the manual, in particular:
| fun pat ... pat - expr -- a function expression

pat :=
| longident pat -- unary data discriminantor or active discriminator pattern

it looks like the syntax should be allowed.
what does the error message mean?

.

Hey,

The error is because the above example is ambiguous, it could be interpreted as either fun Blah i -> i, i.e. a two argument function, or as fun (Blah(i)) -> i, i.e. a function with a single pattern argument as you intended. For the minute the easiest way around it is to just add the extra parenthesis, however, there was a <a href = "http://cs.hubfs.net/forums/thread/3634.aspx">thread</a> discussing the possible use of whitespace to distinguish between various other similar things when using #light so it may possible that a similar thing could be done in this case.

By on 10/3/2007 5:25 PM ()

    Topic tags

    IntelliFactory Offices Copyright (c) 2011-2012 IntelliFactory. All rights reserved.
    Home | Products | Consulting | Trainings | Blogs | Jobs | Contact Us | Terms of Use | Privacy Policy | Cookie Policy     		Built with WebSharper