Opened 8 years ago

Last modified 3 years ago

#140 new modification

Small report fixes

Reported by: Ian Lynagh Owned by:
Priority: normal Milestone: Haskell 201x
Version: Keywords:
Cc: Meta Owner:
State: complete Section: Expressions
Related Tickets:

Description

In Section 3.16:

Replace:

exp  →  exp :: [context =>] type

Expression type-signatures have the form e :: t, where e is an expression and t is a type (Section 4.1.2);
they are used to type an expression explicitly and may be used to resolve ambiguous typings due to
overloading (see Section 4.3.4). The value of the expression is just that of exp. As with normal type
signatures (see Section 4.4.1), the declared type may be more specific than the principal type derivable from
exp, but it is an error to give a type that is more general than, or not comparable to, the principal type.

with:

exp  →  infixexp :: [context =>] type

Expression type-signatures have the form e :: t, where e is an expression and t is a type (Section 4.1.2);
they are used to type an expression explicitly and may be used to resolve ambiguous typings due to
overloading (see Section 4.3.4). The value of the expression is just that of e. As with normal type
signatures (see Section 4.4.1), the declared type may be more specific than the principal type derivable from
e, but it is an error to give a type that is more general than, or not comparable to, the principal type.

The first change makes 3.16 consistent with the opening of 3 and with 10.5.

Change History (4)

comment:1 Changed 8 years ago by Ian Lynagh

State: discussioncomplete

comment:2 Changed 8 years ago by Ian Lynagh

Section: N/A or multipleExpressions

comment:3 Changed 3 years ago by Herbert Valerio Riedel

Priority: normal

Set default priority (as this confuses Trac otherwise)

comment:4 Changed 3 years ago by Herbert Valerio Riedel

remove owners from legacy tickets

Note: See TracTickets for help on using tickets.