Tom Ridge wrote:
> Dear All,
>
> Is there syntax for record matching? i.e. something like
>
> case x of <| fld=value; fld'=value' |> -> ARB
No, sadly not. There is a case constant of form
recordtyname_case : (fld1ty->'a) -> (fld2ty -> 'a) -> ...
(fldnty -> 'a) -> recordty -> 'a
And of course, you can always write things like
f r = g r.fld1 r.fld2
Michael.
-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
