Skip to content

Instantly share code, notes, and snippets.

@jlouis

jlouis/gist:d71777a697b7d4b7483d78e5483e4b95

Created November 15, 2016 19:47
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save jlouis/d71777a697b7d4b7483d78e5483e4b95 to your computer and use it in GitHub Desktop.
Save jlouis/d71777a697b7d4b7483d78e5483e4b95 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
Standard ML of New Jersey v110.80 [built: Sun Sep 25 12:16:08 2016]
- fun f n = f (n+1);
val f = fn : int -> 'a
- f 0;
stdIn:2.1-2.4 Warning: type vars not generalized because of
value restriction are instantiated to dummy types (X1,X2,...)
uncaught exception Overflow [overflow]
raised at: <file stdIn>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment