From d029b9cc1e11df56ea4494a5348d09f61b344586 Mon Sep 17 00:00:00 2001 From: jim Date: Thu, 2 Apr 2015 09:06:58 -0400 Subject: [PATCH] fix some markup --- topics/week8_ramble.mdwn | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/topics/week8_ramble.mdwn b/topics/week8_ramble.mdwn index 4adf75cf..6b159a49 100644 --- a/topics/week8_ramble.mdwn +++ b/topics/week8_ramble.mdwn @@ -219,7 +219,7 @@ The only difference between the module case and the `let x = 5` case is that in # 3 * 2;;; - : int = 6 -Here `int` is the type, and OCaml can display the specific value, `= 6`, and no variable was bound to this, so it's just `- : ...` rather than variable : .... Okay, but now in the *module* case, like the function case, OCaml always acts like it can't display the specific instance, but rather than module M : sig type of the module end = <module>, it just displays module M : sig type of the module end. +Here `int` is the type, and OCaml can display the specific value, `= 6`, and no variable was bound to this, so it's just `- : ...` rather than variable : .... Okay, but now in the *module* case, like the function case, OCaml always acts like it can't display the specific instance, but rather than module M : sig type of the module end = <module>, it just displays module M : sig type of the module end. *Inside* the `sig ... end`, you can see the same `type color = ...` declaration you used when supplying the module, and also the type declarations for the values `x` and `foo` that you declared/defined when supplying the module. They appear with the same `val x :` and `val foo :` prefixes we just talked about getting from the interactive interpreter. So now you know what some more of this stuff means. @@ -537,7 +537,7 @@ Here is some code showing how to generate the common monad modules, and also som module E = E.M E.(throw, catch) -These mostly have to be entered as individual lines in the interactive interpreter, separated by `;;` and returns. +These mostly have to be entered as individual lines in the interactive interpreter, separated by `;;` and returns. There remains a final major Monad, the Continuation monad, that we'll discuss and add to the library later. -- 2.11.0