1 %PASSED Output from LCLint 3.0b-alpha
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
15 %LCLsort _HOF_sort_13 hof nil nil
16 %LCLsort _int_Obj obj int nil
17 %LCLsort __int_Obj_Ptr ptr _int_Obj nil
18 %LCLsort __int_Obj_Arr arr _int_Obj nil
19 %LCLsort _int_Vec vec int __int_Obj_Arr
22 %LCLop min :int, int -> int
23 %LCLop max :int, int -> int
28 %LCLop if __ then __ else __ :bool, bool, bool -> bool
29 %LCLop if __ then __ else __ :bool, int, int -> int
30 %LCLop if __ then __ else __ :bool, double, double -> double
31 %LCLop if __ then __ else __ :bool, _char_Vec, _char_Vec -> _char_Vec
32 %LCLop if __ then __ else __ :bool, char, char -> char
33 %LCLop __ < __ :int, int -> bool
34 %LCLop __ < __ :double, double -> bool
35 %LCLop empty : -> _char_Vec
36 %LCLop __ > __ :int, int -> bool
37 %LCLop __ > __ :double, double -> bool
38 %LCLop count :char, _char_Vec -> int
39 %LCLop head :_char_Vec -> char
40 %LCLop __ \inv :double -> double
41 %LCLop init :_char_Vec -> _char_Vec
42 %LCLop isEmpty :_char_Vec -> bool
43 %LCLop last :_char_Vec -> char
44 %LCLop len :_char_Vec -> int
45 %LCLop prefix :_char_Vec, int -> _char_Vec
46 %LCLop __ / __ :double, double -> double
47 %LCLop __ \implies __ :bool, bool -> bool
48 %LCLop removePrefix :_char_Vec, int -> _char_Vec
49 %LCLop substring :_char_Vec, int, int -> _char_Vec
50 %LCLop __ || __ :_char_Vec, _char_Vec -> _char_Vec
51 %LCLop tail :_char_Vec -> _char_Vec
52 %LCLop __ \in __ :char, _char_Vec -> bool
53 %LCLop nullTerminated :_char_Vec -> bool
54 %LCLop throughNull :_char_Vec -> _char_Vec
55 %LCLop sameStr :_char_Vec, _char_Vec -> bool
56 %LCLop lenStr :_char_Vec -> int
57 %LCLop times10plus :int, int -> int
58 %LCLop plus1 :int -> int
67 %LCLop __ * __ :int, int -> int
68 %LCLop __ * __ :double, double -> double
70 %LCLop false : -> bool
71 %LCLop __ \and __ :bool, bool -> bool
72 %LCLop __ \or __ :bool, bool -> bool
73 %LCLop __ \eq __ :bool, bool -> bool
74 %LCLop __ \eq __ :int, int -> bool
75 %LCLop __ \eq __ :double, double -> bool
76 %LCLop __ \eq __ :_char_Vec, _char_Vec -> bool
77 %LCLop __ \eq __ :char, char -> bool
78 %LCLop \not __ :bool -> bool
79 %LCLop __ \neq __ :bool, bool -> bool
80 %LCLop __ \neq __ :int, int -> bool
81 %LCLop __ \neq __ :double, double -> bool
82 %LCLop __ \neq __ :_char_Vec, _char_Vec -> bool
83 %LCLop __ \neq __ :char, char -> bool
84 %LCLop { __ } :char -> _char_Vec
85 %LCLop __ [] :__char_Obj_Ptr -> __char_Obj_Arr
86 %LCLop __ [] :__int_Obj_Ptr -> __int_Obj_Arr
87 %LCLop __ |- __ :_char_Vec, char -> _char_Vec
88 %LCLop __ [__] :_char_Vec, int -> char
89 %LCLop __ [__] :__char_Obj_Arr, int -> _char_Obj
90 %LCLop __ [__] :_int_Vec, int -> int
91 %LCLop __ [__] :__int_Obj_Arr, int -> _int_Obj
92 %LCLop __ -| __ :char, _char_Vec -> _char_Vec
93 %LCLop __ \leq __ :int, int -> bool
94 %LCLop __ \leq __ :double, double -> bool
95 %LCLop __ \geq __ :int, int -> bool
96 %LCLop __ \geq __ :double, double -> bool
98 %LCLop NIL : -> __char_Obj_Ptr
99 %LCLop NIL : -> __int_Obj_Ptr
100 %LCLop - __ :int -> int
101 %LCLop - __ :double -> double
102 %LCLop __ + __ :__char_Obj_Ptr, int -> __char_Obj_Ptr
103 %LCLop __ + __ :int, __char_Obj_Ptr -> __char_Obj_Ptr
104 %LCLop __ + __ :int, int -> int
105 %LCLop __ + __ :double, double -> double
106 %LCLop __ + __ :__int_Obj_Ptr, int -> __int_Obj_Ptr
107 %LCLop __ + __ :int, __int_Obj_Ptr -> __int_Obj_Ptr
108 %LCLop __ - __ :__char_Obj_Ptr, int -> __char_Obj_Ptr
109 %LCLop __ - __ :__char_Obj_Ptr, __char_Obj_Ptr -> int
110 %LCLop __ - __ :int, int -> int
111 %LCLop __ - __ :double, double -> double
112 %LCLop __ - __ :__int_Obj_Ptr, int -> __int_Obj_Ptr
113 %LCLop __ - __ :__int_Obj_Ptr, __int_Obj_Ptr -> int
114 %LCLop sizeof :bool -> int
115 %LCLop sizeof :int -> int
116 %LCLop sizeof :char -> int
117 %LCLop sizeof :void -> int
118 %LCLop sizeof :float -> int
119 %LCLop sizeof :double -> int
120 %LCLop isSub :_char_Vec, int -> bool
121 %LCLop isSub :__char_Obj_Arr, int -> bool
122 %LCLop isSub :_int_Vec, int -> bool
123 %LCLop isSub :__int_Obj_Arr, int -> bool
124 %LCLop succ :int -> int
125 %LCLop pred :int -> int
126 %LCLop abs :int -> int
127 %LCLop abs :double -> double
128 %LCLop div :int, int -> int
129 %LCLop mod :int, int -> int
130 %LCLtype float float exposed
131 %LCLtype bool bool immutable
134 %LCLvar f _HOF_sort_13
135 %LCLfcn g : __int_Obj_Ptr -> int