From 928ac7f7a127f328ed56f03343416f8f516d22d6 Mon Sep 17 00:00:00 2001 From: Brian Huffman Date: Tue, 28 Jul 2020 14:29:43 -0700 Subject: [PATCH] Fix typo in error messages. Fixes #840. --- src/Cryptol/TypeCheck/Solver/Class.hs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Cryptol/TypeCheck/Solver/Class.hs b/src/Cryptol/TypeCheck/Solver/Class.hs index 29c690c2c..c388c5d8f 100644 --- a/src/Cryptol/TypeCheck/Solver/Class.hs +++ b/src/Cryptol/TypeCheck/Solver/Class.hs @@ -204,12 +204,12 @@ solveIntegralInst ty = case tNoUser ty of TCon (TC TCBit) [] -> SolvedIf [ pFin n ] TVar _ -> Unsolved _ -> Unsolvable $ TCErrorMessage $ show - $ "Type" <+> quotes (pp ty) <+> "is not an intergral type." + $ "Type" <+> quotes (pp ty) <+> "is not an integral type." TVar _ -> Unsolved _ -> Unsolvable $ TCErrorMessage $ show - $ "Type" <+> quotes (pp ty) <+> "is not an intergral type." + $ "Type" <+> quotes (pp ty) <+> "is not an integral type." -- | Solve a Field constraint by instance, if possible.