Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/tests/bugs/outputs.pre-110.5/bug1510.1.out
ViewVC logotype

Diff of /sml/trunk/tests/bugs/outputs.pre-110.5/bug1510.1.out

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 786, Fri Feb 23 21:36:06 2001 UTC revision 787, Fri Feb 23 21:38:43 2001 UTC
# Line 1  Line 1 
1  val it = () : unit  val it = () : unit
2  functor Cast : <sig>  bug1510.1.sml:3.9-11.4 Error: type t does not match definitional specification
 structure IntListToIntOption :  
   sig  
     type ('a,'b) t = 'a -> 'b  
     val cast : (from,to) t  
   end  
 val it = SOME 17 : ?.to  

Legend:
Removed from v.786  
changed lines
  Added in v.787

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0