2020-08-13 13:23 AEST

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0000310mercuryBugpublic2014-02-21 17:04
Assigned Tojuliensf 
PlatformLinuxOSDebianOS Versionwheezy (7.0)
Product Version 
Target VersionFixed in Version 
Summary0000310: The compiler crashes when using existentially typed data types along with instantization states.
DescriptionWhen 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: )'.
TagsNo tags attached.
Attached Files

duplicate of 0000089assignedjuliensf existentially quantified data constructors and inst subtyping do not work together 



juliensf (administrator)

This duplicates 0000089.

-Issue History
Date Modified Username Field Change
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