0000420: try goals lost in .opt files

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000420

mercury

Bug

public

2016-09-14 16:06

2016-09-19 14:31

Reporter

wangp

Assigned To

wangp

Priority

normal

Severity

major

Reproducibility

always

Status

resolved

Resolution

fixed

Product Version

Target Version

Fixed in Version

Summary

0000420: try goals lost in .opt files

Description

`try' goals are not written out to .opt files. When the body is open coded into the caller, any exceptions that it was supposed to catch would not be caught.

This is similar to bug 0000391 for trace goals.

The test case currently produces this in the .opt file:

try_goal_opt.bad_try(V_5, V_6, V_10, V_11) :-
    ( % try
      % io(V_10, V_11)
      exception.magic_exception_result(V_12),
      ( % disjunction
        V_12 = exception.succeeded(V_14) : exception.exception_result({}),
        V_14 = {} : {},
        some [] (
          V_15 = V_10,
          call(V_5, V_8, V_15, V_11)
        ),
        some [] (
          V_6 = V_8
        )
      ;
        V_12 = exception.exception(V_13) : exception.exception_result({}),
        V_9 = exception.exc_univ_value(V_13),
        exception.throw(V_9),
        V_11 = V_10
      )
    ).

Tags

No tags attached.

Attached Files

try_goal_opt.m (403 bytes) 2016-09-14 16:06

Relationships

Relationships

Notes

~0000910

wangp (developer)

2016-09-19 14:31

Fixed by commit 1e0025b

Notes

Date Modified	Username	Field	Change
Issue History
2016-09-14 16:06	wangp	New Issue
2016-09-14 16:06	wangp	File Added: try_goal_opt.m
2016-09-16 14:36	wangp	Assigned To	=> wangp
2016-09-16 14:36	wangp	Status	new => assigned
2016-09-19 14:31	wangp	Status	assigned => resolved
2016-09-19 14:31	wangp	Resolution	open => fixed
2016-09-19 14:31	wangp	Note Added: 0000910

Issue History