May 2003 - Cvs-nhc98 - Haskell.org

cvs-nhc98
by v163＠163.com 11 May '03

11 May '03

你要的网页给你找到了 http://www.creatonly.com/sohusms.htm

1 0

让爱情来找你：http://bigwuhan.com
by love＠chinese.com 11 May '03

11 May '03

ÉíŽŠ¡°·Çµä¡±Ê±ÆÚ£¬Ñ¡ÔñÉÏÍøÕÒ°®Çé£ºhttp://bigwuhan.com µ¥ÉíÅóÓÑµÄÁµ°®ŒÒÔ°¡¡

1 0

让爱情来找你：http://bigwuhan.com
by love＠chinese.com 11 May '03

11 May '03

ÉíŽŠ¡°·Çµä¡±Ê±ÆÚ£¬Ñ¡ÔñÉÏÍøÕÒ°®Çé£ºhttp://bigwuhan.com µ¥ÉíÅóÓÑµÄÁµ°®ŒÒÔ°¡¡

1 0

cvs commit: hat/src/hattools Detect.hs detectutils.c parentset.c parentset.h HatDetect.hs Makefile
by Malcolm Wallace 04 May '03

04 May '03

malcolm 2003/05/04 07:55:43 PDT Modified files: src/hattools HatDetect.hs Makefile Added files: src/hattools Detect.hs detectutils.c parentset.c parentset.h Log: Make hat-detect work again, using the new file format for hat versions >= 2.00. This preliminary re-implementation of hat-detect is not yet fully featured. It allows answering questions yes or no, but does not yet support "maybe". Nor does it support memoisation of previously-seen answers. However, it does deal (nearly) correctly with asking about the application of trusted functions. A trusted application should not be asked as a question unless it has suspect children - the vast majority of trusted applications do not, but it is expensive to determine accurately. In fact, we use an approximation to determine whether the trusted application has untrusted children. Rather than searching the whole file looking for such children, we reason that the only way for such children to arise is in a higher-order application where the untrusted function is passed as an argument. Thus, when determining the trustedness of the function symbol, we simply extend the check a little to determine the trustedness of all function symbols within the (most evaluated form of the) arguments as well. Revision Changes Path 1.21 +325 -330 hat/src/hattools/HatDetect.hs 1.59 +34 -36 hat/src/hattools/Makefile

1 0

cvs commit: hat/src/hattools artutils.c artutils.h
by Malcolm Wallace 04 May '03

04 May '03

malcolm 2003/05/04 07:43:22 PDT Modified files: src/hattools artutils.c artutils.h Log: The routine q_skipNode() now returns the parent of the skipped node. Revision Changes Path 1.19 +24 -18 hat/src/hattools/artutils.c 1.9 +1 -1 hat/src/hattools/artutils.h

1 0

cvs commit: hat/src/hattools FFIExtensions.hs
by Malcolm Wallace 04 May '03

04 May '03

malcolm 2003/05/04 07:41:51 PDT Modified files: src/hattools FFIExtensions.hs Log: Ghc >= 5.04 has the showHex function in the Numeric library. Revision Changes Path 1.5 +4 -0 hat/src/hattools/FFIExtensions.hs

1 0