A couple more, not necessarily having to do with the paper: 1. warn if not exhaustively matching all patterns.
2. aggregating patterns: match x with | 5 | 6 => ... | 7 => ... | _ => ... endmatch and with variable binding: match x with | Cons(?x, Cons(_, _)) | Cons(?x, Empty[int]) => ... | _ => ... endmatch ------------------------------------------------------------------------- Take Surveys. Earn Cash. Influence the Future of IT Join SourceForge.net's Techsay panel and you'll get the chance to share your opinions on IT & business topics through brief surveys-and earn cash http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV _______________________________________________ Felix-language mailing list Felix-language@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/felix-language
