search

google-code-export / omega

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

Arrow types displayed wrongly #83

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
r357 produces:

prompt> (\f a -> f a)
<fn> : forall 'a 'b.'a -> 'b -> 'a -> 'b

It should be:

prompt> (\f a -> f a)
<fn> : forall 'a 'b.('a -> 'b) -> 'a -> 'b

Original issue reported on code.google.com by ggr...@gmail.com on 8 Jan 2011 at 2:30

GoogleCodeExporter commented 9 years ago

Original comment by ggr...@gmail.com on 8 Jan 2011 at 9:57

GoogleCodeExporter commented 9 years ago 
r535-r537 is it.

prompt> \ c b f a -> (f c a b)

<fn> : 
forall 'a 'b 'c 'd.'a -> 'b -> ('a -> 'c -> 'b -> 'd) -> 'c -> 'd

Original comment by ggr...@gmail.com on 8 Jan 2011 at 11:05