From 910c1911b13109d6eabb8f2497c239adf49fed32 Mon Sep 17 00:00:00 2001 From: Jon Simons Date: Tue, 13 Dec 2022 09:10:26 -0500 Subject: [PATCH] book/first-class-modules/README.md: fix `B.t` typo In f1ebdf7e382ca6211676b5071bb5dc1af3be2a9c a `module B` in the example code was renamed to `module Bumper`. Fix a leftover `B.t` in the prose that follows to match. --- book/first-class-modules/README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/book/first-class-modules/README.md b/book/first-class-modules/README.md index 0e9445bd6..5adf2fbd0 100644 --- a/book/first-class-modules/README.md +++ b/book/first-class-modules/README.md @@ -239,8 +239,8 @@ you can declare a pseudoparameter of the form `(type a)` which introduces a fresh type named `a`. This type acts like an abstract type within the context of the function. In the example above, the locally abstract type was used as part of a sharing constraint that -ties the type `B.t` with the type of the elements of the list passed -in. [datatypes/locally abstract types]{.idx} [abstract +ties the type `Bumpable.t` with the type of the elements of the list +passed in. [datatypes/locally abstract types]{.idx} [abstract types]{.idx}[locally abstract types]{.idx}[sharing constraint]{.idx} The resulting function is polymorphic in both the type of the list element