[m-users.] Store type difficulties

[Zoltan Somogyi]

2020-07-04 09:47 GMT+10:00 Patrick Henning<pjhenning at fastmail.com>:
> :- pred init_simple_exist(simple_exist).
> init_simple_exist(SimpleE) :-
> store.init(Store),
> SimpleE = simple_exist(Store).

As section 11.3 of the Mercury reference manual says, constructions
of existentially typed terms need to be marked with a special prefix
on the function symbol, and the last line above lacks this prefix.
If you add it, the code compiles cleanly, as shown by the attached
program.

Zoltan.
-------------- next part --------------
A non-text attachment was scrubbed...
Name: store_exist.m
Type: application/octet-stream
Size: 480 bytes
Desc: not available
URL: <http://lists.mercurylang.org/archives/users/attachments/20200704/1b0b37ad/attachment.obj>