Re: SML/NJ match warning pragma?

Not on a per-binding basis (I think that you might be able to use CM
trickery to do it on a per-file basis, but I'm not sure).

	- John

On Jan 19, 2007, at 10:11 AM, Geoffrey Alan Washburn wrote:

>
> 	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
> _______________________________________________
> Smlnj-list mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/smlnj-list
>


-------------------------------------------------------------------------
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