1 %FAILED Output from LCLint 2.5q
4 %LCLsort bool immutable nil nil
5 %LCLsort Bool synonym bool nil
6 %LCLsort int primitive nil nil
7 %LCLsort char primitive nil nil
8 %LCLsort void primitive nil nil
9 %LCLsort _char_Obj obj char nil
10 %LCLsort __char_Obj_Ptr ptr _char_Obj nil
11 %LCLsort __char_Obj_Arr arr _char_Obj nil
12 %LCLsort _char_Vec vec char __char_Obj_Arr
13 %LCLsort float primitive nil nil
14 %LCLsort double primitive nil nil
17 %LCLop min :int, int -> int
18 %LCLop max :int, int -> int
23 %LCLop if __ then __ else __ :bool, bool, bool -> bool
24 %LCLop if __ then __ else __ :bool, int, int -> int
25 %LCLop if __ then __ else __ :bool, double, double -> double
26 %LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec
27 %LCLop if __ then __ else __ :bool, char, char -> char
28 %LCLop __ < __ :int, int -> bool
29 %LCLop __ < __ :double, double -> bool
30 %LCLop empty : -> _char_Vec
31 %LCLop __ > __ :int, int -> bool
32 %LCLop __ > __ :double, double -> bool
33 %LCLop count :char, _char_Vec -> int
34 %LCLop head :_char_Vec -> char
35 %LCLop __ \inv :double -> double
36 %LCLop init :_char_Vec -> _char_Vec
37 %LCLop isEmpty :_char_Vec -> bool
38 %LCLop last :_char_Vec -> char
39 %LCLop len :_char_Vec -> int
40 %LCLop prefix :_char_Vec, int -> _char_Vec
41 %LCLop __ / __ :double, double -> double
42 %LCLop __ \implies __ :bool, bool -> bool
43 %LCLop removePrefix :_char_Vec, int -> _char_Vec
44 %LCLop substring :_char_Vec, int, int -> _char_Vec
45 %LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec
46 %LCLop tail :_char_Vec -> _char_Vec
47 %LCLop __ \in __ :char, _char_Vec -> bool
48 %LCLop nullTerminated :_char_Vec -> bool
49 %LCLop throughNull :_char_Vec -> _char_Vec
50 %LCLop sameStr :_char_Vec, _char_Vec -> bool
51 %LCLop lenStr :_char_Vec -> int
52 %LCLop times10plus :int, int -> int
53 %LCLop plus1 :int -> int
62 %LCLop __ * __ :int, int -> int
63 %LCLop __ * __ :double, double -> double
65 %LCLop false : -> bool
66 %LCLop __ \and __ :bool, bool -> bool
67 %LCLop __ \or __ :bool, bool -> bool
68 %LCLop __ \eq __ :bool, bool -> bool
69 %LCLop __ \eq __ :int, int -> bool
70 %LCLop __ \eq __ :double, double -> bool
71 %LCLop __ \eq __ :_char_Vec, _char_Vec -> bool
72 %LCLop __ \eq __ :char, char -> bool
73 %LCLop \not __ :bool -> bool
74 %LCLop __ \neq __ :bool, bool -> bool
75 %LCLop __ \neq __ :int, int -> bool
76 %LCLop __ \neq __ :double, double -> bool
77 %LCLop __ \neq __ :_char_Vec, _char_Vec -> bool
78 %LCLop __ \neq __ :char, char -> bool
79 %LCLop { __ } :char -> _char_Vec
80 %LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
81 %LCLop __ |- __ :_char_Vec, char -> _char_Vec
82 %LCLop __ [__] :_char_Vec, int -> char
83 %LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
84 %LCLop __ -| __ :char, _char_Vec -> _char_Vec
85 %LCLop __ \leq __ :int, int -> bool
86 %LCLop __ \leq __ :double, double -> bool
87 %LCLop __ \geq __ :int, int -> bool
88 %LCLop __ \geq __ :double, double -> bool
90 %LCLop NIL : -> __char_Obj_Ptr
91 %LCLop - __ :int -> int
92 %LCLop - __ :double -> double
93 %LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr
94 %LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr
95 %LCLop __ + __ :int, int -> int
96 %LCLop __ + __ :double, double -> double
97 %LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr
98 %LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int
99 %LCLop __ - __ :int, int -> int
100 %LCLop __ - __ :double, double -> double
101 %LCLop sizeof :bool -> int
102 %LCLop sizeof :int -> int
103 %LCLop sizeof :char -> int
104 %LCLop sizeof :void -> int
105 %LCLop sizeof :float -> int
106 %LCLop sizeof :double -> int
107 %LCLop isSub :_char_Vec, int -> bool
108 %LCLop isSub :__char_Obj_Arr, int -> bool
109 %LCLop succ :int -> int
110 %LCLop pred :int -> int
111 %LCLop abs :int -> int
112 %LCLop abs :double -> double
113 %LCLop div :int, int -> int
114 %LCLop mod :int, int -> int
115 %LCLtype float float exposed
116 %LCLtype bool bool immutable