On 24/02/2011, at 12:51 PM, Erick Tryzelaar wrote: > > think this would require us to move pattern matching into the type > binding... > > For example: > > const FOO : int; > const BAR : int; > > match 7 with > | FOO => ... > | BAR => ... > | _ => ... > endmatch
Yes, the problem is that we have to distinguish constructors, match variables, and external values, at present with the analysis done early it requires a syntactic distinction. Doing it all later so we have type information make sense but remember lambda lifting is done during desugaring .. we'd have to change how that is done.. that's a non-trivial change ;( -- john skaller skal...@users.sourceforge.net ------------------------------------------------------------------------------ Free Software Download: Index, Search & Analyze Logs and other IT data in Real-Time with Splunk. Collect, index and harness all the fast moving IT data generated by your applications, servers and devices whether physical, virtual or in the cloud. Deliver compliance at lower cost and gain new business insights. http://p.sf.net/sfu/splunk-dev2dev _______________________________________________ Felix-language mailing list Felix-language@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/felix-language
