Commit 16005083 authored by Simon Peyton Jones's avatar Simon Peyton Jones
Browse files

Test Trac #6134

parent 09d687b2
{-# LANGUAGE MultiParamTypeClasses, FlexibleContexts, FunctionalDependencies #-}
module T6134 where
class C a b | a -> b
f :: C Int b => Int -> Int
f = undefined
......@@ -379,3 +379,4 @@ test('T5792',normal,run_command,
test('PolytypeDecomp', normal, compile, [''])
test('T6011', normal, compile, [''])
test('T6055', normal, compile, [''])
test('T6134', normal, compile, [''])
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment