@@ -124,7 +124,7 @@ data IState = IState {
124124 idris_calledgraph :: Ctxt [Name],
125125 idris_docstrings :: Ctxt (Docstring, [(Name, Docstring)]),
126126 idris_tyinfodata :: Ctxt TIData,
127− idris_totcheck :: [(FC, Name)], -- names to check totality on
127+ idris_totcheck :: [(FC, Name)], -- names to check totality on
128128 idris_defertotcheck :: [(FC, Name)], -- names to check at the end
129129 idris_options :: IOption,
130130 idris_name :: Int,
@@ -298,7 +298,7 @@ data Command = Quit
298298 | AddMissing Bool Int Name
299299 | MakeWith Bool Int Name
300300 | DoProofSearch Bool -- ^ update
301− Bool -- ^ recursive (i.e. do arguments too)
301+ Bool -- ^ recursive (i.e. do arguments too)
302302 Int Name [Name]
303303 | SetOpt Opt
304304 | UnsetOpt Opt
@@ -440,7 +440,7 @@ data FnOpt = Inlinable -- always evaluate when simplifying
440440 | Implicit -- implicit coercion
441441 | CExport String -- export, with a C name
442442 | ErrorHandler -- ^^ an error handler for use with the ErrorReflection extension
443− | ErrorReverse -- ^^ attempt to reverse normalise before showing in error
443+ | ErrorReverse -- ^^ attempt to reverse normalise before showing in error
444444 | Reflection -- a reflecting function, compile-time only
445445 | Specialise [(Name, Maybe Int)] -- specialise it, freeze these names
446446 deriving (Show, Eq)
@@ -843,10 +843,10 @@ deriving instance NFData ClassInfo
843843-- Type inference data
844844
845845data TIData = TIPartial -- ^ a function with a partially defined type
846− | TISolution [Term] -- ^ possible solutions to a metavariable in a type
846+ | TISolution [Term] -- ^ possible solutions to a metavariable in a type
847847 deriving Show
848848
849−data OptInfo = Optimise { inaccessible :: [(Int,Name)], -- includes names for error reporting
849+data OptInfo = Optimise { inaccessible :: [(Int,Name)], -- includes names for error reporting
850850 detaggable :: Bool }
851851 deriving Show
852852{-!
@@ -1384,7 +1384,7 @@ prettyName showNS bnd n | Just imp <- lookup n bnd = annotate (AnnBoundName n im
13841384 where strName (UN n) = T.unpack n
13851385 strName (NS n ns) | showNS = (concatMap (++ ".") . map T.unpack . reverse) ns ++ strName n
13861386 | otherwise = strName n
1387− strName (MN i s) = T.unpack s
1387+ strName (MN i s) = T.unpack s
13881388 strName other = show other
13891389
13901390