From 0079dc24b304fdabcbd48afe7efd1aef1afe0b4c Mon Sep 17 00:00:00 2001 From: Simon Marlow <marlowsd@gmail.com> Date: Wed, 14 Jul 2010 10:00:56 +0000 Subject: [PATCH] [LT..] --> [LT ..] (the former would parse as a qualified ".") --- report/basic.verb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/report/basic.verb b/report/basic.verb index 12841f5..742fb05 100644 --- a/report/basic.verb +++ b/report/basic.verb @@ -506,7 +506,7 @@ The following @Prelude@ types are instances of @Enum@: \begin{itemize} \item Enumeration types: @()@, @Bool@, and @Ordering@. The semantics of these instances is given by Chapter~\ref{derived-appendix}. -For example, @[LT..]@ is the list @[LT,EQ,GT]@. +For example, @[LT ..]@ is the list @[LT,EQ,GT]@. \item @Char@: the instance is given in Chapter~\ref{stdprelude}, based on the primitive functions that convert between a @Char@ and an @Int@. -- GitLab