Skip to content

Instantly share code, notes, and snippets.

@nomaddo
Created October 12, 2014 15:30
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 nomaddo/9368deec9ad493608368 to your computer and use it in GitHub Desktop.
Save nomaddo/9368deec9ad493608368 to your computer and use it in GitHub Desktop.
description
fun f x = let ... x :: nil ...
... Array.update(a, i, x) ...
in (x, x) end
fun g y = f (y, 3.14)
(* f : 'a -> 'a * 'a *)
(* g : 'b -> (b * real) * ('b * real) *)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment