Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000355OCamlOCaml generalpublic2001-05-11 19:192001-05-11 19:58
Reporteradministrator 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0000355: Compilation du filtrage trop intelligente?
DescriptionBonjour,

Le programme suivant est tres long a` compiler.
Le probleme semble avoir ete' introduit entre le 20 avril et le 8 mai.

Il s'agit essentiellement d'un tres gros match sur les entiers.

Jacques

----------------
(* $Id: reply.ml,v 1.4 2000/06/16 07:21:44 nyoshi Exp $ *)
exception Unknown_Reply of int

type command_reply =
   RPL_TRYAGAIN
 | RPL_TRACEEND
 | RPL_TRACELOG
 | RPL_ADMINEMAIL
 | RPL_ADMINLOC2
 | RPL_ADMINLOC1
 | RPL_ADMINME
 | RPL_LUSERME
 | RPL_LUSERCHANNELS
 | RPL_LUSERUNKNOWN
 | RPL_LUSEROP
 | RPL_LUSERCLIENT
 | RPL_STATSDLINE
 | RPL_STATSDEBUG
 | RPL_STATSDEFINE
 | RPL_STATSBLINE
 | RPL_STATSPING
 | RPL_STATSSLINE
 | RPL_STATSHLINE
 | RPL_STATSOLINE
 | RPL_STATSUPTIME
 | RPL_STATSLLINE
 | RPL_STATSVLINE
 | RPL_SERVLISTEND
 | RPL_SERVLIST
 | RPL_SERVICE
 | RPL_ENDOFSERVICES
 | RPL_SERVICEINFO
 | RPL_UMODEIS
 | RPL_ENDOFSTATS
 | RPL_STATSYLINE
 | RPL_STATSQLINE
 | RPL_STATSKLINE
 | RPL_STATSILINE
 | RPL_STATSNLINE
 | RPL_STATSCLINE
 | RPL_STATSCOMMANDS
 | RPL_STATSLINKINFO
 | RPL_TRACERECONNECT
 | RPL_TRACECLASS
 | RPL_TRACENEWTYPE
 | RPL_TRACESERVICE
 | RPL_TRACESERVER
 | RPL_TRACEUSER
 | RPL_TRACEOPERATOR
 | RPL_TRACEUNKNOWN
 | RPL_TRACEHANDSHAKE
 | RPL_TRACECONNECTING
 | RPL_TRACELINK
 | RPL_NOUSERS
 | RPL_ENDOFUSERS
 | RPL_USERS
 | RPL_USERSSTART
 | RPL_TIME
 | RPL_NOTOPERANYMORE
 | RPL_MYPORTIS
 | RPL_YOURESERVICE
 | RPL_REHASHING
 | RPL_YOUREOPER
 | RPL_ENDOFMOTD
 | RPL_MOTDSTART
 | RPL_ENDOFINFO
 | RPL_INFOSTART
 | RPL_MOTD
 | RPL_INFO
 | RPL_ENDOFBANLIST
 | RPL_BANLIST
 | RPL_ENDOFLINKS
 | RPL_LINKS
 | RPL_CLOSEEND
 | RPL_CLOSING
 | RPL_KILLDONE
 | RPL_ENDOFNAMES
 | RPL_NAMREPLY
 | RPL_ENDOFWHO
 | RPL_WHOREPLY
 | RPL_VERSION
 | RPL_SUMMONING
 | RPL_INVITING
 | RPL_TOPIC
 | RPL_NOTOPIC
 | RPL_CHANNELMODEIS
 | RPL_LISTEND
 | RPL_LIST
 | RPL_LISTSTART
 | RPL_WHOISCHANNELS
 | RPL_ENDOFWHOIS
 | RPL_WHOISIDLE
 | RPL_WHOISCHANOP
 | RPL_ENDOFWHOWAS
 | RPL_WHOWASUSER
 | RPL_WHOISOPERATOR
 | RPL_WHOISSERVER
 | RPL_WHOISUSER
 | RPL_NOWAWAY
 | RPL_UNAWAY
 | RPL_TEXT
 | RPL_ISON
 | RPL_USERHOST
 | RPL_AWAY
 | RPL_NONE

let get_command_reply n =
match n with
   263 -> RPL_TRYAGAIN
 | 319 -> RPL_WHOISCHANNELS
 | 318 -> RPL_ENDOFWHOIS
 | 317 -> RPL_WHOISIDLE
 | 316 -> RPL_WHOISCHANOP
 | 369 -> RPL_ENDOFWHOWAS
 | 314 -> RPL_WHOWASUSER
 | 313 -> RPL_WHOISOPERATOR
 | 312 -> RPL_WHOISSERVER
 | 311 -> RPL_WHOISUSER
 | 262 -> RPL_TRACEEND
 | 261 -> RPL_TRACELOG
 | 259 -> RPL_ADMINEMAIL
 | 258 -> RPL_ADMINLOC2
 | 257 -> RPL_ADMINLOC1
 | 256 -> RPL_ADMINME
 | 255 -> RPL_LUSERME
 | 254 -> RPL_LUSERCHANNELS
 | 253 -> RPL_LUSERUNKNOWN
 | 252 -> RPL_LUSEROP
 | 251 -> RPL_LUSERCLIENT
 | 250 -> RPL_STATSDLINE
 | 249 -> RPL_STATSDEBUG
 | 248 -> RPL_STATSDEFINE
 | 247 -> RPL_STATSBLINE
 | 246 -> RPL_STATSPING
 | 245 -> RPL_STATSSLINE
 | 244 -> RPL_STATSHLINE
 | 243 -> RPL_STATSOLINE
 | 242 -> RPL_STATSUPTIME
 | 241 -> RPL_STATSLLINE
 | 240 -> RPL_STATSVLINE
 | 235 -> RPL_SERVLISTEND
 | 234 -> RPL_SERVLIST
 | 233 -> RPL_SERVICE
 | 232 -> RPL_ENDOFSERVICES
 | 231 -> RPL_SERVICEINFO
 | 221 -> RPL_UMODEIS
 | 219 -> RPL_ENDOFSTATS
 | 218 -> RPL_STATSYLINE
 | 217 -> RPL_STATSQLINE
 | 216 -> RPL_STATSKLINE
 | 215 -> RPL_STATSILINE
 | 214 -> RPL_STATSNLINE
 | 213 -> RPL_STATSCLINE
 | 212 -> RPL_STATSCOMMANDS
 | 211 -> RPL_STATSLINKINFO
 | 210 -> RPL_TRACERECONNECT
 | 209 -> RPL_TRACECLASS
 | 208 -> RPL_TRACENEWTYPE
 | 207 -> RPL_TRACESERVICE
 | 206 -> RPL_TRACESERVER
 | 205 -> RPL_TRACEUSER
 | 204 -> RPL_TRACEOPERATOR
 | 203 -> RPL_TRACEUNKNOWN
 | 202 -> RPL_TRACEHANDSHAKE
 | 201 -> RPL_TRACECONNECTING
 | 200 -> RPL_TRACELINK
 | 395 -> RPL_NOUSERS
 | 394 -> RPL_ENDOFUSERS
 | 393 -> RPL_USERS
 | 392 -> RPL_USERSSTART
 | 391 -> RPL_TIME
 | 385 -> RPL_NOTOPERANYMORE
 | 384 -> RPL_MYPORTIS
 | 383 -> RPL_YOURESERVICE
 | 382 -> RPL_REHASHING
 | 381 -> RPL_YOUREOPER
 | 376 -> RPL_ENDOFMOTD
 | 375 -> RPL_MOTDSTART
 | 374 -> RPL_ENDOFINFO
 | 373 -> RPL_INFOSTART
 | 372 -> RPL_MOTD
 | 371 -> RPL_INFO
 | 368 -> RPL_ENDOFBANLIST
 | 367 -> RPL_BANLIST
 | 365 -> RPL_ENDOFLINKS
 | 364 -> RPL_LINKS
 | 363 -> RPL_CLOSEEND
 | 362 -> RPL_CLOSING
 | 361 -> RPL_KILLDONE
 | 366 -> RPL_ENDOFNAMES
 | 353 -> RPL_NAMREPLY
 | 315 -> RPL_ENDOFWHO
 | 352 -> RPL_WHOREPLY
 | 351 -> RPL_VERSION
 | 342 -> RPL_SUMMONING
 | 341 -> RPL_INVITING
 | 332 -> RPL_TOPIC
 | 331 -> RPL_NOTOPIC
 | 324 -> RPL_CHANNELMODEIS
 | 323 -> RPL_LISTEND
 | 322 -> RPL_LIST
 | 321 -> RPL_LISTSTART
 | 306 -> RPL_NOWAWAY
 | 305 -> RPL_UNAWAY
 | 304 -> RPL_TEXT
 | 303 -> RPL_ISON
 | 302 -> RPL_USERHOST
 | 301 -> RPL_AWAY
 | 300 -> RPL_NONE
 | _ -> raise (Unknown_Reply n)

----------------
----------------
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0000571)
administrator (administrator)
2001-05-11 14:49

>
> ----Next_Part(Fri_May_11_19:19:06_2001_595)--
> Content-Type: Text/Plain; charset=us-ascii
> Content-Transfer-Encoding: 7bit
>
> Bonjour,
>
> Le programme suivant est tres long a` compiler.
> Le probleme semble avoir ete' introduit entre le 20 avril et le 8 mai.
>
> Il s'agit essentiellement d'un tres gros match sur les entiers.
>
> Jacques
>

Autant pour moi, c'est pas qu'il est trop intelligent loin de la`.

J'ai patche' et remplace' un algo exponentiel par un autre qui l'est
moins, mais qui est moins pre'cis. Mais qui revient au me^me dans
ce cas la` ou de toute facon il faut faire une table de saut.



Je vais commettre dans une heure environ.


--Luc

(0000572)
administrator (administrator)
2001-05-11 19:58

Fixed by Luc on may 11 2001


- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker