Ticket #7827: 0001-Test-Trac-7827.patch

File 0001-Test-Trac-7827.patch, 1.1 KB (added by parcs, 23 months ago)
  • new file tests/typecheck/should_compile/T7827.hs

    From 47b8a55f66049189e59d163cceebe7a099b7e997 Mon Sep 17 00:00:00 2001
    From: Patrick Palka <[email protected]>
    Date: Thu, 11 Apr 2013 16:26:03 -0400
    Subject: [PATCH] Test Trac #7827
    
    ---
     tests/typecheck/should_compile/T7827.hs |    5 +++++
     tests/typecheck/should_compile/all.T    |    1 +
     2 files changed, 6 insertions(+)
     create mode 100644 tests/typecheck/should_compile/T7827.hs
    
    diff --git a/tests/typecheck/should_compile/T7827.hs b/tests/typecheck/should_compile/T7827.hs
    new file mode 100644
    index 0000000..230b890
    - +  
     1{-# LANGUAGE ScopedTypeVariables #-} 
     2module T7827 where 
     3 
     4bug :: a -> () 
     5bug ((_ :: a) :: a) = () 
  • tests/typecheck/should_compile/all.T

    diff --git a/tests/typecheck/should_compile/all.T b/tests/typecheck/should_compile/all.T
    index 9160781..8af6430 100644
    a b test('UnboxStrictPrimitiveFields', normal, compile, ['']) 
    398398test('T7541', normal, compile, ['']) 
    399399test('T7562', normal, compile, ['']) 
    400400test('T7641', normal, compile, ['']) 
     401test('T7827', normal, compile, [''])