[changed syntax of fixed assoc tysyns from `=' to `:=' mail@stefanwehr.de**20050527015609] { hunk ./Lexer.x 108 - ".." | ":" | "::" | "=" | \\ | "|" | "<-" | "->" | "@" | "~" | "=>" | "-" + ".." | ":" | "::" | "=" | ":=" | \\ | "|" | "<-" | "->" | "@" | "~" | "=>" | "-" hunk ./Parser.y 76 + ':=' { T _ (ReservedOpT ":=") } hunk ./Parser.y 125 - : 'type' tycon tyvars { (AssocTypeSig $2 (reverse $3) Nothing) } - | 'type' tycon tyvars '=' type { (AssocTypeSig $2 (reverse $3) (Just $5)) } + : 'type' tycon tyvars { (AssocTypeSig $2 (reverse $3) Nothing) } + | 'type' tycon tyvars ':=' type { (AssocTypeSig $2 (reverse $3) (Just $5)) } hunk ./tests/fixed-assoc-types/should_fail/000.phc 6 - type T2 a = T1 a; + type T2 a := T1 a; hunk ./tests/fixed-assoc-types/should_fail/001.phc 2 - type T a = a; + type T a := a; hunk ./tests/fixed-assoc-types/should_fail/002.phc 4 - type T a = D; + type T a := D; hunk ./tests/fixed-assoc-types/should_fail/003.phc 4 - type T a = D a a; + type T a := D a a; hunk ./tests/fixed-assoc-types/should_fail/allow-diverge/000.phc 6 - type T a = S a; + type T a := S a; hunk ./tests/fixed-assoc-types/should_pass/000.phc 2 - type T a = Int; + type T a := Int; hunk ./tests/fixed-assoc-types/should_pass/001.phc 4 - type T a = D a; + type T a := D a; hunk ./tests/fixed-assoc-types/should_pass/allow-diverge/000.phc 6 - type T a = S a; + type T a := S a; }