Mercury Bugs - mercury
View Issue Details
0000529mercuryBugpublic2021-02-20 15:472021-02-26 17:57
Assigned Tozs 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000529: higher order inst from existentially quantified data constructors
DescriptionAs reported on m-users 2021-02-16, deconstructing a data constructor with existentially quantified type variables leaves a higher order argument with inst 'ground' even if higher order inst information is available from the du type definition.
Steps To Reproduce% mmc -e exist_cons_ho_arg.m
exist_cons_ho_arg.m:026: In clause for `main(di, uo)':
exist_cons_ho_arg.m:026: in argument 1 (i.e. the predicate term) of
exist_cons_ho_arg.m:026: higher-order predicate call:
exist_cons_ho_arg.m:026: mode error: variable `Pred' has instantiatedness
exist_cons_ho_arg.m:026: `ground',
exist_cons_ho_arg.m:026: expecting higher-order pred inst of arity 1.
TagsNo tags attached.
Attached Files? exist_cons_ho_arg.m (484) 2021-02-20 15:47

2021-02-26 17:57   
Fix committed 2021 feb 24.

Issue History
2021-02-20 15:47wangpNew Issue
2021-02-20 15:47wangpFile Added: exist_cons_ho_arg.m
2021-02-26 17:57zsAssigned To => zs
2021-02-26 17:57zsStatusnew => resolved
2021-02-26 17:57zsResolutionopen => fixed
2021-02-26 17:57zsNote Added: 0001132