File: test22.m

package info (click to toggle)
elpi 2.0.7-3
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 50,296 kB
  • sloc: ml: 18,791; makefile: 229; python: 95; sh: 7
file content (29 lines) | stat: -rw-r--r-- 367 bytes parent folder | download | duplicates (4) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
 
:- module test22.

:- interface.

:- import_module io.

:- pred main(io::di, io::uo) is det.

:- implementation.

:- import_module list.
:- import_module int.

:- pred f(int::out) is det.
:- pred r(pred int).

:- mode r(out(pred(out) is det)) is det.

:- pred aux(int::out) is det.

aux(3).

f(X) :- r(P), P(X).

r(aux). 

main(!IO) :-
  f(S),
  io.write_line(S,!IO).