From: sof Date: Fri, 15 Jan 1999 10:49:21 +0000 (+0000) Subject: [project @ 1999-01-15 10:49:05 by sof] X-Git-Tag: Approx_2487_patches~97 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=9d5e91646c332bd7650577a891b2c6d76a24bdb6;p=ghc-hetmet.git [project @ 1999-01-15 10:49:05 by sof] Minor syntactic h98 updates --- diff --git a/ghc/tests/deSugar/should_compile/ds001.hs b/ghc/tests/deSugar/should_compile/ds001.hs index 0358f20..a62c7b4 100644 --- a/ghc/tests/deSugar/should_compile/ds001.hs +++ b/ghc/tests/deSugar/should_compile/ds001.hs @@ -1,4 +1,4 @@ ---!!! ds001 -- simple function and pattern bindings +-- !!! ds001 -- simple function and pattern bindings -- -- this tests ultra-simple function and pattern bindings (no patterns) diff --git a/ghc/tests/deSugar/should_compile/ds002.hs b/ghc/tests/deSugar/should_compile/ds002.hs index d754636..a63de94 100644 --- a/ghc/tests/deSugar/should_compile/ds002.hs +++ b/ghc/tests/deSugar/should_compile/ds002.hs @@ -1,4 +1,4 @@ ---!!! ds002 -- overlapping equations and guards +-- !!! ds002 -- overlapping equations and guards -- -- this tests "overlapping" variables and guards diff --git a/ghc/tests/deSugar/should_compile/ds003.hs b/ghc/tests/deSugar/should_compile/ds003.hs index f68346d..0faff0e 100644 --- a/ghc/tests/deSugar/should_compile/ds003.hs +++ b/ghc/tests/deSugar/should_compile/ds003.hs @@ -1,4 +1,4 @@ ---!!! ds003 -- list, tuple, lazy, as patterns +-- !!! ds003 -- list, tuple, lazy, as patterns -- module Test where diff --git a/ghc/tests/deSugar/should_compile/ds004.hs b/ghc/tests/deSugar/should_compile/ds004.hs index ef9d0b4..cd89e18 100644 --- a/ghc/tests/deSugar/should_compile/ds004.hs +++ b/ghc/tests/deSugar/should_compile/ds004.hs @@ -1,4 +1,4 @@ ---!!! ds004 -- nodups from SLPJ p 79 +-- !!! ds004 -- nodups from SLPJ p 79 -- module Test where diff --git a/ghc/tests/deSugar/should_compile/ds005.hs b/ghc/tests/deSugar/should_compile/ds005.hs index 505d500..6fca84b 100644 --- a/ghc/tests/deSugar/should_compile/ds005.hs +++ b/ghc/tests/deSugar/should_compile/ds005.hs @@ -1,4 +1,4 @@ ---!!! ds005 -- mappairs from SLPJ Ch 5' +-- !!! ds005 -- mappairs from SLPJ Ch 5' -- -- this simply tests a "typical" example diff --git a/ghc/tests/deSugar/should_compile/ds006.hs b/ghc/tests/deSugar/should_compile/ds006.hs index 6df589e..ba05547 100644 --- a/ghc/tests/deSugar/should_compile/ds006.hs +++ b/ghc/tests/deSugar/should_compile/ds006.hs @@ -1,4 +1,4 @@ ---!!! ds006 -- v | True = v+1 | False = v (dead code elim) +-- !!! ds006 -- v | True = v+1 | False = v (dead code elim) -- module Test where diff --git a/ghc/tests/deSugar/should_compile/ds007.hs b/ghc/tests/deSugar/should_compile/ds007.hs index 5b2b752..dd0fcd5 100644 --- a/ghc/tests/deSugar/should_compile/ds007.hs +++ b/ghc/tests/deSugar/should_compile/ds007.hs @@ -1,4 +1,4 @@ ---!!! ds007 -- simple local bindings +-- !!! ds007 -- simple local bindings module ShouldSucceed where diff --git a/ghc/tests/deSugar/should_compile/ds008.hs b/ghc/tests/deSugar/should_compile/ds008.hs index 1264d13..a97470d 100644 --- a/ghc/tests/deSugar/should_compile/ds008.hs +++ b/ghc/tests/deSugar/should_compile/ds008.hs @@ -1,4 +1,4 @@ ---!!! ds008 -- free tyvars on RHSs +-- !!! ds008 -- free tyvars on RHSs -- -- these tests involve way-cool TyApps diff --git a/ghc/tests/deSugar/should_compile/ds009.hs b/ghc/tests/deSugar/should_compile/ds009.hs index 370b629..ba20556 100644 --- a/ghc/tests/deSugar/should_compile/ds009.hs +++ b/ghc/tests/deSugar/should_compile/ds009.hs @@ -1,4 +1,4 @@ ---!!! ds009 -- simple list comprehensions +-- !!! ds009 -- simple list comprehensions module SimpleListComp where diff --git a/ghc/tests/deSugar/should_compile/ds010.hs b/ghc/tests/deSugar/should_compile/ds010.hs index a49c09c..abf6fa1 100644 --- a/ghc/tests/deSugar/should_compile/ds010.hs +++ b/ghc/tests/deSugar/should_compile/ds010.hs @@ -1,4 +1,4 @@ ---!!! ds010 -- deeply-nested list comprehensions +-- !!! ds010 -- deeply-nested list comprehensions module Test where diff --git a/ghc/tests/deSugar/should_compile/ds011.hs b/ghc/tests/deSugar/should_compile/ds011.hs index 8b12d93..f9dc13d 100644 --- a/ghc/tests/deSugar/should_compile/ds011.hs +++ b/ghc/tests/deSugar/should_compile/ds011.hs @@ -1,4 +1,4 @@ ---!!! ds011 -- uses of "error" +-- !!! ds011 -- uses of "error" module Tests where diff --git a/ghc/tests/deSugar/should_compile/ds012.hs b/ghc/tests/deSugar/should_compile/ds012.hs index 390db58..8870881 100644 --- a/ghc/tests/deSugar/should_compile/ds012.hs +++ b/ghc/tests/deSugar/should_compile/ds012.hs @@ -1,4 +1,4 @@ ---!!! ds012 -- simple Integer arithmetic +-- !!! ds012 -- simple Integer arithmetic -- module Tests where diff --git a/ghc/tests/deSugar/should_compile/ds013.hs b/ghc/tests/deSugar/should_compile/ds013.hs index 9b5b4b3..da7267d 100644 --- a/ghc/tests/deSugar/should_compile/ds013.hs +++ b/ghc/tests/deSugar/should_compile/ds013.hs @@ -1,4 +1,4 @@ ---!!! ds013 -- simple Rational arithmetic +-- !!! ds013 -- simple Rational arithmetic module Tests where diff --git a/ghc/tests/deSugar/should_compile/ds014.hs b/ghc/tests/deSugar/should_compile/ds014.hs index cf1ccb1..8770cb7 100644 --- a/ghc/tests/deSugar/should_compile/ds014.hs +++ b/ghc/tests/deSugar/should_compile/ds014.hs @@ -1,5 +1,5 @@ ---!!! ds014 -- character and string literals ---!!! really should add ALL weird forms... +-- !!! ds014 -- character and string literals +-- !!! really should add ALL weird forms... module Tests where diff --git a/ghc/tests/deSugar/should_compile/ds015.hs b/ghc/tests/deSugar/should_compile/ds015.hs index 5c2164e..b14cc6e 100644 --- a/ghc/tests/deSugar/should_compile/ds015.hs +++ b/ghc/tests/deSugar/should_compile/ds015.hs @@ -1,4 +1,4 @@ ---!!! ds015 -- lambdas +-- !!! ds015 -- lambdas -- module Tests where diff --git a/ghc/tests/deSugar/should_compile/ds016.hs b/ghc/tests/deSugar/should_compile/ds016.hs index 57e0053..370c37e 100644 --- a/ghc/tests/deSugar/should_compile/ds016.hs +++ b/ghc/tests/deSugar/should_compile/ds016.hs @@ -1,4 +1,4 @@ ---!!! ds016 -- case expressions +-- !!! ds016 -- case expressions -- module Tests where diff --git a/ghc/tests/deSugar/should_compile/ds017.hs b/ghc/tests/deSugar/should_compile/ds017.hs index 00f9884..2009244 100644 --- a/ghc/tests/deSugar/should_compile/ds017.hs +++ b/ghc/tests/deSugar/should_compile/ds017.hs @@ -1,4 +1,4 @@ ---!!! ds017 -- let expressions +-- !!! ds017 -- let expressions -- module Tests where diff --git a/ghc/tests/deSugar/should_compile/ds018.hs b/ghc/tests/deSugar/should_compile/ds018.hs index b5c4280..00098bd 100644 --- a/ghc/tests/deSugar/should_compile/ds018.hs +++ b/ghc/tests/deSugar/should_compile/ds018.hs @@ -1,4 +1,4 @@ ---!!! ds018 -- explicit lists and tuples +-- !!! ds018 -- explicit lists and tuples -- module Tests where diff --git a/ghc/tests/deSugar/should_compile/ds019.hs b/ghc/tests/deSugar/should_compile/ds019.hs index 32400dd..8056a54 100644 --- a/ghc/tests/deSugar/should_compile/ds019.hs +++ b/ghc/tests/deSugar/should_compile/ds019.hs @@ -1,4 +1,4 @@ ---!!! ds019 -- mixed var and uni-constructor pats +-- !!! ds019 -- mixed var and uni-constructor pats module Test where diff --git a/ghc/tests/deSugar/should_compile/ds020.hs b/ghc/tests/deSugar/should_compile/ds020.hs index ac6ea8d..54a1101 100644 --- a/ghc/tests/deSugar/should_compile/ds020.hs +++ b/ghc/tests/deSugar/should_compile/ds020.hs @@ -1,4 +1,4 @@ ---!!! ds020 -- lazy patterns (in detail) +-- !!! ds020 -- lazy patterns (in detail) -- module Test where diff --git a/ghc/tests/deSugar/should_compile/ds021.hs b/ghc/tests/deSugar/should_compile/ds021.hs index f7e9392..1f33591 100644 --- a/ghc/tests/deSugar/should_compile/ds021.hs +++ b/ghc/tests/deSugar/should_compile/ds021.hs @@ -1,4 +1,4 @@ ---!!! ds021 -- hairier uses of guards +-- !!! ds021 -- hairier uses of guards module Test where diff --git a/ghc/tests/deSugar/should_compile/ds022.hs b/ghc/tests/deSugar/should_compile/ds022.hs index ce07e19..6728710 100644 --- a/ghc/tests/deSugar/should_compile/ds022.hs +++ b/ghc/tests/deSugar/should_compile/ds022.hs @@ -1,4 +1,4 @@ ---!!! ds022 -- literal patterns (wimp version) +-- !!! ds022 -- literal patterns (wimp version) -- module Tests where diff --git a/ghc/tests/deSugar/should_compile/ds023.hs b/ghc/tests/deSugar/should_compile/ds023.hs index ecd6e13..a15c464 100644 --- a/ghc/tests/deSugar/should_compile/ds023.hs +++ b/ghc/tests/deSugar/should_compile/ds023.hs @@ -1,4 +1,4 @@ ---!!! ds023 -- overloading eg from section 9.2 +-- !!! ds023 -- overloading eg from section 9.2 -- module Tests where diff --git a/ghc/tests/deSugar/should_compile/ds024.hs b/ghc/tests/deSugar/should_compile/ds024.hs index 6f0b27a..9c1c9d8 100644 --- a/ghc/tests/deSugar/should_compile/ds024.hs +++ b/ghc/tests/deSugar/should_compile/ds024.hs @@ -1,4 +1,4 @@ ---!!! ds024 -- correct types on ConPatOuts +-- !!! ds024 -- correct types on ConPatOuts -- do all the right types get stuck on all the -- Nils and Conses? diff --git a/ghc/tests/deSugar/should_compile/ds025.hs b/ghc/tests/deSugar/should_compile/ds025.hs index b2ae1fd..8b7651f 100644 --- a/ghc/tests/deSugar/should_compile/ds025.hs +++ b/ghc/tests/deSugar/should_compile/ds025.hs @@ -1,4 +1,4 @@ ---!!! ds025 -- overloaded assoc -- AbsBinds +-- !!! ds025 -- overloaded assoc -- AbsBinds module Util where diff --git a/ghc/tests/deSugar/should_compile/ds026.hs b/ghc/tests/deSugar/should_compile/ds026.hs index ff1f0be..969587d 100644 --- a/ghc/tests/deSugar/should_compile/ds026.hs +++ b/ghc/tests/deSugar/should_compile/ds026.hs @@ -1,4 +1,4 @@ ---!!! ds026 -- classes -- incl. polymorphic method +-- !!! ds026 -- classes -- incl. polymorphic method module ShouldSucceed where diff --git a/ghc/tests/deSugar/should_compile/ds027.hs b/ghc/tests/deSugar/should_compile/ds027.hs index 99a4d93..5f7a545 100644 --- a/ghc/tests/deSugar/should_compile/ds027.hs +++ b/ghc/tests/deSugar/should_compile/ds027.hs @@ -1,4 +1,4 @@ ---!!! ds027 -- simple instances +-- !!! ds027 -- simple instances -- module Test where diff --git a/ghc/tests/deSugar/should_compile/ds028.hs b/ghc/tests/deSugar/should_compile/ds028.hs index 18c0b7d..bec8c19 100644 --- a/ghc/tests/deSugar/should_compile/ds028.hs +++ b/ghc/tests/deSugar/should_compile/ds028.hs @@ -1,4 +1,4 @@ ---!!! ds028: failable pats in top row +-- !!! ds028: failable pats in top row module ShouldSucceed where diff --git a/ghc/tests/deSugar/should_compile/ds029.hs b/ghc/tests/deSugar/should_compile/ds029.hs index fd9f583..833e19b 100644 --- a/ghc/tests/deSugar/should_compile/ds029.hs +++ b/ghc/tests/deSugar/should_compile/ds029.hs @@ -1,4 +1,4 @@ ---!!! ds029: pattern binding with guards (dubious but valid) +-- !!! ds029: pattern binding with guards (dubious but valid) -- module Test where diff --git a/ghc/tests/deSugar/should_compile/ds030.hs b/ghc/tests/deSugar/should_compile/ds030.hs index 7abc4d8..6046fd9 100644 --- a/ghc/tests/deSugar/should_compile/ds030.hs +++ b/ghc/tests/deSugar/should_compile/ds030.hs @@ -1,4 +1,4 @@ ---!!! ds030: checks that types substituted into binders +-- !!! ds030: checks that types substituted into binders -- module Test where diff --git a/ghc/tests/deSugar/should_compile/ds032.hs b/ghc/tests/deSugar/should_compile/ds032.hs index 31bc07e..65f06c3 100644 --- a/ghc/tests/deSugar/should_compile/ds032.hs +++ b/ghc/tests/deSugar/should_compile/ds032.hs @@ -1,4 +1,4 @@ ---!!! recursive funs tangled in an AbsBind +-- !!! recursive funs tangled in an AbsBind module ShouldSucceed where diff --git a/ghc/tests/deSugar/should_compile/ds033.hs b/ghc/tests/deSugar/should_compile/ds033.hs index bdadb58..83a00ca 100644 --- a/ghc/tests/deSugar/should_compile/ds033.hs +++ b/ghc/tests/deSugar/should_compile/ds033.hs @@ -1,4 +1,4 @@ ---!!! getting top-level dependencies right +-- !!! getting top-level dependencies right -- module Test where diff --git a/ghc/tests/deSugar/should_compile/ds034.hs b/ghc/tests/deSugar/should_compile/ds034.hs index d1f2786..47a190e 100644 --- a/ghc/tests/deSugar/should_compile/ds034.hs +++ b/ghc/tests/deSugar/should_compile/ds034.hs @@ -1,4 +1,4 @@ ---!!! mutually-recursive methods in an instance declaration +-- !!! mutually-recursive methods in an instance declaration -- module Test where diff --git a/ghc/tests/deSugar/should_compile/ds037.hs b/ghc/tests/deSugar/should_compile/ds037.hs index 6485341..72eb43a 100644 --- a/ghc/tests/deSugar/should_compile/ds037.hs +++ b/ghc/tests/deSugar/should_compile/ds037.hs @@ -1,4 +1,4 @@ ---!!! AbsBinds with tyvars, no dictvars, but some dict binds +-- !!! AbsBinds with tyvars, no dictvars, but some dict binds -- module ShouldSucceed where diff --git a/ghc/tests/deSugar/should_compile/ds038.hs b/ghc/tests/deSugar/should_compile/ds038.hs index 14e60e9..6436b57 100644 --- a/ghc/tests/deSugar/should_compile/ds038.hs +++ b/ghc/tests/deSugar/should_compile/ds038.hs @@ -1,5 +1,5 @@ ---!!! Jon Hill reported a bug in desugaring this in 0.09 ---!!! (recursive with n+k patts) +-- !!! Jon Hill reported a bug in desugaring this in 0.09 +-- !!! (recursive with n+k patts) -- module ShouldSucceed where diff --git a/ghc/tests/deSugar/should_compile/ds039.hs b/ghc/tests/deSugar/should_compile/ds039.hs index e153bfa..a6588a4 100644 --- a/ghc/tests/deSugar/should_compile/ds039.hs +++ b/ghc/tests/deSugar/should_compile/ds039.hs @@ -1,5 +1,5 @@ ---!!! make sure correct type applications get put in ---!!! when (:) is saturated. +-- !!! make sure correct type applications get put in +-- !!! when (:) is saturated. module ShouldSucceed where diff --git a/ghc/tests/deSugar/should_compile/ds040.hs b/ghc/tests/deSugar/should_compile/ds040.hs index 6d1c17e..8be249b 100644 --- a/ghc/tests/deSugar/should_compile/ds040.hs +++ b/ghc/tests/deSugar/should_compile/ds040.hs @@ -1,4 +1,4 @@ ---!!! Another bug in overloaded n+k patts +-- !!! Another bug in overloaded n+k patts -- main = print ((4::Int) ^^^^ (6::Int)) diff --git a/ghc/tests/deSugar/should_run/dsrun006.hs b/ghc/tests/deSugar/should_run/dsrun006.hs index 0bcda96..759c9c5 100644 --- a/ghc/tests/deSugar/should_run/dsrun006.hs +++ b/ghc/tests/deSugar/should_run/dsrun006.hs @@ -27,7 +27,7 @@ fails with: data X = A {a :: Int} | B {a :: Int} -f x = let A {a} = x +f x = let A {a=a} = x in a main = print (f (A {a = 3}))