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

SCM Repository

[smlnj] View of /tests/trunk/typing/tests/22.sml
ViewVC logotype

View of /tests/trunk/typing/tests/22.sml

Parent Directory Parent Directory | Revision Log Revision Log


Revision 2560 - (download) (annotate)
Wed May 16 22:24:49 2007 UTC (12 years, 4 months ago) by dbm
File size: 210 byte(s)
added test cases and outputs to tests/typing
(* 22.sml *)
(* testing that overloading scheme type variables don't get instantiated
 * to type terms with univariables *)

type ('a, 'b) fst = 'a;
fun g(x :'a) = (x : ('a,'b) fst);

fun f(x,y) = g(x) + g(y);

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