fork download 
  1. {-# LANGUAGE RankNTypes, KindSignatures, MultiParamTypeClasses, FunctionalDependencies #-}
  2.  
  3. module Test where 
  4.  
  5. import Prelude hiding (div)
  6.  
  7. class MonadWidget t (m :: * -> *) | m -> t 
  8.  
  9. div :: forall t m a . MonadWidget t m => m a -> m a
  10. div = (undefined :: forall t m a . MonadWidget t m => m a -> m a)
  11.  
  12. app :: forall t m . MonadWidget t m => m ()
  13. app = (div (undefined :: forall t m . MonadWidget t m => m ())
  14.         :: forall t m . MonadWidget t m => m () )
Compilation error #stdin compilation error #stdout 0s 0KB
comments (?)
stdin 
Standard input is empty
compilation info 
[1 of 1] Compiling Test             ( prog.hs, prog.o )
Warning: output was redirected with -o, but no output will be generated
because there is no Main module.
stdout 
Standard output is empty
https://ideone.com/GBAcVs
language:
Haskell (ghc 8.4.4)
created:
8 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!