[Nice-commit] Nice/web safety.xml,1.6,1.7

[<bo...@us...>]

Update of /cvsroot/nice/Nice/web
In directory sc8-pr-cvs1:/tmp/cvs-serv9636/web

Modified Files:
	safety.xml 
Log Message:
Typography.


Index: safety.xml
===================================================================
RCS file: /cvsroot/nice/Nice/web/safety.xml,v
retrieving revision 1.6
retrieving revision 1.7
diff -C2 -d -r1.6 -r1.7
*** safety.xml	11 Nov 2003 15:30:31 -0000	1.6
--- safety.xml	19 Nov 2003 23:17:43 -0000	1.7
***************
*** 534,538 ****
  <literal>String option</literal> is expected. 
  It has to be explicitly injected into an option type with
! the Some constructor. 
  Therefore, <literal>"A"</literal> has type <literal>String</literal>, 
  and <literal>(Some "A")</literal> has type <literal>String option</literal>. 
--- 534,538 ----
  <literal>String option</literal> is expected. 
  It has to be explicitly injected into an option type with
! the <literal>Some</literal> constructor. 
  Therefore, <literal>"A"</literal> has type <literal>String</literal>, 
  and <literal>(Some "A")</literal> has type <literal>String option</literal>.