Defined but not used in TcPatSyn

Joachim Breitner

11 Apr 2014 11 Apr '14

4:19 p.m.

Hi, someone introduced a validate error recently: compiler/typecheck/TcPatSyn.lhs:324:19: Warning: Defined but not used: `lit' compiler/typecheck/TcPatSyn.lhs:325:17: Warning: Defined but not used: `n' Greetings, Joachim -- Joachim “nomeata” Breitner mail@joachim-breitner.de • http://www.joachim-breitner.de/ Jabber: nomeata@joachim-breitner.de • GPG-Key: 0x4743206C Debian Developer: nomeata@debian.org

Attachments:

signature.asc (application/pgp-signature — 819 bytes)

Show replies by date

Edward Z. Yang

11 Apr 11 Apr

5:21 p.m.

Judging from affect files, probably commit c269b7e85524f4a8be3cd0f00e107207ab9197af Author: Dr. ERDI Gergo Date: Thu Apr 10 22:13:00 2014 +0800 Split off pattern synonym definition checking from pattern inversion Edward Excerpts from Joachim Breitner's message of 2014-04-11 13:19:06 -0700:

...

Hi,

someone introduced a validate error recently:

compiler/typecheck/TcPatSyn.lhs:324:19: Warning: Defined but not used: `lit'

compiler/typecheck/TcPatSyn.lhs:325:17: Warning: Defined but not used: `n'

Greetings, Joachim

Joachim Breitner

12 Apr 12 Apr

4:32 a.m.

Hi, Am Freitag, den 11.04.2014, 14:21 -0700 schrieb Edward Z.Yang:

...

Judging from affect files, probably

commit c269b7e85524f4a8be3cd0f00e107207ab9197af Author: Dr. ERDI Gergo Date: Thu Apr 10 22:13:00 2014 +0800

Split off pattern synonym definition checking from pattern inversion

quite likely; Gergo has fixed this now. It now fails with =====> as-pattern(normal) 3652 of 3950 [0, 0, 0] Actual stderr output differs from expected: --- /dev/null 2014-04-12 01:15:42.517232560 +0000 +++ ./patsyn/should_fail/as-pattern.comp.stderr 2014-04-12 01:45:41.904702080 +0000 @@ -0,0 +1 @@ +<command line>: does not exist: as-pattern.hs *** unexpected failure for as-pattern(normal) Gergo, did you forget to add a file to git? Greetings, Joachim -- Joachim “nomeata” Breitner mail@joachim-breitner.de • http://www.joachim-breitner.de/ Jabber: nomeata@joachim-breitner.de • GPG-Key: 0x4743206C Debian Developer: nomeata@debian.org

Dr. ERDI Gergo

4:36 a.m.

On Sat, 12 Apr 2014, Joachim Breitner wrote:

...

quite likely; Gergo has fixed this now.

It now fails with

=====> as-pattern(normal) 3652 of 3950 [0, 0, 0] Actual stderr output differs from expected: --- /dev/null 2014-04-12 01:15:42.517232560 +0000 +++ ./patsyn/should_fail/as-pattern.comp.stderr 2014-04-12 01:45:41.904702080 +0000 @@ -0,0 +1 @@ +<command line>: does not exist: as-pattern.hs *** unexpected failure for as-pattern(normal)

Gergo, did you forget to add a file to git?

Yes. Aargh. Fixed now.

Joachim Breitner

5:50 a.m.

Hi, Am Samstag, den 12.04.2014, 16:36 +0800 schrieb Dr. ERDI Gergo:

...

On Sat, 12 Apr 2014, Joachim Breitner wrote:

...
quite likely; Gergo has fixed this now.

It now fails with

=====> as-pattern(normal) 3652 of 3950 [0, 0, 0] Actual stderr output differs from expected: --- /dev/null 2014-04-12 01:15:42.517232560 +0000 +++ ./patsyn/should_fail/as-pattern.comp.stderr 2014-04-12 01:45:41.904702080 +0000 @@ -0,0 +1 @@ +<command line>: does not exist: as-pattern.hs *** unexpected failure for as-pattern(normal)

Gergo, did you forget to add a file to git?

Yes. Aargh. Fixed now.

better. Not it seems that as-pattern.stderr is missing: Actual stderr output differs from expected: --- /dev/null 2014-04-12 08:45:45.769562505 +0000 +++ ./patsyn/should_fail/as-pattern.comp.stderr 2014-04-12 09:17:26.788082628 +0000 @@ -0,0 +1,4 @@ + +as-pattern.hs:4:18: + Pattern synonym definition cannot contain as-patterns (@): + x@(Just y) *** unexpected failure for as-pattern(normal) Greetings, Joachim -- Joachim Breitner e-Mail: mail@joachim-breitner.de Homepage: http://www.joachim-breitner.de Jabber-ID: nomeata@joachim-breitner.de

4059

Age (days ago)

4060

Last active (days ago)

List overview

Download

4 comments

3 participants

participants (3)

Dr. ERDI Gergo
Edward Z. Yang
Joachim Breitner