Halting in clause guard produces incorrect behavior

orc-lang / orc

Orc programming language implementation

https://orc.csres.utexas.edu/

BSD 3-Clause "New" or "Revised" License

40 stars 3 forks source link

Halting in clause guard produces incorrect behavior #110

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago

The program:

def f(x) if (stop) = x
def f(x) = x+1
f(0)

should publish 1, according to section 4.2.6 condition #3 in the reference 
manual.

However, it halts instead.

This indicates a bug in the desugaring of guards for patterns.

Original issue reported on code.google.com by dkitc...@gmail.com on 20 Nov 2012 at 8:15

GoogleCodeExporter commented 9 years ago

Original comment by arthur.peters on 29 Nov 2012 at 8:53

Added labels: Milestone-2.1

GoogleCodeExporter commented 9 years ago

Original comment by arthur.peters on 29 Nov 2012 at 8:53

Added labels: Priority-Medium
Removed labels: Priority-Low

GoogleCodeExporter commented 9 years ago

Original comment by arthur.peters on 29 Nov 2012 at 9:39

GoogleCodeExporter commented 9 years ago

Fixed in r3123

Original comment by arthur.peters on 4 Dec 2012 at 10:19

Changed state: Fixed