diff --git a/testsuite/tests/parser/should_compile/T515.lhs b/testsuite/tests/parser/should_compile/T515.lhs new file mode 100644 index 0000000000000000000000000000000000000000..20286cd8d65ce1d7a8a7179a0e597d4f1fef1934 --- /dev/null +++ b/testsuite/tests/parser/should_compile/T515.lhs @@ -0,0 +1,9 @@ +In #515, an LHS file gave warnings attributed to the wrong source location +(i.e., line 1). This regression tests makes sure they are attributed to +the correct line. + +> module Test where +> a = 1 +> b = 2 + +The above should attribute the warnings to lines 6 and 7. diff --git a/testsuite/tests/parser/should_compile/T515.stderr b/testsuite/tests/parser/should_compile/T515.stderr new file mode 100644 index 0000000000000000000000000000000000000000..dde5d47b0e9d1f33d3dbe586583d1b250ef7a633 --- /dev/null +++ b/testsuite/tests/parser/should_compile/T515.stderr @@ -0,0 +1,18 @@ + +T515.lhs:6:3: warning: [-Wmissing-signatures (in -Wall)] + Top-level binding with no type signature: a :: Integer + +T515.lhs:6:7: warning: [-Wtype-defaults (in -Wall)] + Defaulting the following constraint to type ‘Integer’ + Num p0 arising from the literal ‘1’ + In the expression: 1 + In an equation for ‘a’: a = 1 + +T515.lhs:7:3: warning: [-Wmissing-signatures (in -Wall)] + Top-level binding with no type signature: b :: Integer + +T515.lhs:7:7: warning: [-Wtype-defaults (in -Wall)] + Defaulting the following constraint to type ‘Integer’ + Num p0 arising from the literal ‘2’ + In the expression: 2 + In an equation for ‘b’: b = 2 diff --git a/testsuite/tests/parser/should_compile/all.T b/testsuite/tests/parser/should_compile/all.T index 8ea9cce13d35ecba1e2bcc921b2e432d79471bd7..ef76f3ac525bab5189d2ea83d95ad6fd02491cc7 100644 --- a/testsuite/tests/parser/should_compile/all.T +++ b/testsuite/tests/parser/should_compile/all.T @@ -144,3 +144,4 @@ test('T15781', normal, compile, ['']) test('T16339', normal, compile, ['']) test('T16619', requires_th, multimod_compile, ['T16619', '-v0']) test('T504', normal, compile, ['']) +test('T515', literate, compile, ['-Wall'])