summaryrefslogtreecommitdiff
path: root/testsuite/tests/overloadedrecflds/ghci/overloadedrecfldsghci01.script
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/overloadedrecflds/ghci/overloadedrecfldsghci01.script')
-rw-r--r--testsuite/tests/overloadedrecflds/ghci/overloadedrecfldsghci01.script13
1 files changed, 13 insertions, 0 deletions
diff --git a/testsuite/tests/overloadedrecflds/ghci/overloadedrecfldsghci01.script b/testsuite/tests/overloadedrecflds/ghci/overloadedrecfldsghci01.script
new file mode 100644
index 0000000000..05acd82962
--- /dev/null
+++ b/testsuite/tests/overloadedrecflds/ghci/overloadedrecfldsghci01.script
@@ -0,0 +1,13 @@
+:set -XOverloadedRecordFields
+data S = MkS { foo :: Int }
+data T a = MkT { foo :: Bool, bar :: a -> a }
+:type foo
+foo (MkS 42)
+foo (MkT True id)
+:set -XNoOverloadedRecordFields
+-- Should be ambiguous
+:type foo
+data U = MkU { foo :: Int }
+-- New foo should shadow the old ones
+:type foo
+foo (MkU 42)