Ticket #23 (new modification)

Opened 3 years ago

Last modified 3 years ago

fix common pitfall with the do-notation and if-then-else

Reported by: ijones Assigned to: nhn@cs.nott.ac.uk
Priority: major Milestone:
Component: Proposal Version:
Keywords: Cc:
Impact: minor Adopt: probably yes
Topic: Lexical Syntax

Description (Last modified by ross@soi.city.ac.uk)

See DoAndIfThenElse.

Change History

01/06/06 15:09:24 changed by ijones

  • owner changed from ijones to nhn@cs.nott.ac.uk.

01/27/06 04:49:29 changed by ross@soi.city.ac.uk

  • description changed.
  • summary changed from add proposal to fix common pitfalls with the do-notation and if-then-else to fix common pitfall with the do-notation and if-then-else.

01/27/06 07:57:56 changed by ross@soi.city.ac.uk

  • adopt set to probably yes.

02/03/06 00:39:21 changed by ross@soi.city.ac.uk

  • impact changed from normal to minor.

02/03/06 00:40:17 changed by ross@soi.city.ac.uk

  • type changed from task to modification.

03/01/06 15:17:08 changed by john@galois.com

  • topic set to Syntax.

03/03/06 16:08:33 changed by ijones

  • topic changed from Syntax to Lexical Syntax.