ranha · January 15, 2012 20:57
diff --git a/nyan.cpp b/nyan.cpp
 template<typename T>
 void f(T,T){}

 int main()
 {
    f("",0);
    return 0;
 }
diff --git a/nyan.hs b/nyan.hs
 {-# LANGUAGE RankNTypes , TypeSynonymInstances #-}

 class C a where
  x :: a
  
 instance C Int where
  x = 0
  
 instance C String where
  x = "0"
  
 f :: forall a . a -> a -> ()
 f _ _ = ()

 main = print $ show $ f "" x
	{-# LANGUAGE RankNTypes , TypeSynonymInstances #-}

	class C a where
	x :: a

	instance C Int where
	x = 0

	instance C String where
	x = "0"

	f :: forall a . a -> a -> ()
	f _ _ = ()

	main = print $ show $ f "" x