4 files changed, 12 insertions, 10 deletions
diff --git a/testsuite/tests/determinism/determ004/determ004.hs b/testsuite/tests/determinism/determ004/determ004.hs
index 756075031d..1361d76a0e 100644
--- a/testsuite/tests/determinism/determ004/determ004.hs
+++ b/testsuite/tests/determinism/determ004/determ004.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE TypeOperators
+{-# LANGUAGE TypeOperators, StarIsType
            , DataKinds
            , PolyKinds
            , TypeFamilies
diff --git a/testsuite/tests/determinism/determ014/A.hs b/testsuite/tests/determinism/determ014/A.hs
index fb7a538ebd..35ea20f225 100644
--- a/testsuite/tests/determinism/determ014/A.hs
+++ b/testsuite/tests/determinism/determ014/A.hs
@@ -11,6 +11,8 @@
 
 module KeyValue where
 
+import Data.Kind
+
 data AccValidation err a = AccFailure err | AccSuccess a
 
 data KeyValueError = MissingValue
@@ -23,11 +25,11 @@ missing = rpure missingField
     missingField :: forall x. (WithKeyValueError :. f) x
     missingField = Compose $ AccFailure [MissingValue]
 
-data Rec :: (u -> *) -> [u] -> * where
+data Rec :: (u -> Type) -> [u] -> Type where
   RNil :: Rec f '[]
   (:&) :: !(f r) -> !(Rec f rs) -> Rec f (r ': rs)
 
-newtype Compose (f :: l -> *) (g :: k -> l) (x :: k)
+newtype Compose (f :: l -> Type) (g :: k -> l) (x :: k)
   = Compose { getCompose :: f (g x) }
 
 type (:.) f g = Compose f g
diff --git a/testsuite/tests/determinism/determ017/A.hs b/testsuite/tests/determinism/determ017/A.hs
index 2540be4b29..5e3c3d0809 100644
--- a/testsuite/tests/determinism/determ017/A.hs
+++ b/testsuite/tests/determinism/determ017/A.hs
@@ -20,7 +20,7 @@
 -- | Module "Trampoline" defines the pipe computations and their basic building blocks.
 
 {-# LANGUAGE ScopedTypeVariables, Rank2Types, MultiParamTypeClasses,
-             TypeFamilies, KindSignatures, FlexibleContexts,
+             TypeFamilies, KindSignatures, FlexibleContexts, NoMonadFailDesugaring,
              FlexibleInstances, OverlappingInstances, UndecidableInstances
  #-}
 
diff --git a/testsuite/tests/determinism/determ021/determ021.stdout b/testsuite/tests/determinism/determ021/determ021.stdout
index 93cd3af04d..1f6a636ade 100644
--- a/testsuite/tests/determinism/determ021/determ021.stdout
+++ b/testsuite/tests/determinism/determ021/determ021.stdout
@@ -2,21 +2,21 @@
 TYPE SIGNATURES
   test2 ::
     forall (f :: * -> *) t b.
-    (Num b, Num t, Applicative f) =>
+    (Applicative f, Num t, Num b) =>
     (t -> f b) -> f b
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.12.0.0, ghc-prim-0.5.3,
+                     integer-gmp-1.0.2.0]
 [1 of 1] Compiling A                ( A.hs, A.o )
 TYPE SIGNATURES
   test2 ::
     forall (f :: * -> *) t b.
-    (Num b, Num t, Applicative f) =>
+    (Applicative f, Num t, Num b) =>
     (t -> f b) -> f b
 TYPE CONSTRUCTORS
 COERCION AXIOMS
 Dependent modules: []
-Dependent packages: [base-4.10.0.0, ghc-prim-0.5.1.0,
-                     integer-gmp-1.0.1.0]
+Dependent packages: [base-4.12.0.0, ghc-prim-0.5.3,
+                     integer-gmp-1.0.2.0]