0000310: The compiler crashes when using existentially typed data types along with instantization states.

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0000310

mercury

Bug

public

2014-01-22 12:33

2014-02-21 17:04

Reporter

bwitkowski

Assigned To

juliensf

Priority

normal

Severity

crash

Reproducibility

always

Status

closed

Resolution

duplicate

Platform

Linux

Debian

OS Version

wheezy (7.0)

Product Version

Target Version

Fixed in Version

Summary

0000310: The compiler crashes when using existentially typed data types along with instantization states.

Description

When using existentially typed data types and instance declarations a predicates will fail to compile ("mode error in unification of `HeadVar__1'...") full error message below.

Steps To Reproduce

$ mmc --version
Mercury Compiler, version 13.05.2, configured for x86_64-unknown-linux-gnu
Copyright (C) 1993-2013 The University of Melbourne

$ mmc -E scheme.m
scheme.m:026: In clause for `on_lisp_val(in((scheme.lisp_val)))':
scheme.m:026: in argument 1 of clause head:
scheme.m:026: mode error in unification of `HeadVar__1' and
scheme.m:026: `scheme.lisp_function(TypeClassInfo_for_store, V_3, V_4)'.
scheme.m:026: Variable `HeadVar__1' has instantiatedness
scheme.m:026: `bound(scheme.lisp_atom(ground) ; scheme.lisp_function(ground,
scheme.m:026: ground))',
scheme.m:026: term `scheme.lisp_function(TypeClassInfo_for_store, V_3, V_4)'
scheme.m:026: has instantiatedness `scheme.lisp_function(
scheme.m:026: free,
scheme.m:026: free,
scheme.m:026: free
scheme.m:026: )'.

Tags

No tags attached.

Attached Files

scheme.m (717 bytes) 2014-01-22 12:33

Relationships

duplicate of

0000089

assigned

juliensf

existentially quantified data constructors and inst subtyping do not work together

Relationships

Notes

~0000649

juliensf (administrator)

2014-02-21 17:04

This duplicates 0000089.

Notes

Date Modified	Username	Field	Change
Issue History
2014-01-22 12:33	bwitkowski	New Issue
2014-01-22 12:33	bwitkowski	File Added: scheme.m
2014-02-21 17:04	juliensf	Note Added: 0000649
2014-02-21 17:04	juliensf	Status	new => closed
2014-02-21 17:04	juliensf	Assigned To	=> juliensf
2014-02-21 17:04	juliensf	Resolution	open => duplicate
2014-02-21 17:04	juliensf	Relationship added	duplicate of 0000089

Issue History