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

State: | discussion → complete |
---|

### comment:2 Changed 8 years ago by

Section: | N/A or multiple → Expressions |
---|

### comment:3 Changed 3 years ago by

Priority: | → normal |
---|

**Note:**See TracTickets for help on using tickets.

Set default priority (as this confuses Trac otherwise)