Opened 2 years ago

Last modified 22 months ago

#427 new bug

Clash in type var names with nested signatures.

Reported by: benl Owned by:
Priority: normal Milestone:
Component: Source Typing Version: 0.4.2
Keywords: Cc:

Description

Renaming the tyvar 'x' to 'a' etc causes a name clash.

either_Functor {@x: Data}: Functor (Either x)
 = Functor either_fmap
 where
        either_fmap : [a b c: Data]. (b -> c) -> Either a b -> Either a c
        either_fmap f xx
         = case xx of
               Left  xa -> Left xa
               Right xb -> Right (f xb)

Change History (3)

comment:1 Changed 22 months ago by benl

  • Component changed from Source Type Inferencer to Source Typing

comment:2 Changed 22 months ago by benl

  • Milestone none deleted

Milestone deleted

comment:3 Changed 22 months ago by benl

  • Type changed from defect to bug
Note: See TracTickets for help on using tickets.