Version française
Home     About     Download     Resources     Contact us    
Browse thread
annotations and type-checking
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Aaron Bohannon <bohannon@c...>
Subject: annotations and type-checking 
Why do the first two programs type-check but the thrid one does not?

let f x = x in (f true, f 3);;

let f (x : 'a) : 'a = x in (f true);;

let f (x : 'a) : 'a = x in (f true, f 3);;

 - Aaron