From 107d6a521ffaa3bb1827650bb64ea6cd36784f39 Mon Sep 17 00:00:00 2001 From: Nathan Pollart Date: Fri, 26 Jul 2024 18:51:03 +0200 Subject: [PATCH] Fix format problem --- doc/manual/typing.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/manual/typing.md b/doc/manual/typing.md index 01d06cccd8..dd26aca26e 100644 --- a/doc/manual/typing.md +++ b/doc/manual/typing.md @@ -335,9 +335,9 @@ Subtyping extends to type constructors in the following way: presence of a rule for function types, namely that `T -> U <: S -> V` if `S <: T` and `U <: V`. This is not the case in Nickel, for various technical reasons. However, you can work around this limitation by expanding a given function: -If `f` has type `T -> U`, but a value of type `S -> V` is required, use `fun x => f x` -instead, which has the same runtime behavior but isn't typed in the same -way. +If `f` has type `T -> U`, but a value of type `S -> V` is required, +use `fun x => f x`instead, which has the same runtime behavior +but isn't typed in the same way. ### Polymorphism