From 51fad9e6693fdf8964d104425122d0010229c939 Mon Sep 17 00:00:00 2001 From: Richard Eisenberg Date: Thu, 3 Oct 2019 23:20:13 +0100 Subject: Break up TcRnTypes, among other modules. This introduces three new modules: - basicTypes/Predicate.hs describes predicates, moving this logic out of Type. Predicates don't really exist in Core, and so don't belong in Type. - typecheck/TcOrigin.hs describes the origin of constraints and types. It was easy to remove from other modules and can often be imported instead of other, scarier modules. - typecheck/Constraint.hs describes constraints as used in the solver. It is taken from TcRnTypes. No work other than module splitting is in this patch. This is the first step toward homogeneous equality, which will rely more strongly on predicates. And homogeneous equality is the next step toward a dependently typed core language. --- compiler/GHC/StgToCmm/Ticky.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'compiler/GHC') diff --git a/compiler/GHC/StgToCmm/Ticky.hs b/compiler/GHC/StgToCmm/Ticky.hs index 06ef520c0d..7548f3de13 100644 --- a/compiler/GHC/StgToCmm/Ticky.hs +++ b/compiler/GHC/StgToCmm/Ticky.hs @@ -131,8 +131,8 @@ import DynFlags -- Turgid imports for showTypeCategory import PrelNames import TcType -import Type import TyCon +import Predicate import Data.Maybe import qualified Data.Char -- cgit v1.2.1