Ticket #8477: request.hs

File request.hs, 298 bytes (added by aavogt, 6 months ago)
Line 
1{-# LANGUAGE FlexibleInstances, MultiParamTypeClasses, ScopedTypeVariables, TypeFamilies #-}
2class C a b where c :: a -> b
3instance (int ~ Integer) => C Integer int where c = (+1)
4-- I want this definition accepted without a type signature
5-- (possibly needing a language extension)
6c2 x = c (c x)