search

cartazio / omega

Automatically exported from code.google.com/p/omega
Other
4 stars 0 forks source link

type functions cannot return (* ~> *) #87

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
When I try to compile this:

$ cat ../work/classes.prg

isFunctor :: (* ~> *) ~> (* ~> *)
{isFunctor []} = []

I get:

The number of arguments in the function call: {isFunctor []}
does not match type signature: (*0 ~> *0) ~> *0 ~> *0

The arity check is probably too restrictive.

Original issue reported on code.google.com by ggr...@gmail.com on 26 Jan 2011 at 10:35