joseph-montanez · February 6, 2014 06:05
diff --git a/errors.log b/errors.log
 main.fs: error FS0001: This expression was expected to have type
    'a
 but here has type
    'b option
diff --git a/main.fs b/main.fs
 let foo<'a> (o: 'a) =
    match o with
    | Some(n) -> typeof<n>
    | None -> ""
	main.fs: error FS0001: This expression was expected to have type
	'a
	but here has type
	'b option