mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-09-11 14:06:13 +03:00
Fix typo in error messages. Fixes #840.
This commit is contained in:
parent
1a2456a3a7
commit
928ac7f7a1
@ -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.
|
||||
|
Loading…
Reference in New Issue
Block a user