Add AllowAmbiguousTypes for test

junjihashimoto · junjihashimoto · commit 26f8fd156f1d · 2021-07-22T16:12:30.000+09:00
diff --git a/test/should-compile/GHC/TypeLits/Test.hs b/test/should-compile/GHC/TypeLits/Test.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE DataKinds, RankNTypes, TypeFamilies, TypeOperators #-}
+{-# LANGUAGE DataKinds, RankNTypes, TypeFamilies, TypeOperators, AllowAmbiguousTypes #-}
 {-# OPTIONS_GHC -fplugin TypeLevel.Rewrite
                 -fplugin-opt=TypeLevel.Rewrite:GHC.TypeLits.RewriteRules.NatRule
                 -fplugin-opt=TypeLevel.Rewrite:GHC.TypeLits.RewriteRules.SymbolRule #-}

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-{-# LANGUAGE DataKinds, RankNTypes, TypeFamilies, TypeOperators #-}`
	`1`	`+{-# LANGUAGE DataKinds, RankNTypes, TypeFamilies, TypeOperators, AllowAmbiguousTypes #-}`
`2`	`2`	`{-# OPTIONS_GHC -fplugin TypeLevel.Rewrite`
`3`	`3`	`-fplugin-opt=TypeLevel.Rewrite:GHC.TypeLits.RewriteRules.NatRule`
`4`	`4`	`-fplugin-opt=TypeLevel.Rewrite:GHC.TypeLits.RewriteRules.SymbolRule #-}`