From 8c9e3ee058cd573068410ccf90843ba33529d86f Mon Sep 17 00:00:00 2001 From: jim Date: Tue, 24 Mar 2015 09:31:54 -0400 Subject: [PATCH] inconsistent-->unsound --- exercises/assignment5_hint4.mdwn | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/exercises/assignment5_hint4.mdwn b/exercises/assignment5_hint4.mdwn index d718c9a7..8c65df17 100644 --- a/exercises/assignment5_hint4.mdwn +++ b/exercises/assignment5_hint4.mdwn @@ -271,4 +271,4 @@ By the way, this issue about not-enough-polymorphism doesn't arise in Haskell. H > two (1+) 0 2 -The reason that OCaml has trouble here where Haskell doesn't has to do with some fundamental differences between their type systems, that we haven't yet explored. (Specifically, it has to do with the fact that OCaml has *mutable reference cells* in its type system, and this obliges it to place limits on where it generalizes type variables, else its type system becomes inconsistent.) +The reason that OCaml has trouble here where Haskell doesn't has to do with some fundamental differences between their type systems, that we haven't yet explored. (Specifically, it has to do with the fact that OCaml has *mutable reference cells* in its type system, and this obliges it to place limits on where it generalizes type variables, else its type system becomes unsound.) -- 2.11.0