diff --git a/common/AST.hs b/common/AST.hs index d0abf20..4440884 100644 --- a/common/AST.hs +++ b/common/AST.hs @@ -335,7 +335,7 @@ data Alternative = -- | A @SKIP@ guard (one that is always ready). -- The 'Expression' is the pre-condition. | AlternativeSkip Meta Expression Process - -- | A @wait for@/@until@ guard. + -- | A @wait for@\/@until@ guard. | AlternativeWait Meta WaitMode Expression Process deriving (Show, Eq, Typeable, Data) diff --git a/common/ShowCode.hs b/common/ShowCode.hs index 0d00b4a..2873e46 100644 --- a/common/ShowCode.hs +++ b/common/ShowCode.hs @@ -180,9 +180,9 @@ instance ShowRain A.Variable where -- | Extends an existing (probably generic) function with cases for everything that has a specific ShowOccam and ShowRain instance -- This is a bit of manual wiring. Because we can't generically deduce whether or not --- a given Data item has a showRain/showOccam implementation (that I know of), I have +-- a given Data item has a showRain\/showOccam implementation (that I know of), I have -- had to add this function that has a line for each type that does have a --- ShowOccam/ShowRain implementation. But since to add a type to the ShowOccam/ShowRain +-- ShowOccam\/ShowRain implementation. But since to add a type to the ShowOccam\/ShowRain -- classes you have to provide a specific instance above anyway, I don't think that adding -- one more line while you're at it is too bad. extCode :: Typeable b => (b -> Doc) -> (forall a. (ShowOccam a, ShowRain a) => a -> String) -> (b -> Doc)