mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-12 12:26:29 +00:00
Code Issues Projects Releases Wiki Activity

In the example use of c_pointer, use a no_tag type rather

Browse Source 
Estimated hours taken: 0.25

doc/reference_manual.texi:
	In the example use of c_pointer, use a no_tag type rather
	than an equivalence type, so that type class instance
	declarations will work properly for such a type.
This commit is contained in:
Fergus Henderson
2000-02-08 12:18:48 +00:00
parent 736424a5e6
commit fdcba4702b
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
doc/reference_manual.texi
View File

@@ -4117,6 +4117,7 @@ which is now mode-correct, executing that, and so on.
(There is no interleaving of different individual conjuncts or function calls,
however; the sub-goals are reordered, not split and interleaved.)
Function application is strict, not lazy.
@c XXX should document the operational semantics of switches and if-then-elses
Mercury implementations are required to provide a method of processing
Mercury programs which is equivalent to the strict sequential
@@ -4848,7 +4849,8 @@ between C functions which are called from Mercury. For example:
:- implementation.
% Our C structure is implemented as a c_pointer.
:- type complicated_c_structure == c_pointer.
:- type complicated_c_structure --->
complicated_c_structure(c_pointer).
:- pragma c_header_code("
extern struct foo *init_struct(void);