Skip to content

Instantly share code, notes, and snippets.

@frabbit

frabbit/gist:7d878a65c299de8e343a

Created May 17, 2014 14:50
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 frabbit/7d878a65c299de8e343a to your computer and use it in GitHub Desktop.
Save frabbit/7d878a65c299de8e343a to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
| a,((TMono x) as b) ->
(match !x with
| None -> if not (link x b a) then error [cannot_unify t1 t2]
| _ -> error [cannot_unify t1 t2])
| ((TMono x) as a),b ->
(match !x with
| None -> if not (link x a b) then error [cannot_unify t1 t2]
| _ -> error [cannot_unify t1 t2])
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment