From daeb5d67207436ec5179e59098c11fe4b5525685 Mon Sep 17 00:00:00 2001 From: Jim Date: Wed, 15 Apr 2015 11:47:10 -0400 Subject: [PATCH] typo in gsv2.ml --- code/gsv2.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/code/gsv2.ml b/code/gsv2.ml index 8a9c1372..b7f044b4 100644 --- a/code/gsv2.ml +++ b/code/gsv2.ml @@ -1021,7 +1021,7 @@ module Sem8f = struct [topic] as our payloads, so that sent types would then be: [topic] -> S'Y([topic]). All of the operations except for `maybe` would then have to emulate the operations of the List monad by hand (manually performing catmap etc). But `maybe` could examine the [topic] as a whole and decide whether to return box(it) or box([]). - This would be to go back to the Sem4/Sem5 choices of monads (without list), and to implement the handling of lists + This would be to go back to the Sem5/Sem6 choices of monads (without list), and to implement the handling of lists by hand, as we did in the Sem1/Sem2 strategies. Additionally, we haven't tried here to handle non-rigid noun-types. That's why we can have sent types be: -- 2.11.0