#90: type inference failure in ghc/hugs extensions ---------------------------------+------------------------------------------ Reporter: guest | Owner: nobody Type: defect | Status: new Priority: major | Milestone: Component: hugs | Version: 200609 Keywords: instance extensions | ---------------------------------+------------------------------------------ Oleg recently posted on the mailing list haskell@haskell.org a magic coercion that makes pairs of numbers (x,y) behave as complex numbers. Aside from context, the type should be (a,a). The trick works with option -fglasgow-exts in ghc releases at least since 6.8.3. However in hugs Sept 2006 under option -98, it fails type inference. As I understand the documentation, option -98 is supposed to support the necessary extensions in common with ghc. Is the inconsistent handling of the attached fragment a bug, a feature, or perhaps an undefined corner of the semantics? Doug McIlroy doug@cs.dartmouth.edu -- Ticket URL: http://hackage.haskell.org/trac/hugs/ticket/90 Hugs http://www.haskell.org/hugs/ Hugs 98, an interpreter for Haskell