annotate cp.pl @ 0:cfb7c6b24319

Initial revision
author kono
date Thu, 30 Aug 2007 14:57:44 +0900
parents
children 61743469ee56
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
1
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
2
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
3
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
4
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
5
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
6
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
7
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
8
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
9 compile0(F) :-
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
10 prolog_flag(single_var_warnings,_),!,
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
11 prolog_flag(single_var_warnings,X,off),
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
12 prolog_flag(discontiguous_warnings,Y,off),
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
13 compile(F),
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
14 prolog_flag(single_var_warnings,_,X),
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
15 prolog_flag(discontiguous_warnings,_,Y).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
16 compile0(F) :-
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
17 style_check(-singleton),!,
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
18 style_check(-discontiguous),!,
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
19 compile(F),
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
20 style_check(+discontiguous),
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
21 style_check(+singleton).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
22 compile0(F) :-
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
23 compile(F).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
24
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
25
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
26
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
27
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
28
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
29
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
30
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
31
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
32 copy(X,Y) :- copy_term(X,Y).
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
33
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
34
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
35
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
36 nofileerrors.
cfb7c6b24319 Initial revision
kono
parents:
diff changeset
37 ttynl :- nl,flush.