From 6ac653b937b4480996f37d7cc55572a9f41eb326 Mon Sep 17 00:00:00 2001 From: Ataias Pereira Reis Date: Thu, 13 Apr 2017 12:08:46 -0300 Subject: [PATCH] Update value_restriction-13.rawscript In the book, you mention adding the covariant sign, but the example just below doesn't show it. --- code/imperative-programming/value_restriction-13.rawscript | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/code/imperative-programming/value_restriction-13.rawscript b/code/imperative-programming/value_restriction-13.rawscript index c3965b3..e40eb01 100644 --- a/code/imperative-programming/value_restriction-13.rawscript +++ b/code/imperative-programming/value_restriction-13.rawscript @@ -1,5 +1,5 @@ # module Concat_list : sig - type 'a t + type +'a t val empty : 'a t val singleton : 'a -> 'a t val concat : 'a t -> 'a t -> 'a t (* constant time *)