December 2005 - Glasgow-haskell-users

ghc --make and make
by John Meacham 03 Dec '05

03 Dec '05

I was thinking it would be nice if ghc --make could touch the output file with the timestamp of the most recently modified source file. As it is, if you edit a file in between when ghc --make starts and it finishes (a substantial amount of time in some cases) then 'make' will not realize the dependencies have changed. John -- John Meacham - ⑆repetae.net⑆john⑈

1 0

RE: -fwarn-incomplete-patterns, not always warns
by Simon Peyton-Jones 02 Dec '05

02 Dec '05

It's a GHC weakness. I've added your example to the currently-open bug for it: http://sourceforge.net/tracker/index.php?func=detail&aid=1075259&group_i d=8032&atid=108032 Simon | -----Original Message----- | From: glasgow-haskell-users-bounces(a)haskell.org [mailto:glasgow-haskell-users- | bounces(a)haskell.org] On Behalf Of Neil Mitchell | Sent: 01 December 2005 20:56 | To: glasgow-haskell-users(a)haskell.org | Subject: -fwarn-incomplete-patterns, not always warns | | Hi, | | I have been playing around with -fwarn-incomplete-patterns under GHC | 6.4.1 on Windows. | | -- no warning | ex1 x = ss | where (s:ss) = x | | -- no warning | ex2 x = let (s:ss) = x in ss | | -- Warning: Pattern match(es) are non-exhaustive | -- In a case alternative: Patterns not matched: [] | ex3 x = case x of ~(s:ss) -> ss | | I have translated all 3 functions using the rules supplied in the | Haskell 98 report, so they all have the same meaning, but only one | gives an error. Is it intentional to ignore where/let pattern matches? | | Thanks | | Neil | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users(a)haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

1 0

-fwarn-incomplete-patterns, not always warns
by Neil Mitchell 01 Dec '05

01 Dec '05

Hi, I have been playing around with -fwarn-incomplete-patterns under GHC 6.4.1 on Windows. -- no warning ex1 x = ss where (s:ss) = x -- no warning ex2 x = let (s:ss) = x in ss -- Warning: Pattern match(es) are non-exhaustive -- In a case alternative: Patterns not matched: [] ex3 x = case x of ~(s:ss) -> ss I have translated all 3 functions using the rules supplied in the Haskell 98 report, so they all have the same meaning, but only one gives an error. Is it intentional to ignore where/let pattern matches? Thanks Neil

1 0