From 443e84f47b1d4962aca696aa60e7273ce70f00be Mon Sep 17 00:00:00 2001 From: kalasoo Date: Thu, 15 May 2014 20:40:59 +0100 Subject: [PATCH] Update value_restriction-13.rawscript Missing covariant keyword --- 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 *)