Mercurial > urweb

annotate tests/localfun.ur @ 2196:100352dbae36

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fix tricky case of functor signature subsumption
author Adam Chlipala <adam@chlipala.net>
date Fri, 27 Nov 2015 15:28:12 -0500
parents 5f478ecf65e4
children
rev   line source
adam@1888 1 fun boom s =
adam@1888 2 let
adam@1888 3 val bonk =
adam@1888 4 debug s;
adam@1888 5 debug s;
adam@1888 6 debug s;
adam@1888 7 debug s;
adam@1888 8 debug s;
adam@1888 9 debug s;
adam@1888 10 debug s;
adam@1888 11 debug s;
adam@1888 12 debug s;
adam@1888 13 debug s;
adam@1888 14 debug s;
adam@1888 15 debug s;
adam@1888 16 debug s;
adam@1888 17 debug s;
adam@1888 18 debug s;
adam@1888 19 debug s;
adam@1888 20 debug s;
adam@1888 21 debug s;
adam@1888 22 debug s;
adam@1888 23 debug s;
adam@1888 24 debug s;
adam@1888 25 debug s;
adam@1888 26 debug s;
adam@1888 27 debug s;
adam@1888 28 debug s;
adam@1888 29 debug s;
adam@1888 30 debug s;
adam@1888 31 debug s;
adam@1888 32 debug s;
adam@1888 33 debug s;
adam@1888 34 debug s;
adam@1888 35 debug s;
adam@1888 36 debug s;
adam@1888 37 debug s;
adam@1888 38 debug s;
adam@1888 39 debug s;
adam@1888 40 debug s;
adam@1888 41 debug s;
adam@1888 42 debug s;
adam@1888 43 debug s;
adam@1888 44 debug s;
adam@1888 45 debug s;
adam@1888 46 debug s;
adam@1888 47 debug s;
adam@1888 48 debug s;
adam@1888 49 debug s;
adam@1888 50 debug s;
adam@1888 51 debug s;
adam@1888 52 debug s;
adam@1888 53 debug s;
adam@1888 54 debug s;
adam@1888 55 debug s;
adam@1888 56 debug s;
adam@1888 57 debug s;
adam@1888 58 debug s;
adam@1888 59 debug s;
adam@1888 60 debug s;
adam@1888 61 debug s;
adam@1888 62 debug s
adam@1888 63
adam@1888 64 val boonk = fn () =>
adam@1888 65 debug s;
adam@1888 66 debug s;
adam@1888 67 debug s;
adam@1888 68 debug s;
adam@1888 69 debug s;
adam@1888 70 debug s;
adam@1888 71 debug s;
adam@1888 72 debug s;
adam@1888 73 debug s;
adam@1888 74 debug s;
adam@1888 75 debug s;
adam@1888 76 debug s;
adam@1888 77 debug s;
adam@1888 78 debug s;
adam@1888 79 debug s;
adam@1888 80 debug s;
adam@1888 81 debug s;
adam@1888 82 debug s;
adam@1888 83 debug s;
adam@1888 84 debug s;
adam@1888 85 debug s;
adam@1888 86 debug s;
adam@1888 87 debug s;
adam@1888 88 debug s;
adam@1888 89 debug s;
adam@1888 90 debug s;
adam@1888 91 debug s;
adam@1888 92 debug s;
adam@1888 93 debug s;
adam@1888 94 debug s;
adam@1888 95 debug s;
adam@1888 96 debug s;
adam@1888 97 debug s;
adam@1888 98 debug s;
adam@1888 99 debug s;
adam@1888 100 debug s;
adam@1888 101 debug s;
adam@1888 102 debug s;
adam@1888 103 debug s;
adam@1888 104 debug s;
adam@1888 105 debug s;
adam@1888 106 debug s;
adam@1888 107 debug s;
adam@1888 108 debug s;
adam@1888 109 debug s;
adam@1888 110 debug s;
adam@1888 111 debug s;
adam@1888 112 debug s;
adam@1888 113 debug s;
adam@1888 114 debug s;
adam@1888 115 debug s;
adam@1888 116 debug s;
adam@1888 117 debug s;
adam@1888 118 debug s;
adam@1888 119 debug s;
adam@1888 120 debug s;
adam@1888 121 debug s;
adam@1888 122 debug s;
adam@1888 123 debug s
adam@1888 124
adam@1888 125 fun booonk () =
adam@1888 126 debug s;
adam@1888 127 debug s;
adam@1888 128 debug s;
adam@1888 129 debug s;
adam@1888 130 debug s;
adam@1888 131 debug s;
adam@1888 132 debug s;
adam@1888 133 debug s;
adam@1888 134 debug s;
adam@1888 135 debug s;
adam@1888 136 debug s;
adam@1888 137 debug s;
adam@1888 138 debug s;
adam@1888 139 debug s;
adam@1888 140 debug s;
adam@1888 141 debug s;
adam@1888 142 debug s;
adam@1888 143 debug s;
adam@1888 144 debug s;
adam@1888 145 debug s;
adam@1888 146 debug s;
adam@1888 147 debug s;
adam@1888 148 debug s;
adam@1888 149 debug s;
adam@1888 150 debug s;
adam@1888 151 debug s;
adam@1888 152 debug s;
adam@1888 153 debug s;
adam@1888 154 debug s;
adam@1888 155 debug s;
adam@1888 156 debug s;
adam@1888 157 debug s;
adam@1888 158 debug s;
adam@1888 159 debug s;
adam@1888 160 debug s;
adam@1888 161 debug s;
adam@1888 162 debug s;
adam@1888 163 debug s;
adam@1888 164 debug s;
adam@1888 165 debug s;
adam@1888 166 debug s;
adam@1888 167 debug s;
adam@1888 168 debug s;
adam@1888 169 debug s;
adam@1888 170 debug s;
adam@1888 171 debug s;
adam@1888 172 debug s;
adam@1888 173 debug s;
adam@1888 174 debug s;
adam@1888 175 debug s;
adam@1888 176 debug s;
adam@1888 177 debug s;
adam@1888 178 debug s;
adam@1888 179 debug s;
adam@1888 180 debug s;
adam@1888 181 debug s;
adam@1888 182 debug s;
adam@1888 183 debug s;
adam@1888 184 debug s
adam@1888 185 in
adam@1888 186 bonk; bonk; boonk (); boonk (); booonk (); booonk ()
adam@1888 187 end
adam@1888 188
adam@1888 189 fun main () : transaction page =
adam@1888 190 boom "test";
adam@1888 191 return <xml/>