OpWithInst.hascasl.output revision d591a82b32594f0992b27477cacb00b97226c9c8
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksavars a, b : Type
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksaop __=[s]__ : forall a . a * a -> Unit
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa. (op __=[s]__ : forall a : Type . a * a -> Unit) (a, a)
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa. a =e=[s : Type] a;
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksaop f[a] : a -> Unit
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksaop g[b,a] : a * b -> Unit
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksaop h[b,a] : a -> b
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksaop j[a,b] : a -> b
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksaclass Funct < Type -> Type
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksavars f, F : Funct
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa%% order of var declarations counts
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksaop k[a,f] : f a
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksaop k[b,a,f] : b -> f a
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksaop k[a,b,f] : b -> f a
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksaop l[F,a] : F a
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa%% or explicit forall order
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksaop k[G,b,a] : forall G : Funct; b : Type; a : Type . b -> G a
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa. (op __=[s]__ : forall a : Type . a * a -> Unit) (a, a);
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa%% Classes ---------------------------------------------------------------
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen KuksaFunct < Type -> Type
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa%% Type Constructors -----------------------------------------------------
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa%% Type Variables --------------------------------------------------------
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen KuksaF : Funct %(var_23)%
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksaa : Type %(var_1)%
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksab : Type %(var_2)%
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksaf : Funct %(var_22)%
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa%% Assumptions -----------------------------------------------------------
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa__=[s]__ : forall a : Type . a * a -> Unit %(op)%
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksaf : forall a : Type . a -> Unit %(op)%
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksag[b,a] : forall a : Type; b : Type . a * b -> Unit %(op)%
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksah[b,a] : forall a : Type; b : Type . a -> b %(op)%
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksaj : forall a : Type; b : Type . a -> b %(op)%
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksak : forall a : Type; f : Funct . f a %(op)%
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksak[b,a,f] : forall a : Type; b : Type; f : Funct . b -> f a %(op)%
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksal[F,a] : forall a : Type; F : Funct . F a %(op)%
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa%% Sentences -------------------------------------------------------------
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa%% Diagnostics -----------------------------------------------------------
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa### Hint 4.5, is type variable 'a'
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa### Hint 4.8, is type variable 'b'
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa### Hint 6.6-6.9, is polymorphic compound identifier '__=[s]__'
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa### Hint 8.9-8.12, is polymorphic compound identifier '__=[s]__'
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa### Hint 10.6-10.8, is compound list '[s]'
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa### Hint 11.8-11.15, is type list '[s : Type]'
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa### Warning 15.6, unexpected identifier in compound list 'b'
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa*** Error 15.6-15.8, type scheme 'a * b -> Unit`
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa must correspond to instantiation list '[b, a]'
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa### Warning 17.6, unexpected identifier in compound list 'b'
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa*** Error 17.6-17.8, type scheme 'a -> b`
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa must correspond to instantiation list '[b, a]'
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa### Hint 23.5, is type variable 'f'
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa### Hint 23.8, is type variable 'F'
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa### Warning 26.6, unexpected identifier in compound list 'b'
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa*** Error 26.6-26.12, type scheme 'b -> f a`
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa must correspond to instantiation list '[b, a, f]'
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa### Warning 27.4-27.13, overlapping declaration of 'k'
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa### Warning 29.6, unexpected identifier in compound list 'F'
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa*** Error 29.6-29.9, type scheme 'F a`
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa must correspond to instantiation list '[F, a]'
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa### Hint 32.34, rebound type variable 'b'
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa### Hint 32.37, rebound type variable 'a'
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa### Warning 32.4-32.13, overlapping declaration of 'k'
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa### Hint 34.44, is type list '[s]'
7bb0a9e92bc7a6f868eaa0b9c3212c0af4f96b7fEugen Kuksa### Hint 34.9-34.12, is polymorphic compound identifier '__=[s]__'