SML/NJ match warning pragma?
Geoffrey Alan Washburn <[email protected]>
| Newsgroups | gmane.comp.lang.sml.smlnj |
|---|---|
| Message-ID | <[email protected]> |
Does there exist anything like a "pragma" for SML/NJ that tells the compiler not to warn about non-exhaustive matches in cases that I've verified by hand cannot actually ever happen or have a handler for the Match exception? For example, (*pragma match-warning *) val foo : int option = ... val x = (valOf foo) handle Match => 0 (*endpragma *) Thanks! ------------------------------------------------------------------------- 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