Commit 71399424 authored by batterseapower's avatar batterseapower
Browse files

Add test that caused <<loop>> before fix to associated type defaults

parent cec1859d
...@@ -349,6 +349,7 @@ test('tc254', normal, compile, ['']) ...@@ -349,6 +349,7 @@ test('tc254', normal, compile, [''])
test('tc255', normal, compile, ['']) test('tc255', normal, compile, [''])
test('tc256', normal, compile, ['']) test('tc256', normal, compile, [''])
test('tc257', normal, compile, ['']) test('tc257', normal, compile, [''])
test('tc258', normal, compile, [''])
test('GivenOverlapping', normal, compile, ['']) test('GivenOverlapping', normal, compile, [''])
test('SilentParametersOverlapping', normal, compile, ['']) test('SilentParametersOverlapping', normal, compile, [''])
......
{-# LANGUAGE ConstraintKinds, TypeFamilies, UndecidableInstances #-}
module AltPrelude where
class MyFunctor f where
type FunctorCtxt f a :: Constraint
type FunctorCtxt f a = ()
(<$>) :: (FunctorCtxt f a, FunctorCtxt f b) => (a -> b) -> f a -> f b
class MyFunctor ap => MyApplicative ap where
type ApplicativeCtxt ap a :: Constraint
type ApplicativeCtxt ap a = FunctorCtxt ap a
(<*>) :: (ApplicativeCtxt ap a, ApplicativeCtxt ap b) => ap (a -> b) -> ap a -> ap b
Markdown is supported
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