search

Frege / eclipse-plugin

The eclipse plugin for frege, codename fregIDE
31 stars 6 forks source link

=> vs -> in type popup #12

Closed Dierk closed 9 years ago

Dierk commented 9 years ago

when hovering over a reference the type is shown. At least in eclipse mars, this comes up as e.g.

liftMx :: Monad m -> (a -> b) -> m a -> m b

whereas in the outline view it is correctly displayed as

liftMx :: Monad m => (a -> b) -> m a -> m b

Ingo60 commented 9 years ago

Luna here. Looks like this is so when you turn off "Use Unicode Symbols" while it is correct in UniCode. I wonder what crap I programmed there, will look into it.

(When changing this property, it will be in effect only in new Editor instances, not in still open ones.)

Dierk commented 9 years ago

ok, makes sense. I am now using unicode symbols ;-)

Ingo60 commented 9 years ago

Since this is not eclipse-specific, I am closing this issue, the case is handled in https://github.com/Frege/frege/issues/153