TypeApplications does not imply AllowAmbiguousTypes
[ghc.git] / testsuite / tests / dependent / should_compile / RaeJobTalk.hs
index c03503d..2f0edf8 100644 (file)
@@ -1,7 +1,7 @@
 {- Copyright (c) 2016 Richard Eisenberg
  -}
 
-{-# LANGUAGE TypeOperators, TypeFamilies, TypeApplications,
+{-# LANGUAGE TypeOperators, TypeFamilies, TypeApplications, AllowAmbiguousTypes,
              ExplicitForAll, ScopedTypeVariables, GADTs, TypeFamilyDependencies,
              TypeInType, ConstraintKinds, UndecidableInstances,
              FlexibleInstances, MultiParamTypeClasses, FunctionalDependencies,