fork download 
  1. {-# LANGUAGE RankNTypes, KindSignatures, MultiParamTypeClasses, FunctionalDependencies #-}
  2. {-# LANGUAGE NoMonomorphismRestriction #-}
  3.  
  4. module Test where 
  5.  
  6. import Prelude hiding (div)
  7.  
  8. class MonadWidget t (m :: * -> *) | m -> t 
  9.  
  10. -- div :: forall t m a . MonadWidget t m => m a -> m a
  11. div = (undefined :: forall t m a . MonadWidget t m => m a -> m a)
  12.  
  13. -- app :: forall t m . MonadWidget t m => m ()
  14. app = (div (undefined :: forall t m . MonadWidget t m => m ())
  15.         :: 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/TksLHm
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!