@@ -760,23 +760,23 @@ deriving instance NFData PDecl'
760760!-}
761761
762762-- | The set of source directives
763−data Directive = DLib Codegen String |
764− DLink Codegen String |
765− DFlag Codegen String |
766− DInclude Codegen String |
767− DHide Name |
768− DFreeze Name |
769− DAccess Accessibility |
770− DDefault Bool |
771− DLogging Integer |
772− DDynamicLibs [String] |
773− DNameHint Name FC [(Name, FC)] |
774− DErrorHandlers Name FC Name FC [(Name, FC)] |
775− DLanguage LanguageExt |
776− DDeprecate Name String |
777− DFragile Name String |
778− DAutoImplicits Bool |
779− DUsed FC Name Name
763+data Directive = DLib Codegen String
764+ | DLink Codegen String
765+ | DFlag Codegen String
766+ | DInclude Codegen String
767+ | DHide Name
768+ | DFreeze Name
769+ | DAccess Accessibility
770+ | DDefault Bool
771+ | DLogging Integer
772+ | DDynamicLibs [String]
773+ | DNameHint Name FC [(Name, FC)]
774+ | DErrorHandlers Name FC Name FC [(Name, FC)]
775+ | DLanguage LanguageExt
776+ | DDeprecate Name String
777+ | DFragile Name String
778+ | DAutoImplicits Bool
779+ | DUsed FC Name Name
780780
781781-- | A set of instructions for things that need to happen in IState
782782-- after a term elaboration when there's been reflected elaboration.