tag:www.nabble.com,2006:forum-681Nabble - Cyclone - General2008-11-13T09:04:41ZCyclone is a programming language based on C that is safe, meaning that it rules out programs that have buffer overflows, dangling pointers, format string attacks, and so on.tag:www.nabble.com,2006:post-20484889building from cvs fails2008-11-13T09:04:41Z2008-11-13T09:04:41ZFrancois-3Hello,
<br><br>I tried to build Cyclone checked out from CVS, but it fails with the
<br>error below. Any suggestions?
<br><br>Thanks
<br><br>...
<br>********************************* sys/shm.h...
<br>********************************* sys/socket.h...
<br>********************************* sys/stat.h...
<br>********************************* sys/statvfs.h...
<br>********************************* tgmath.h...
<br>********************************* sys/time.h...
<br>********************************* sys/timeb.h...
<br>********************************* sys/times.h...
<br>********************************* sys/types.h...
<br>********************************* sys/uio.h...
<br>********************************* sys/un.h...
<br>********************************* sys/utsname.h...
<br>********************************* sys/wait.h...
<br>********************************* sys/syslog.h...
<br>********************************* tar.h...
<br>********************************* termios.h...
<br>********************************* time.h...
<br>********************************* trace.h...
<br>trace.iA:1:19: error: trace.h: No such file or directory
<br>********************************* ucontext.h...
<br>********************************* ulimit.h...
<br>********************************* unistd.h...
<br>********************************* utime.h...
<br>********************************* utmpx.h...
<br>********************************* wchar.h...
<br>********************************* wctype.h...
<br>********************************* wordexp.h...
<br>/home/manifesto/tmp/build/cyclone-tmp/src/cyclone/bin/cyclone -c
<br>-Ibuild/i686-pc-linux-gnu/include -Iinclude -Ilib/xml
<br>-B/home/manifesto/tmp/build/cyclone-tmp/src/cyclone/bin/lib/cyc-lib
<br>-O -o build/i686-pc-linux-gnu/include/cycstubs.o
<br>build/i686-pc-linux-gnu/include/cycstubs.cyc
<br>make: *** [build/i686-pc-linux-gnu/include/cycstubs.o] Segmentation fault
<br><br><br>CONFIGURE OUTPUT:
<br><br>checking build system type... i686-pc-linux-gnu
<br>checking host system type... i686-pc-linux-gnu
<br>checking target system type... i686-pc-linux-gnu
<br>checking for gcc... gcc
<br>checking for C compiler default output file name... a.out
<br>checking whether the C compiler works... yes
<br>checking whether we are cross compiling... no
<br>checking for suffix of executables...
<br>checking for suffix of object files... o
<br>checking whether we are using the GNU C compiler... yes
<br>checking whether gcc accepts -g... yes
<br>checking for gcc option to accept ISO C89... none needed
<br>checking how to run the C preprocessor... gcc -E
<br>checking for grep that handles long lines and -e... /bin/grep
<br>checking for egrep... /bin/grep -E
<br>checking for ANSI C header files... yes
<br>checking for sys/types.h... yes
<br>checking for sys/stat.h... yes
<br>checking for stdlib.h... yes
<br>checking for string.h... yes
<br>checking for memory.h... yes
<br>checking for strings.h... yes
<br>checking for inttypes.h... yes
<br>checking for stdint.h... yes
<br>checking for unistd.h... yes
<br>checking for char... yes
<br>checking size of char... 1
<br>checking for short... yes
<br>checking size of short... 2
<br>checking for int... yes
<br>checking size of int... 4
<br>checking for long... yes
<br>checking size of long... 4
<br>checking for long long... yes
<br>checking size of long long... 8
<br>checking for void *... yes
<br>checking size of void *... 4
<br>checking for wchar_t... yes
<br>checking size of wchar_t... 4
<br>checking whether wchar_t is unsigned... no
<br>checking for pthread_key_t... yes
<br>checking for /usr/lib/libpcre.a... yes
<br>checking for /usr/local/lib/libpcre.a... no
<br>checking for /usr/lib/libsqlite3.a... no
<br>checking for /usr/local/lib/libsqlite3.a... no
<br>checking for /usr/lib/libssl.a... yes
<br>checking for /usr/local/lib/libssl.a... no
<br>checking whether make sets $(MAKE)... yes
<br>checking for ranlib... ranlib
<br>checking build system type... i686-pc-linux-gnu
<br>checking host system type... i686-pc-linux-gnu
<br>checking target system type... i686-pc-linux-gnu
<br>checking GC version numbers... major=6 minor=7
<br>checking for a BSD-compatible install... /bin/install -c
<br>checking whether build environment is sane... yes
<br>checking for gawk... gawk
<br>checking whether make sets $(MAKE)... yes
<br>checking for gcc... gcc
<br>checking for C compiler default output file name... a.out
<br>checking whether the C compiler works... yes
<br>checking whether we are cross compiling... no
<br>checking for suffix of executables...
<br>checking for suffix of object files... o
<br>checking whether we are using the GNU C compiler... yes
<br>checking whether gcc accepts -g... yes
<br>checking for gcc option to accept ANSI C... none needed
<br>checking for style of include used by make... GNU
<br>checking dependency style of gcc... gcc3
<br>checking for g++... g++
<br>checking whether we are using the GNU C++ compiler... yes
<br>checking whether g++ accepts -g... yes
<br>checking dependency style of g++... gcc3
<br>checking for ar... ar
<br>checking for ranlib... ranlib
<br>checking for a BSD-compatible install... /bin/install -c
<br>checking whether to enable maintainer-specific portions of Makefiles... no
<br>checking for xlc... no
<br>checking for dlopen in -ldl... yes
<br>checking whether to build shared libraries... yes
<br>checking which machine-dependent code should be used...
<br>checking for ld used by GCC... /usr/bin/ld
<br>checking if the linker (/usr/bin/ld) is GNU ld... yes
<br>checking for /usr/bin/ld option to reload object files... -r
<br>checking for BSD-compatible nm... /usr/bin/nm -B
<br>checking whether ln -s works... yes
<br>checking how to recognise dependant libraries... pass_all
<br>checking command to parse /usr/bin/nm -B output... ok
<br>checking how to run the C preprocessor... gcc -E
<br>checking for egrep... grep -E
<br>checking for ANSI C header files... yes
<br>checking for sys/types.h... yes
<br>checking for sys/stat.h... yes
<br>checking for stdlib.h... yes
<br>checking for string.h... yes
<br>checking for memory.h... yes
<br>checking for strings.h... yes
<br>checking for inttypes.h... yes
<br>checking for stdint.h... yes
<br>checking for unistd.h... yes
<br>checking dlfcn.h usability... yes
<br>checking dlfcn.h presence... yes
<br>checking for dlfcn.h... yes
<br>checking for ranlib... (cached) ranlib
<br>checking for strip... strip
<br>checking for objdir... .libs
<br>checking for gcc option to produce PIC... -fPIC
<br>checking if gcc PIC flag -fPIC works... yes
<br>checking if gcc static flag -static works... yes
<br>checking if gcc supports -c -o file.o... yes
<br>checking if gcc supports -c -o file.lo... yes
<br>checking if gcc supports -fno-rtti -fno-exceptions... no
<br>checking whether the linker (/usr/bin/ld) supports shared libraries... yes
<br>checking how to hardcode library paths into programs... immediate
<br>checking whether stripping libraries is possible... yes
<br>checking dynamic linker characteristics... GNU/Linux ld.so
<br>checking if libtool supports shared libraries... yes
<br>checking whether to build shared libraries... no
<br>checking whether to build static libraries... yes
<br>creating libtool
<br>checking sys/dg_sys_info.h usability... no
<br>checking sys/dg_sys_info.h presence... no
<br>checking for sys/dg_sys_info.h... no
<br>checking whether Solaris gcc optimization fix is necessary... no
<br>configure: creating ./config.status
<br>config.status: creating Makefile
<br>config.status: creating doc/Makefile
<br>config.status: creating include/Makefile
<br>config.status: executing depfiles commands
<br>config.status: executing default commands
<br>configure: creating ./config.status
<br>config.status: creating Makefile.inc
<br><br>--
<br>cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=20484889&i=0" target="_top" rel="nofollow">cyclone-l@...</a>
<br><a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a><br>tag:www.nabble.com,2006:post-18974173Re: Building from cvs fails2008-08-13T18:12:01Z2008-08-13T18:12:01ZTrevor JimHi -- I recently committed a change which might have fixed things,
<br>give it a try.
<br><br>If that fails I expect I need to see the directory BUILDLIB.OUT,
<br>which will appear somewhere under the build directory after the
<br>make fails.
<br><br>-Trevor
<br><br>On Jul 24, 2008, at 6:34 AM, Jörgen Tegnér wrote:
<br><div class='shrinkable-quote'><br>> Hi list,
<br>>
<br>> when building from cvs on a debian/sid machine I got the errors below.
<br>> Any ideas on how to proceed?
<br>> Attached are the config.log and the config output.
<br>>
<br>> Jörgen
<br>>
<br>> -------- Forwarded Message --------
<br>> From: Greg Morrisett <<a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=18974173&i=0" target="_top" rel="nofollow">greg@...</a>>
<br>> To: Jörgen Tegnér <<a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=18974173&i=1" target="_top" rel="nofollow">jorgen.tegner@...</a>>
<br>> Subject: Re: Cyclone, building from cvs fails
<br>> Date: Wed, 23 Jul 2008 20:04:37 -0400
<br>>
<br>> Hi Jörgen,
<br>>
<br>> Thanks for the report -- you might want to forward
<br>> to the cyclone mailing list to see if anyone else
<br>> has already run into and/or figured out a solution.
<br>> Undoubtedly, the issue is that some header file has
<br>> changed on Debian and we need to update the configure/
<br>> build process for the Cyclone libraries. It would
<br>> help if you could also attach the results from the
<br>> "make config" step.
<br>>
<br>> -Greg
<br>>
<br>> Jörgen Tegnér wrote:
<br>>> Hi,
<br>>>
<br>>> I've just dowloaded cyclone from cvs and it wouldn't build.
<br>>>
<br>>> Below are part of the make output. Possibly it's the missing headers
<br>>> causing the later failure. Certainly the configure script should have
<br>>> found them missing.
<br>>> teg@burken:~/test/cyclone$ gcc --version
<br>>> gcc (Debian 4.3.1-6) 4.3.1
<br>>>
<br>>> ********************************* ndbm.h...
<br>>> ndbm.iA:1:18: error: ndbm.h: No such file or directory
<br>>> ********************************* net/if.h...
<br>>>
<br>>> ********************************* trace.h...
<br>>> trace.iA:1:19: error: trace.h: No such file or directory
<br>>> ********************************* ucontext.h...
<br>>>
<br>>>
<br>>> /home/teg/test/cyclone/bin/cyclone -c -Ibuild/i686-pc-linux-gnu/
<br>>> include
<br>>> -Iinclude -Ilib/xml -B/home/teg/test/cyclone/bin/lib/cyc-lib -O -o
<br>>> build/i686-pc-linux-gnu/include/cycstubs.o
<br>>> build/i686-pc-linux-gnu/include/cycstubs.cyc
<br>>> make: *** [build/i686-pc-linux-gnu/include/cycstubs.o] Segmentation
<br>>> fault
<br>>>
<br>>> Now, this is not very urgent to fix. I just wanted to play around
<br>>> a bit
<br>>> with cyclone.
<br>>>
<br>>> Thanks<config.log><config.res>
<br>> --
<br>> cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=18974173&i=2" target="_top" rel="nofollow">cyclone-l@...</a>
<br>> <a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a></div><br><br>--
<br>cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=18974173&i=3" target="_top" rel="nofollow">cyclone-l@...</a>
<br><a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a><br>tag:www.nabble.com,2006:post-18629227Building from cvs fails2008-07-24T03:34:42Z2008-07-24T03:34:42ZJörgen Tegnér-2Hi list,
<br><br>when building from cvs on a debian/sid machine I got the errors below.
<br>Any ideas on how to proceed?
<br>Attached are the config.log and the config output.
<br><br>Jörgen
<br><br>-------- Forwarded Message --------
<br>From: Greg Morrisett <<a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=18629227&i=0" target="_top" rel="nofollow">greg@...</a>>
<br>To: Jörgen Tegnér <<a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=18629227&i=1" target="_top" rel="nofollow">jorgen.tegner@...</a>>
<br>Subject: Re: Cyclone, building from cvs fails
<br>Date: Wed, 23 Jul 2008 20:04:37 -0400
<br><br>Hi Jörgen,
<br><br>Thanks for the report -- you might want to forward
<br>to the cyclone mailing list to see if anyone else
<br>has already run into and/or figured out a solution.
<br>Undoubtedly, the issue is that some header file has
<br>changed on Debian and we need to update the configure/
<br>build process for the Cyclone libraries. It would
<br>help if you could also attach the results from the
<br>"make config" step.
<br><br>-Greg
<br><br>Jörgen Tegnér wrote:
<div class='shrinkable-quote'><div class='shrinkable-quote'><br>> Hi,
<br>>
<br>> I've just dowloaded cyclone from cvs and it wouldn't build.
<br>>
<br>> Below are part of the make output. Possibly it's the missing headers
<br>> causing the later failure. Certainly the configure script should have
<br>> found them missing.
<br>> teg@burken:~/test/cyclone$ gcc --version
<br>> gcc (Debian 4.3.1-6) 4.3.1
<br>>
<br>> ********************************* ndbm.h...
<br>> ndbm.iA:1:18: error: ndbm.h: No such file or directory
<br>> ********************************* net/if.h...
<br>>
<br>> ********************************* trace.h...
<br>> trace.iA:1:19: error: trace.h: No such file or directory
<br>> ********************************* ucontext.h...
<br>>
<br>>
<br>> /home/teg/test/cyclone/bin/cyclone -c -Ibuild/i686-pc-linux-gnu/include
<br>> -Iinclude -Ilib/xml -B/home/teg/test/cyclone/bin/lib/cyc-lib -O -o
<br>> build/i686-pc-linux-gnu/include/cycstubs.o
<br>> build/i686-pc-linux-gnu/include/cycstubs.cyc
<br>> make: *** [build/i686-pc-linux-gnu/include/cycstubs.o] Segmentation
<br>> fault
<br>>
<br>> Now, this is not very urgent to fix. I just wanted to play around a bit
<br>> with cyclone.
<br>>
<br>> Thanks
</div></div><br /><tt>[config.log]</tt><br /><hr align="left" width="300" /><tt>This file contains any messages produced by compilers while
<br>running configure, to aid debugging if configure makes a mistake.
<br><br>It was created by cyclone configure 1.0, which was
<br>generated by GNU Autoconf 2.61. Invocation command line was
<br><br> $ ./configure
<br><br>## --------- ##
<br>## Platform. ##
<br>## --------- ##
<br><br>hostname = burken
<br>uname -m = i686
<br>uname -r = 2.6.24
<br>uname -s = Linux
<br>uname -v = #16 Sat Mar 8 11:43:40 CET 2008
<br><br>/usr/bin/uname -p = unknown
<br>/bin/uname -X = unknown
<br><br>/bin/arch = unknown
<br>/usr/bin/arch -k = unknown
<br>/usr/convex/getsysinfo = unknown
<br>/usr/bin/hostinfo = unknown
<br>/bin/machine = unknown
<br>/usr/bin/oslevel = unknown
<br>/bin/universe = unknown
<br><br>PATH: /usr/local/bin
<br>PATH: /usr/bin
<br>PATH: /bin
<br>PATH: /usr/bin/X11
<br>PATH: /usr/games
<br><br><br>## ----------- ##
<br>## Core tests. ##
<br>## ----------- ##
<br><br>configure:1762: checking build system type
<br>configure:1780: result: i686-pc-linux-gnu
<br>configure:1802: checking host system type
<br>configure:1817: result: i686-pc-linux-gnu
<br>configure:1839: checking target system type
<br>configure:1854: result: i686-pc-linux-gnu
<br>configure:2037: checking for C compiler version
<br>configure:2044: gcc --version >&5
<br>gcc (Debian 4.3.1-6) 4.3.1
<br>Copyright (C) 2008 Free Software Foundation, Inc.
<br>This is free software; see the source for copying conditions. There is NO
<br>warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
<br><br>configure:2047: $? = 0
<br>configure:2054: gcc -v >&5
<br>Using built-in specs.
<br>Target: i486-linux-gnu
<br>Configured with: ../src/configure -v --with-pkgversion='Debian 4.3.1-6' --with-bugurl=file:///usr/share/doc/gcc-4.3/README.Bugs --enable-languages=c,c++,fortran,objc,obj-c++ --prefix=/usr --enable-shared --with-system-zlib --libexecdir=/usr/lib --without-included-gettext --enable-threads=posix --enable-nls --with-gxx-include-dir=/usr/include/c++/4.3 --program-suffix=-4.3 --enable-clocale=gnu --enable-libstdcxx-debug --enable-objc-gc --enable-mpfr --enable-targets=all --enable-cld --enable-checking=release --build=i486-linux-gnu --host=i486-linux-gnu --target=i486-linux-gnu
<br>Thread model: posix
<br>gcc version 4.3.1 (Debian 4.3.1-6)
<br>configure:2057: $? = 0
<br>configure:2064: gcc -V >&5
<br>gcc: '-V' option must have argument
<br>configure:2067: $? = 1
<br>configure:2090: checking for C compiler default output file name
<br>configure:2117: gcc conftest.c >&5
<br>configure:2120: $? = 0
<br>configure:2158: result: a.out
<br>configure:2175: checking whether the C compiler works
<br>configure:2185: ./a.out
<br>configure:2188: $? = 0
<br>configure:2205: result: yes
<br>configure:2212: checking whether we are cross compiling
<br>configure:2214: result: no
<br>configure:2217: checking for suffix of executables
<br>configure:2224: gcc -o conftest conftest.c >&5
<br>configure:2227: $? = 0
<br>configure:2251: result:
<br>configure:2257: checking for suffix of object files
<br>configure:2283: gcc -c conftest.c >&5
<br>configure:2286: $? = 0
<br>configure:2309: result: o
<br>configure:2313: checking whether we are using the GNU C compiler
<br>configure:2342: gcc -c conftest.c >&5
<br>configure:2348: $? = 0
<br>configure:2365: result: yes
<br>configure:2370: checking whether gcc accepts -g
<br>configure:2400: gcc -c -g conftest.c >&5
<br>configure:2406: $? = 0
<br>configure:2505: result: yes
<br>configure:2522: checking for gcc option to accept ISO C89
<br>configure:2596: gcc -c conftest.c >&5
<br>configure:2602: $? = 0
<br>configure:2625: result: none needed
<br>configure:2711: checking how to run the C preprocessor
<br>configure:2751: gcc -E conftest.c
<br>configure:2757: $? = 0
<br>configure:2788: gcc -E conftest.c
<br>conftest.c:8:28: error: ac_nonexistent.h: No such file or directory
<br>configure:2794: $? = 1
<br>configure: failed program was:
<br>| /* confdefs.h. */
<br>| #define PACKAGE_NAME "cyclone"
<br>| #define PACKAGE_TARNAME "-cyclone-"
<br>| #define PACKAGE_VERSION "1.0"
<br>| #define PACKAGE_STRING "cyclone 1.0"
<br>| #define PACKAGE_BUGREPORT "<a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=18629227&i=2" target="_top" rel="nofollow">cyclone-bugs-l@...</a>"
<br>| /* end confdefs.h. */
<br>| #include <ac_nonexistent.h>
<br>configure:2827: result: gcc -E
<br>configure:2856: gcc -E conftest.c
<br>configure:2862: $? = 0
<br>configure:2893: gcc -E conftest.c
<br>conftest.c:8:28: error: ac_nonexistent.h: No such file or directory
<br>configure:2899: $? = 1
<br>configure: failed program was:
<br>| /* confdefs.h. */
<br>| #define PACKAGE_NAME "cyclone"
<br>| #define PACKAGE_TARNAME "-cyclone-"
<br>| #define PACKAGE_VERSION "1.0"
<br>| #define PACKAGE_STRING "cyclone 1.0"
<br>| #define PACKAGE_BUGREPORT "<a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=18629227&i=3" target="_top" rel="nofollow">cyclone-bugs-l@...</a>"
<br>| /* end confdefs.h. */
<br>| #include <ac_nonexistent.h>
<br>configure:2937: checking for grep that handles long lines and -e
<br>configure:3011: result: /bin/grep
<br>configure:3016: checking for egrep
<br>configure:3094: result: /bin/grep -E
<br>configure:3099: checking for ANSI C header files
<br>configure:3129: gcc -c -march=i686 conftest.c >&5
<br>configure:3135: $? = 0
<br>configure:3234: gcc -o conftest -march=i686 conftest.c >&5
<br>configure:3237: $? = 0
<br>configure:3243: ./conftest
<br>configure:3246: $? = 0
<br>configure:3263: result: yes
<br>configure:3287: checking for sys/types.h
<br>configure:3308: gcc -c -march=i686 conftest.c >&5
<br>configure:3314: $? = 0
<br>configure:3330: result: yes
<br>configure:3287: checking for sys/stat.h
<br>configure:3308: gcc -c -march=i686 conftest.c >&5
<br>configure:3314: $? = 0
<br>configure:3330: result: yes
<br>configure:3287: checking for stdlib.h
<br>configure:3308: gcc -c -march=i686 conftest.c >&5
<br>configure:3314: $? = 0
<br>configure:3330: result: yes
<br>configure:3287: checking for string.h
<br>configure:3308: gcc -c -march=i686 conftest.c >&5
<br>configure:3314: $? = 0
<br>configure:3330: result: yes
<br>configure:3287: checking for memory.h
<br>configure:3308: gcc -c -march=i686 conftest.c >&5
<br>configure:3314: $? = 0
<br>configure:3330: result: yes
<br>configure:3287: checking for strings.h
<br>configure:3308: gcc -c -march=i686 conftest.c >&5
<br>configure:3314: $? = 0
<br>configure:3330: result: yes
<br>configure:3287: checking for inttypes.h
<br>configure:3308: gcc -c -march=i686 conftest.c >&5
<br>configure:3314: $? = 0
<br>configure:3330: result: yes
<br>configure:3287: checking for stdint.h
<br>configure:3308: gcc -c -march=i686 conftest.c >&5
<br>configure:3314: $? = 0
<br>configure:3330: result: yes
<br>configure:3287: checking for unistd.h
<br>configure:3308: gcc -c -march=i686 conftest.c >&5
<br>configure:3314: $? = 0
<br>configure:3330: result: yes
<br>configure:3342: checking for char
<br>configure:3372: gcc -c -march=i686 conftest.c >&5
<br>configure:3378: $? = 0
<br>configure:3393: result: yes
<br>configure:3400: checking size of char
<br>configure:3702: gcc -o conftest -march=i686 conftest.c >&5
<br>configure:3705: $? = 0
<br>configure:3711: ./conftest
<br>configure:3714: $? = 0
<br>configure:3737: result: 1
<br>configure:3751: checking for short
<br>configure:3781: gcc -c -march=i686 conftest.c >&5
<br>configure:3787: $? = 0
<br>configure:3802: result: yes
<br>configure:3809: checking size of short
<br>configure:4111: gcc -o conftest -march=i686 conftest.c >&5
<br>configure:4114: $? = 0
<br>configure:4120: ./conftest
<br>configure:4123: $? = 0
<br>configure:4146: result: 2
<br>configure:4160: checking for int
<br>configure:4190: gcc -c -march=i686 conftest.c >&5
<br>configure:4196: $? = 0
<br>configure:4211: result: yes
<br>configure:4218: checking size of int
<br>configure:4520: gcc -o conftest -march=i686 conftest.c >&5
<br>configure:4523: $? = 0
<br>configure:4529: ./conftest
<br>configure:4532: $? = 0
<br>configure:4555: result: 4
<br>configure:4569: checking for long
<br>configure:4599: gcc -c -march=i686 conftest.c >&5
<br>configure:4605: $? = 0
<br>configure:4620: result: yes
<br>configure:4627: checking size of long
<br>configure:4929: gcc -o conftest -march=i686 conftest.c >&5
<br>configure:4932: $? = 0
<br>configure:4938: ./conftest
<br>configure:4941: $? = 0
<br>configure:4964: result: 4
<br>configure:4978: checking for long long
<br>configure:5008: gcc -c -march=i686 conftest.c >&5
<br>configure:5014: $? = 0
<br>configure:5029: result: yes
<br>configure:5036: checking size of long long
<br>configure:5338: gcc -o conftest -march=i686 conftest.c >&5
<br>configure:5341: $? = 0
<br>configure:5347: ./conftest
<br>configure:5350: $? = 0
<br>configure:5373: result: 8
<br>configure:5387: checking for void *
<br>configure:5417: gcc -c -march=i686 conftest.c >&5
<br>configure:5423: $? = 0
<br>configure:5438: result: yes
<br>configure:5445: checking size of void *
<br>configure:5747: gcc -o conftest -march=i686 conftest.c >&5
<br>configure:5750: $? = 0
<br>configure:5756: ./conftest
<br>configure:5759: $? = 0
<br>configure:5782: result: 4
<br>configure:5798: checking for wchar_t
<br>configure:5828: gcc -c -march=i686 conftest.c >&5
<br>configure:5834: $? = 0
<br>configure:5849: result: yes
<br>configure:5856: checking size of wchar_t
<br>configure:6158: gcc -o conftest -march=i686 conftest.c >&5
<br>configure:6161: $? = 0
<br>configure:6167: ./conftest
<br>configure:6170: $? = 0
<br>configure:6193: result: 4
<br>configure:6205: checking whether wchar_t is unsigned
<br>configure:6233: gcc -c -march=i686 conftest.c >&5
<br>configure:6239: $? = 0
<br>configure:6254: result: no
<br>configure:6269: checking for pthread_key_t
<br>configure:6300: gcc -c -march=i686 conftest.c >&5
<br>configure:6306: $? = 0
<br>configure:6321: result: yes
<br>configure:6338: checking for /usr/lib/libpcre.a
<br>configure:6353: result: yes
<br>configure:6359: checking for /usr/local/lib/libpcre.a
<br>configure:6374: result: no
<br>configure:6391: checking for /usr/lib/libsqlite3.a
<br>configure:6406: result: no
<br>configure:6412: checking for /usr/local/lib/libsqlite3.a
<br>configure:6427: result: no
<br>configure:6444: checking for /usr/lib/libssl.a
<br>configure:6459: result: yes
<br>configure:6465: checking for /usr/local/lib/libssl.a
<br>configure:6480: result: no
<br>configure:6496: checking whether make sets $(MAKE)
<br>configure:6517: result: yes
<br>configure:6569: checking for ranlib
<br>configure:6585: found /usr/bin/ranlib
<br>configure:6596: result: ranlib
<br>configure:6759: creating ./config.status
<br><br>## ---------------------- ##
<br>## Running config.status. ##
<br>## ---------------------- ##
<br><br>This file was extended by cyclone config.status 1.0, which was
<br>generated by GNU Autoconf 2.61. Invocation command line was
<br><br> CONFIG_FILES =
<br> CONFIG_HEADERS =
<br> CONFIG_LINKS =
<br> CONFIG_COMMANDS =
<br> $ ./config.status
<br><br>on burken
<br><br>config.status:603: creating Makefile.inc
<br><br>## ---------------- ##
<br>## Cache variables. ##
<br>## ---------------- ##
<br><br>ac_cv_build=i686-pc-linux-gnu
<br>ac_cv_c_compiler_gnu=yes
<br>ac_cv_c_wchar_t_unsigned=no
<br>ac_cv_env_CC_set=set
<br>ac_cv_env_CC_value=gcc
<br>ac_cv_env_CFLAGS_set=
<br>ac_cv_env_CFLAGS_value=
<br>ac_cv_env_CPPFLAGS_set=
<br>ac_cv_env_CPPFLAGS_value=
<br>ac_cv_env_CPP_set=
<br>ac_cv_env_CPP_value=
<br>ac_cv_env_LDFLAGS_set=
<br>ac_cv_env_LDFLAGS_value=
<br>ac_cv_env_LIBS_set=
<br>ac_cv_env_LIBS_value=
<br>ac_cv_env_build_alias_set=
<br>ac_cv_env_build_alias_value=
<br>ac_cv_env_host_alias_set=
<br>ac_cv_env_host_alias_value=
<br>ac_cv_env_target_alias_set=
<br>ac_cv_env_target_alias_value=
<br>ac_cv_file__usr_lib_libpcre_a=yes
<br>ac_cv_file__usr_lib_libsqlite3_a=no
<br>ac_cv_file__usr_lib_libssl_a=yes
<br>ac_cv_file__usr_local_lib_libpcre_a=no
<br>ac_cv_file__usr_local_lib_libsqlite3_a=no
<br>ac_cv_file__usr_local_lib_libssl_a=no
<br>ac_cv_header_inttypes_h=yes
<br>ac_cv_header_memory_h=yes
<br>ac_cv_header_stdc=yes
<br>ac_cv_header_stdint_h=yes
<br>ac_cv_header_stdlib_h=yes
<br>ac_cv_header_string_h=yes
<br>ac_cv_header_strings_h=yes
<br>ac_cv_header_sys_stat_h=yes
<br>ac_cv_header_sys_types_h=yes
<br>ac_cv_header_unistd_h=yes
<br>ac_cv_host=i686-pc-linux-gnu
<br>ac_cv_objext=o
<br>ac_cv_path_EGREP='/bin/grep -E'
<br>ac_cv_path_GREP=/bin/grep
<br>ac_cv_prog_CPP='gcc -E'
<br>ac_cv_prog_ac_ct_RANLIB=ranlib
<br>ac_cv_prog_cc_c89=
<br>ac_cv_prog_cc_g=yes
<br>ac_cv_prog_make_make_set=yes
<br>ac_cv_pthreads=pthreads
<br>ac_cv_sizeof_char=1
<br>ac_cv_sizeof_int=4
<br>ac_cv_sizeof_long=4
<br>ac_cv_sizeof_long_long=8
<br>ac_cv_sizeof_short=2
<br>ac_cv_sizeof_void_p=4
<br>ac_cv_sizeof_wchar_t=4
<br>ac_cv_target=i686-pc-linux-gnu
<br>ac_cv_type_char=yes
<br>ac_cv_type_int=yes
<br>ac_cv_type_long=yes
<br>ac_cv_type_long_long=yes
<br>ac_cv_type_pthread_key_t=yes
<br>ac_cv_type_short=yes
<br>ac_cv_type_void_p=yes
<br>ac_cv_type_wchar_t=yes
<br><br>## ----------------- ##
<br>## Output variables. ##
<br>## ----------------- ##
<br><br>CC='gcc'
<br>CFLAGS='-march=i686'
<br>CPP='gcc -E'
<br>CPPFLAGS=''
<br>DEFS='-DPACKAGE_NAME=\"cyclone\" -DPACKAGE_TARNAME=\"-cyclone-\" -DPACKAGE_VERSION=\"1.0\" -DPACKAGE_STRING=\"cyclone\ 1.0\" -DPACKAGE_BUGREPORT=\"<a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=18629227&i=4" target="_top" rel="nofollow">cyclone-bugs-l@...</a>\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DSIZEOF_CHAR=1 -DSIZEOF_SHORT=2 -DSIZEOF_INT=4 -DSIZEOF_LONG=4 -DSIZEOF_LONG_LONG=8 -DSIZEOF_VOID_P=4 -DSIZEOF_WCHAR_T=4'
<br>ECHO_C=''
<br>ECHO_N='-n'
<br>ECHO_T=''
<br>EGREP='/bin/grep -E'
<br>EXEEXT=''
<br>GREP='/bin/grep'
<br>HAVE_PCRE='yes'
<br>HAVE_PTHREAD='yes'
<br>HAVE_SQLITE3='no'
<br>HAVE_SSL='yes'
<br>LDFLAGS=''
<br>LIBOBJS=''
<br>LIBPCRE='/usr/lib/libpcre.a'
<br>LIBS=''
<br>LIBSQLITE3=''
<br>LIBSSL='/usr/lib/libssl.a'
<br>LTLIBOBJS=''
<br>OBJEXT='o'
<br><a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=18629227&i=5" target="_top" rel="nofollow">PACKAGE_BUGREPORT='cyclone-bugs-l@...</a>'
<br>PACKAGE_NAME='cyclone'
<br>PACKAGE_STRING='cyclone 1.0'
<br>PACKAGE_TARNAME='-cyclone-'
<br>PACKAGE_VERSION='1.0'
<br>PATH_SEPARATOR=':'
<br>RANLIB='ranlib'
<br>SET_MAKE=''
<br>SHELL='/bin/sh'
<br>TARGET_AR='ar'
<br>TARGET_CC='gcc -b i686-pc-linux-gnu'
<br>TARGET_CFLAGS='-march=i686'
<br>TARGET_LDFLAGS=''
<br>TARGET_RANLIB='ranlib'
<br>WCHAR_T_UNSIGNED='0'
<br>abs_srcdir='/home/teg/test/cyclone'
<br>ac_ct_CC=''
<br>ac_cv_sizeof_wchar_t='4'
<br>bindir='${exec_prefix}/bin'
<br>build='i686-pc-linux-gnu'
<br>build_alias=''
<br>build_cpu='i686'
<br>build_os='linux-gnu'
<br>build_vendor='pc'
<br>datadir='${datarootdir}'
<br>datarootdir='${prefix}/share'
<br>docdir='${datarootdir}/doc/${PACKAGE_TARNAME}'
<br>dvidir='${docdir}'
<br>exec_prefix='${prefix}'
<br>host='i686-pc-linux-gnu'
<br>host_alias=''
<br>host_cpu='i686'
<br>host_os='linux-gnu'
<br>host_vendor='pc'
<br>htmldir='${docdir}'
<br>includedir='${prefix}/include'
<br>infodir='${datarootdir}/info'
<br>libdir='${exec_prefix}/lib'
<br>libexecdir='${exec_prefix}/libexec'
<br>localedir='${datarootdir}/locale'
<br>localstatedir='${prefix}/var'
<br>mandir='${datarootdir}/man'
<br>oldincludedir='/usr/include'
<br>pdfdir='${docdir}'
<br>prefix='/usr/local'
<br>program_transform_name='s,x,x,'
<br>psdir='${docdir}'
<br>sbindir='${exec_prefix}/sbin'
<br>sharedstatedir='${prefix}/com'
<br>sysconfdir='${prefix}/etc'
<br>target='i686-pc-linux-gnu'
<br>target_alias=''
<br>target_cpu='i686'
<br>target_os='linux-gnu'
<br>target_vendor='pc'
<br><br>## ----------- ##
<br>## confdefs.h. ##
<br>## ----------- ##
<br><br>#define PACKAGE_NAME "cyclone"
<br>#define PACKAGE_TARNAME "-cyclone-"
<br>#define PACKAGE_VERSION "1.0"
<br>#define PACKAGE_STRING "cyclone 1.0"
<br>#define PACKAGE_BUGREPORT "<a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=18629227&i=6" target="_top" rel="nofollow">cyclone-bugs-l@...</a>"
<br>#define STDC_HEADERS 1
<br>#define HAVE_SYS_TYPES_H 1
<br>#define HAVE_SYS_STAT_H 1
<br>#define HAVE_STDLIB_H 1
<br>#define HAVE_STRING_H 1
<br>#define HAVE_MEMORY_H 1
<br>#define HAVE_STRINGS_H 1
<br>#define HAVE_INTTYPES_H 1
<br>#define HAVE_STDINT_H 1
<br>#define HAVE_UNISTD_H 1
<br>#define SIZEOF_CHAR 1
<br>#define SIZEOF_SHORT 2
<br>#define SIZEOF_INT 4
<br>#define SIZEOF_LONG 4
<br>#define SIZEOF_LONG_LONG 8
<br>#define SIZEOF_VOID_P 4
<br>#define SIZEOF_WCHAR_T 4
<br><br>configure: exit 0
<br></tt><hr align="left" width="300" /><br />checking build system type... i686-pc-linux-gnu
<br>checking host system type... i686-pc-linux-gnu
<br>checking target system type... i686-pc-linux-gnu
<br>checking for C compiler default output file name... a.out
<br>checking whether the C compiler works... yes
<br>checking whether we are cross compiling... no
<br>checking for suffix of executables...
<br>checking for suffix of object files... o
<br>checking whether we are using the GNU C compiler... yes
<br>checking whether gcc accepts -g... yes
<br>checking for gcc option to accept ISO C89... none needed
<br>checking how to run the C preprocessor... gcc -E
<br>checking for grep that handles long lines and -e... /bin/grep
<br>checking for egrep... /bin/grep -E
<br>checking for ANSI C header files... yes
<br>checking for sys/types.h... yes
<br>checking for sys/stat.h... yes
<br>checking for stdlib.h... yes
<br>checking for string.h... yes
<br>checking for memory.h... yes
<br>checking for strings.h... yes
<br>checking for inttypes.h... yes
<br>checking for stdint.h... yes
<br>checking for unistd.h... yes
<br>checking for char... yes
<br>checking size of char... 1
<br>checking for short... yes
<br>checking size of short... 2
<br>checking for int... yes
<br>checking size of int... 4
<br>checking for long... yes
<br>checking size of long... 4
<br>checking for long long... yes
<br>checking size of long long... 8
<br>checking for void *... yes
<br>checking size of void *... 4
<br>checking for wchar_t... yes
<br>checking size of wchar_t... 4
<br>checking whether wchar_t is unsigned... no
<br>checking for pthread_key_t... yes
<br>checking for /usr/lib/libpcre.a... yes
<br>checking for /usr/local/lib/libpcre.a... no
<br>checking for /usr/lib/libsqlite3.a... no
<br>checking for /usr/local/lib/libsqlite3.a... no
<br>checking for /usr/lib/libssl.a... yes
<br>checking for /usr/local/lib/libssl.a... no
<br>checking whether make sets $(MAKE)... yes
<br>checking for ranlib... ranlib
<br>checking build system type... i686-pc-linux-gnu
<br>checking host system type... i686-pc-linux-gnu
<br>checking target system type... i686-pc-linux-gnu
<br>checking GC version numbers... major=6 minor=7
<br>checking for a BSD-compatible install... /usr/bin/install -c
<br>checking whether build environment is sane... yes
<br>checking for gawk... gawk
<br>checking whether make sets $(MAKE)... yes
<br>checking for gcc... gcc
<br>checking for C compiler default output file name... a.out
<br>checking whether the C compiler works... yes
<br>checking whether we are cross compiling... no
<br>checking for suffix of executables...
<br>checking for suffix of object files... o
<br>checking whether we are using the GNU C compiler... yes
<br>checking whether gcc accepts -g... yes
<br>checking for gcc option to accept ANSI C... none needed
<br>checking for style of include used by make... GNU
<br>checking dependency style of gcc... gcc3
<br>checking for g++... g++
<br>checking whether we are using the GNU C++ compiler... yes
<br>checking whether g++ accepts -g... yes
<br>checking dependency style of g++... gcc3
<br>checking for ar... ar
<br>checking for ranlib... ranlib
<br>checking for a BSD-compatible install... /usr/bin/install -c
<br>checking whether to enable maintainer-specific portions of Makefiles... no
<br>checking for xlc... no
<br>checking for dlopen in -ldl... yes
<br>checking whether to build shared libraries... yes
<br>checking which machine-dependent code should be used...
<br>checking for ld used by GCC... /usr/bin/ld
<br>checking if the linker (/usr/bin/ld) is GNU ld... yes
<br>checking for /usr/bin/ld option to reload object files... -r
<br>checking for BSD-compatible nm... /usr/bin/nm -B
<br>checking whether ln -s works... yes
<br>checking how to recognise dependant libraries... pass_all
<br>checking command to parse /usr/bin/nm -B output... ok
<br>checking how to run the C preprocessor... gcc -E
<br>checking for egrep... grep -E
<br>checking for ANSI C header files... yes
<br>checking for sys/types.h... yes
<br>checking for sys/stat.h... yes
<br>checking for stdlib.h... yes
<br>checking for string.h... yes
<br>checking for memory.h... yes
<br>checking for strings.h... yes
<br>checking for inttypes.h... yes
<br>checking for stdint.h... yes
<br>checking for unistd.h... yes
<br>checking dlfcn.h usability... yes
<br>checking dlfcn.h presence... yes
<br>checking for dlfcn.h... yes
<br>checking for ranlib... (cached) ranlib
<br>checking for strip... strip
<br>checking for objdir... .libs
<br>checking for gcc option to produce PIC... -fPIC
<br>checking if gcc PIC flag -fPIC works... yes
<br>checking if gcc static flag -static works... yes
<br>checking if gcc supports -c -o file.o... yes
<br>checking if gcc supports -c -o file.lo... yes
<br>checking if gcc supports -fno-rtti -fno-exceptions... no
<br>checking whether the linker (/usr/bin/ld) supports shared libraries... yes
<br>checking how to hardcode library paths into programs... immediate
<br>checking whether stripping libraries is possible... yes
<br>checking dynamic linker characteristics... GNU/Linux ld.so
<br>checking if libtool supports shared libraries... yes
<br>checking whether to build shared libraries... no
<br>checking whether to build static libraries... yes
<br>creating libtool
<br>checking sys/dg_sys_info.h usability... no
<br>checking sys/dg_sys_info.h presence... no
<br>checking for sys/dg_sys_info.h... no
<br>checking whether Solaris gcc optimization fix is necessary... no
<br>configure: creating ./config.status
<br>config.status: creating Makefile
<br>config.status: creating doc/Makefile
<br>config.status: creating include/Makefile
<br>config.status: executing depfiles commands
<br>config.status: executing default commands
<br>configure: creating ./config.status
<br>config.status: creating Makefile.inc
<br><br />--
<br>cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=18629227&i=7" target="_top" rel="nofollow">cyclone-l@...</a>
<br><a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a>tag:www.nabble.com,2006:post-16918052Invoke Cyclon from C2008-04-26T15:10:16Z2008-04-26T15:10:16ZthecrazywolfI'm trying to invoke a function written in cyclone from a C-program, with no luck. The "Cyclone function" is of course in a separate .cyc-file.
<br>Please help me before I get crazy!
<br>tag:www.nabble.com,2006:post-16499295Re: tinkering with inner functions2008-04-04T08:38:22Z2008-04-04T08:38:22ZNikhil Swamy> Further more I realized that using printf(...) in the
<br>> inner function gives the same compile error ("Toc did not examine an
<br>> inserted check: (x | printf)"). What restrictions do apply for inner
<br>> functions, or what are they meant for? Are they useful in any way?
<br>> Or are
<br>> they a broken feature?
<br><br>I believe inner functions are currently broken ... apologies.
<br><br>> Further more I realized that the @region qualifier is deprecated,
<br>> does it
<br>> still worker as documented? Is documentation for @effect available?
<br><br>A pointer in Cyclone can be qualified by a set of region names (the
<br>effect), rather than just a single name. Where previously we used an
<br>"outlives" relation on region names to do subtyping, we now use a
<br>subset relation on effects. There's more information about this in
<br>the manual, but it was not explicit about the relationship between
<br>@effect and @region. I've now added a couple of sentences about this.
<br>The short version is that you can always use @effect in place of
<br>@region.
<br><br>For the full story:
<br><br><a href="http://cyclone.thelanguage.org:80/wiki/Type-Checking%20Regions" target="_top" rel="nofollow">http://cyclone.thelanguage.org:80/wiki/Type-Checking%20Regions</a><br>(the part about "Subtyping and Effect Qualifiers")
<br><br>and
<br><br><a href="http://cyclone.thelanguage.org/wiki/Pointers%20with%20Restricted%" target="_top" rel="nofollow">http://cyclone.thelanguage.org/wiki/Pointers%20with%20Restricted%</a>
<br>20Aliasing#SubtypingforEffectQualifierandReaps
<br><br>-Nik
<br><br>--
<br>cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=16499295&i=0" target="_top" rel="nofollow">cyclone-l@...</a>
<br><a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a><br>tag:www.nabble.com,2006:post-16436359cyclone.thelanguage.org back up2008-04-01T15:14:26Z2008-04-01T15:14:26ZMichael HicksSorry for the temporary loss of the DNS name; our local DNS was
<br>failing to cooperate properly! Let us know if anyone has further
<br>issues reaching the site.
<br><br>-Mike
<br><br><br>--
<br>cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=16436359&i=0" target="_top" rel="nofollow">cyclone-l@...</a>
<br><a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a><br>tag:www.nabble.com,2006:post-16428843Re: Functional Programming in Cyclone2008-04-01T10:08:09Z2008-04-01T10:08:09ZSol-8> The fn.cyc module encodes closures using existential types, following
<br>> an encoding proposed by Minamide et al. a while back. If you want to
<br>> create a closure from a function and its environment you call make_fn
<br>> (func,env). If you want to convert a straight function pointer into
<br>> a closure, you call fp2fn(func). To call a closure on some argument
<br>> x, you call apply(closure,x). The remaining functions are to support
<br>> composing to fn_t's, currying them, etc.
<br><br>Thanks for your reply. fp2fn works somehow. But I still do now know how to
<br>give type signatures for such closures (for the case I want to pass them
<br>around).
<br><br>And I'm still puzzled how to construct/achieve the environment given to
<br>make_fn().
<br><br>> That said, Cyclone has a functional programming feel, in that it
<br>> supports local type inference (e.g., you can do let x =
<br>> someexpression rather than having to declare x's type), and pattern
<br>> matching on tagged unions and datatypes. The latter feature is very
<br>> useful. I end up using C-style loops rather than tail-recursion, but
<br>> ML-style type inference and pattern matching.
<br><br>This is why I was puzzled if Cyclone is more suitable for FP than C is. I'm
<br>evaluating some Languages for there FP capabilities, and one of them should
<br>be suitable for system programming. I'm grateful for any ideas/pointers if
<br>you think that there are better choices than cyclone.
<br><br>Thanks and best Regards, Simon.
<br><br>--
<br>cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=16428843&i=0" target="_top" rel="nofollow">cyclone-l@...</a>
<br><a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a><br>tag:www.nabble.com,2006:post-16428416tinkering with inner functions2008-04-01T09:50:13Z2008-04-01T09:50:13ZSol-8Hello,
<br>while tinkering with inner functions I made some observations. The following
<br>code
<br><br>int (*Accumulator())(int)
<br>{
<br> int x = 0;
<br> int inc(int n)
<br> {
<br> return x += n;
<br> }
<br> return inc;
<br>}
<br><br>int main()
<br>{
<br> _ acc = Accumulator();
<br> printf("call to x: %d\n", acc(10));
<br> printf("call to x: %d\n", acc(10));
<br> return 0;
<br>}
<br><br>produces a segfault (as expected). I tried to change the storage class of x
<br>to prevent this, with no success. For example
<br><br>int (*Accumulator())(int)
<br>{
<br> int @ x = malloc(sizeof(int));
<br> int inc(int n)
<br> {
<br> return *x += n;
<br> }
<br> return inc;
<br>}
<br><br>gives a compile error. Further more I realized that using printf(...) in the
<br>inner function gives the same compile error ("Toc did not examine an
<br>inserted check: (x | printf)"). What restrictions do apply for inner
<br>functions, or what are they meant for? Are they useful in any way? Or are
<br>they a broken feature?
<br><br>Please point me to documentation if available.
<br><br>Further more I realized that the @region qualifier is deprecated, does it
<br>still worker as documented? Is documentation for @effect available?
<br><br><br>Thanks in advance.
<br><br>With best regards, Simon.
<br><br>--
<br>cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=16428416&i=0" target="_top" rel="nofollow">cyclone-l@...</a>
<br><a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a><br>tag:www.nabble.com,2006:post-16424770Missing Wiki-Pages2008-04-01T07:48:37Z2008-04-01T07:48:37ZSol-8Hello,
<br><a href="http://macdonald.cs.umd.edu/wiki/Cyclone%20for%20C%20Programmers" target="_top" rel="nofollow">http://macdonald.cs.umd.edu/wiki/Cyclone%20for%20C%20Programmers</a><br>makes references to
<br><a href="http://macdonald.cs.umd.edu/wiki/Memory%20Management%20Via%20Regions" target="_top" rel="nofollow">http://macdonald.cs.umd.edu/wiki/Memory%20Management%20Via%20Regions</a><br>and
<br><a href="http://macdonald.cs.umd.edu/wiki/Libraries" target="_top" rel="nofollow">http://macdonald.cs.umd.edu/wiki/Libraries</a><br>which do not exist. Is this considered an error, or are they just not
<br>written by now?
<br><br>Regards, Simon.
<br><br>--
<br>cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=16424770&i=0" target="_top" rel="nofollow">cyclone-l@...</a>
<br><a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a><br>tag:www.nabble.com,2006:post-16421330Re: cyclone and vim2008-04-01T05:27:12Z2008-04-01T05:27:12ZSol-8> I've only ever used emacs with Cyclone. Don't know if Vim bindings
<br>> are out there ...
<br><br>I changed the syntax/c.vim so that it now works for me. The only adjustment
<br>is to comment out 284. The result is attached. To use it, copy it to
<br>~/.vim/syntax/cyclone.vim
<br><br>Now the filetype for edited cyclone source files has to be set to cyclone.
<br>In vim type
<br><br>:set ft=cyclone
<br><br>while editing a source file,
<br><br>OR add
<br><br>// vim: ft=cyclone
<br><br>somewhere in you source file (modeline has to be enabled for this!).
<br><br>Hope this is useful for some other cyclone user in the future;)
<br><br>Regards, Simon.
<br><br />" Vim syntax file
<br>" Language: C
<br>" Maintainer: Bram Moolenaar <<a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=16421330&i=0" target="_top" rel="nofollow">Bram@...</a>>
<br>" Last Change: 2007 Feb 13
<br><br>" Quit when a (custom) syntax file was already loaded
<br>if exists("b:current_syntax")
<br> finish
<br>endif
<br><br>" A bunch of useful C keywords
<br>syn keyword cStatement goto break return continue asm
<br>syn keyword cLabel case default
<br>syn keyword cConditional if else switch
<br>syn keyword cRepeat while for do
<br><br>syn keyword cTodo contained TODO FIXME XXX
<br><br>" cCommentGroup allows adding matches for special things in comments
<br>syn cluster cCommentGroup contains=cTodo
<br><br>" String and Character constants
<br>" Highlight special characters (those which have a backslash) differently
<br>syn match cSpecial display contained "\\\(x\x\+\|\o\{1,3}\|.\|$\)"
<br>if !exists("c_no_utf")
<br> syn match cSpecial display contained "\\\(u\x\{4}\|U\x\{8}\)"
<br>endif
<br>if exists("c_no_cformat")
<br> syn region cString start=+L\="+ skip=+\\\\\|\\"+ end=+"+ contains=cSpecial,@Spell
<br> " cCppString: same as cString, but ends at end of line
<br> syn region cCppString start=+L\="+ skip=+\\\\\|\\"\|\\$+ excludenl end=+"+ end='$' contains=cSpecial,@Spell
<br>else
<br> if !exists("c_no_c99") " ISO C99
<br> syn match cFormat display "%\(\d\+\$\)\=[-+' #0*]*\(\d*\|\*\|\*\d\+\$\)\(\.\(\d*\|\*\|\*\d\+\$\)\)\=\([hlLjzt]\|ll\|hh\)\=\([aAbdiuoxXDOUfFeEgGcCsSpn]\|\[\^\=.[^]]*\]\)" contained
<br> else
<br> syn match cFormat display "%\(\d\+\$\)\=[-+' #0*]*\(\d*\|\*\|\*\d\+\$\)\(\.\(\d*\|\*\|\*\d\+\$\)\)\=\([hlL]\|ll\)\=\([bdiuoxXDOUfeEgGcCsSpn]\|\[\^\=.[^]]*\]\)" contained
<br> endif
<br> syn match cFormat display "%%" contained
<br> syn region cString start=+L\="+ skip=+\\\\\|\\"+ end=+"+ contains=cSpecial,cFormat,@Spell
<br> " cCppString: same as cString, but ends at end of line
<br> syn region cCppString start=+L\="+ skip=+\\\\\|\\"\|\\$+ excludenl end=+"+ end='$' contains=cSpecial,cFormat,@Spell
<br>endif
<br><br>syn match cCharacter "L\='[^\\]'"
<br>syn match cCharacter "L'[^']*'" contains=cSpecial
<br>if exists("c_gnu")
<br> syn match cSpecialError "L\='\\[^'\"?\\abefnrtv]'"
<br> syn match cSpecialCharacter "L\='\\['\"?\\abefnrtv]'"
<br>else
<br> syn match cSpecialError "L\='\\[^'\"?\\abfnrtv]'"
<br> syn match cSpecialCharacter "L\='\\['\"?\\abfnrtv]'"
<br>endif
<br>syn match cSpecialCharacter display "L\='\\\o\{1,3}'"
<br>syn match cSpecialCharacter display "'\\x\x\{1,2}'"
<br>syn match cSpecialCharacter display "L'\\x\x\+'"
<br><br>"when wanted, highlight trailing white space
<br>if exists("c_space_errors")
<br> if !exists("c_no_trail_space_error")
<br> syn match cSpaceError display excludenl "\s\+$"
<br> endif
<br> if !exists("c_no_tab_space_error")
<br> syn match cSpaceError display " \+\t"me=e-1
<br> endif
<br>endif
<br><br>" This should be before cErrInParen to avoid problems with #define ({ xxx })
<br>syntax region cBlock start="{" end="}" transparent fold
<br><br>"catch errors caused by wrong parenthesis and brackets
<br>" also accept <% for {, %> for }, <: for [ and :> for ] (C99)
<br>" But avoid matching <::.
<br>syn cluster cParenGroup contains=cParenError,cIncluded,cSpecial,cCommentSkip,cCommentString,cComment2String,@cCommentGroup,cCommentStartError,cUserCont,cUserLabel,cBitField,cCommentSkip,cOctalZero,cCppOut,cCppOut2,cCppSkip,cFormat,cNumber,cFloat,cOctal,cOctalError,cNumbersCom
<br>if exists("c_no_curly_error")
<br> syn region cParen transparent start='(' end=')' contains=ALLBUT,@cParenGroup,cCppParen,cCppString,@Spell
<br> " cCppParen: same as cParen but ends at end-of-line; used in cDefine
<br> syn region cCppParen transparent start='(' skip='\\$' excludenl end=')' end='$' contained contains=ALLBUT,@cParenGroup,cParen,cString,@Spell
<br> syn match cParenError display ")"
<br> syn match cErrInParen display contained "^[{}]\|^<%\|^%>"
<br>elseif exists("c_no_bracket_error")
<br> syn region cParen transparent start='(' end=')' contains=ALLBUT,@cParenGroup,cCppParen,cCppString,@Spell
<br> " cCppParen: same as cParen but ends at end-of-line; used in cDefine
<br> syn region cCppParen transparent start='(' skip='\\$' excludenl end=')' end='$' contained contains=ALLBUT,@cParenGroup,cParen,cString,@Spell
<br> syn match cParenError display ")"
<br> syn match cErrInParen display contained "[{}]\|<%\|%>"
<br>else
<br> syn region cParen transparent start='(' end=')' contains=ALLBUT,@cParenGroup,cCppParen,cErrInBracket,cCppBracket,cCppString,@Spell
<br> " cCppParen: same as cParen but ends at end-of-line; used in cDefine
<br> syn region cCppParen transparent start='(' skip='\\$' excludenl end=')' end='$' contained contains=ALLBUT,@cParenGroup,cErrInBracket,cParen,cBracket,cString,@Spell
<br> syn match cParenError display "[\])]"
<br> syn match cErrInParen display contained "[\]{}]\|<%\|%>"
<br> syn region cBracket transparent start='\[\|<::\@!' end=']\|:>' contains=ALLBUT,@cParenGroup,cErrInParen,cCppParen,cCppBracket,cCppString,@Spell
<br> " cCppBracket: same as cParen but ends at end-of-line; used in cDefine
<br> syn region cCppBracket transparent start='\[\|<::\@!' skip='\\$' excludenl end=']\|:>' end='$' contained contains=ALLBUT,@cParenGroup,cErrInParen,cParen,cBracket,cString,@Spell
<br> syn match cErrInBracket display contained "[);{}]\|<%\|%>"
<br>endif
<br><br>"integer number, or floating point number without a dot and with "f".
<br>syn case ignore
<br>syn match cNumbers display transparent "\<\d\|\.\d" contains=cNumber,cFloat,cOctalError,cOctal
<br>" Same, but without octal error (for comments)
<br>syn match cNumbersCom display contained transparent "\<\d\|\.\d" contains=cNumber,cFloat,cOctal
<br>syn match cNumber display contained "\d\+\(u\=l\{0,2}\|ll\=u\)\>"
<br>"hex number
<br>syn match cNumber display contained "0x\x\+\(u\=l\{0,2}\|ll\=u\)\>"
<br>" Flag the first zero of an octal number as something special
<br>syn match cOctal display contained "0\o\+\(u\=l\{0,2}\|ll\=u\)\>" contains=cOctalZero
<br>syn match cOctalZero display contained "\<0"
<br>syn match cFloat display contained "\d\+f"
<br>"floating point number, with dot, optional exponent
<br>syn match cFloat display contained "\d\+\.\d*\(e[-+]\=\d\+\)\=[fl]\="
<br>"floating point number, starting with a dot, optional exponent
<br>syn match cFloat display contained "\.\d\+\(e[-+]\=\d\+\)\=[fl]\=\>"
<br>"floating point number, without dot, with exponent
<br>syn match cFloat display contained "\d\+e[-+]\=\d\+[fl]\=\>"
<br>if !exists("c_no_c99")
<br> "hexadecimal floating point number, optional leading digits, with dot, with exponent
<br> syn match cFloat display contained "0x\x*\.\x\+p[-+]\=\d\+[fl]\=\>"
<br> "hexadecimal floating point number, with leading digits, optional dot, with exponent
<br> syn match cFloat display contained "0x\x\+\.\=p[-+]\=\d\+[fl]\=\>"
<br>endif
<br><br>" flag an octal number with wrong digits
<br>syn match cOctalError display contained "0\o*[89]\d*"
<br>syn case match
<br><br>if exists("c_comment_strings")
<br> " A comment can contain cString, cCharacter and cNumber.
<br> " But a "*/" inside a cString in a cComment DOES end the comment! So we
<br> " need to use a special type of cString: cCommentString, which also ends on
<br> " "*/", and sees a "*" at the start of the line as comment again.
<br> " Unfortunately this doesn't very well work for // type of comments :-(
<br> syntax match cCommentSkip contained "^\s*\*\($\|\s\+\)"
<br> syntax region cCommentString contained start=+L\=\\\@<!"+ skip=+\\\\\|\\"+ end=+"+ end=+\*/+me=s-1 contains=cSpecial,cCommentSkip
<br> syntax region cComment2String contained start=+L\=\\\@<!"+ skip=+\\\\\|\\"+ end=+"+ end="$" contains=cSpecial
<br> syntax region cCommentL start="//" skip="\\$" end="$" keepend contains=@cCommentGroup,cComment2String,cCharacter,cNumbersCom,cSpaceError,@Spell
<br> if exists("c_no_comment_fold")
<br> " Use "extend" here to have preprocessor lines not terminate halfway a
<br> " comment.
<br> syntax region cComment matchgroup=cCommentStart start="/\*" end="\*/" contains=@cCommentGroup,cCommentStartError,cCommentString,cCharacter,cNumbersCom,cSpaceError,@Spell extend
<br> else
<br> syntax region cComment matchgroup=cCommentStart start="/\*" end="\*/" contains=@cCommentGroup,cCommentStartError,cCommentString,cCharacter,cNumbersCom,cSpaceError,@Spell fold extend
<br> endif
<br>else
<br> syn region cCommentL start="//" skip="\\$" end="$" keepend contains=@cCommentGroup,cSpaceError,@Spell
<br> if exists("c_no_comment_fold")
<br> syn region cComment matchgroup=cCommentStart start="/\*" end="\*/" contains=@cCommentGroup,cCommentStartError,cSpaceError,@Spell
<br> else
<br> syn region cComment matchgroup=cCommentStart start="/\*" end="\*/" contains=@cCommentGroup,cCommentStartError,cSpaceError,@Spell fold
<br> endif
<br>endif
<br>" keep a // comment separately, it terminates a preproc. conditional
<br>syntax match cCommentError display "\*/"
<br>syntax match cCommentStartError display "/\*"me=e-1 contained
<br><br>syn keyword cOperator sizeof
<br>if exists("c_gnu")
<br> syn keyword cStatement __asm__
<br> syn keyword cOperator typeof __real__ __imag__
<br>endif
<br>syn keyword cType int long short char void
<br>syn keyword cType signed unsigned float double
<br>if !exists("c_no_ansi") || exists("c_ansi_typedefs")
<br> syn keyword cType size_t ssize_t off_t wchar_t ptrdiff_t sig_atomic_t fpos_t
<br> syn keyword cType clock_t time_t va_list jmp_buf FILE DIR div_t ldiv_t
<br> syn keyword cType mbstate_t wctrans_t wint_t wctype_t
<br>endif
<br>if !exists("c_no_c99") " ISO C99
<br> syn keyword cType bool complex
<br> syn keyword cType int8_t int16_t int32_t int64_t
<br> syn keyword cType uint8_t uint16_t uint32_t uint64_t
<br> syn keyword cType int_least8_t int_least16_t int_least32_t int_least64_t
<br> syn keyword cType uint_least8_t uint_least16_t uint_least32_t uint_least64_t
<br> syn keyword cType int_fast8_t int_fast16_t int_fast32_t int_fast64_t
<br> syn keyword cType uint_fast8_t uint_fast16_t uint_fast32_t uint_fast64_t
<br> syn keyword cType intptr_t uintptr_t
<br> syn keyword cType intmax_t uintmax_t
<br>endif
<br>if exists("c_gnu")
<br> syn keyword cType __label__ __complex__ __volatile__
<br>endif
<br><br>syn keyword cStructure struct union enum typedef
<br>syn keyword cStorageClass static register auto volatile extern const
<br>if exists("c_gnu")
<br> syn keyword cStorageClass inline __attribute__
<br>endif
<br>if !exists("c_no_c99")
<br> syn keyword cStorageClass inline restrict
<br>endif
<br><br>if !exists("c_no_ansi") || exists("c_ansi_constants") || exists("c_gnu")
<br> if exists("c_gnu")
<br> syn keyword cConstant __GNUC__ __FUNCTION__ __PRETTY_FUNCTION__ __func__
<br> endif
<br> syn keyword cConstant __LINE__ __FILE__ __DATE__ __TIME__ __STDC__
<br> syn keyword cConstant __STDC_VERSION__
<br> syn keyword cConstant CHAR_BIT MB_LEN_MAX MB_CUR_MAX
<br> syn keyword cConstant UCHAR_MAX UINT_MAX ULONG_MAX USHRT_MAX
<br> syn keyword cConstant CHAR_MIN INT_MIN LONG_MIN SHRT_MIN
<br> syn keyword cConstant CHAR_MAX INT_MAX LONG_MAX SHRT_MAX
<br> syn keyword cConstant SCHAR_MIN SINT_MIN SLONG_MIN SSHRT_MIN
<br> syn keyword cConstant SCHAR_MAX SINT_MAX SLONG_MAX SSHRT_MAX
<br> if !exists("c_no_c99")
<br> syn keyword cConstant __func__
<br> syn keyword cConstant LLONG_MAX ULLONG_MAX
<br> syn keyword cConstant INT8_MIN INT16_MIN INT32_MIN INT64_MIN
<br> syn keyword cConstant INT8_MAX INT16_MAX INT32_MAX INT64_MAX
<br> syn keyword cConstant UINT8_MAX UINT16_MAX UINT32_MAX UINT64_MAX
<br> syn keyword cConstant INT_LEAST8_MIN INT_LEAST16_MIN INT_LEAST32_MIN INT_LEAST64_MIN
<br> syn keyword cConstant INT_LEAST8_MAX INT_LEAST16_MAX INT_LEAST32_MAX INT_LEAST64_MAX
<br> syn keyword cConstant UINT_LEAST8_MAX UINT_LEAST16_MAX UINT_LEAST32_MAX UINT_LEAST64_MAX
<br> syn keyword cConstant INT_FAST8_MIN INT_FAST16_MIN INT_FAST32_MIN INT_FAST64_MIN
<br> syn keyword cConstant INT_FAST8_MAX INT_FAST16_MAX INT_FAST32_MAX INT_FAST64_MAX
<br> syn keyword cConstant UINT_FAST8_MAX UINT_FAST16_MAX UINT_FAST32_MAX UINT_FAST64_MAX
<br> syn keyword cConstant INTPTR_MIN INTPTR_MAX UINTPTR_MAX
<br> syn keyword cConstant INTMAX_MIN INTMAX_MAX UINTMAX_MAX
<br> syn keyword cConstant PTRDIFF_MIN PTRDIFF_MAX SIG_ATOMIC_MIN SIG_ATOMIC_MAX
<br> syn keyword cConstant SIZE_MAX WCHAR_MIN WCHAR_MAX WINT_MIN WINT_MAX
<br> endif
<br> syn keyword cConstant FLT_RADIX FLT_ROUNDS
<br> syn keyword cConstant FLT_DIG FLT_MANT_DIG FLT_EPSILON
<br> syn keyword cConstant DBL_DIG DBL_MANT_DIG DBL_EPSILON
<br> syn keyword cConstant LDBL_DIG LDBL_MANT_DIG LDBL_EPSILON
<br> syn keyword cConstant FLT_MIN FLT_MAX FLT_MIN_EXP FLT_MAX_EXP
<br> syn keyword cConstant FLT_MIN_10_EXP FLT_MAX_10_EXP
<br> syn keyword cConstant DBL_MIN DBL_MAX DBL_MIN_EXP DBL_MAX_EXP
<br> syn keyword cConstant DBL_MIN_10_EXP DBL_MAX_10_EXP
<br> syn keyword cConstant LDBL_MIN LDBL_MAX LDBL_MIN_EXP LDBL_MAX_EXP
<br> syn keyword cConstant LDBL_MIN_10_EXP LDBL_MAX_10_EXP
<br> syn keyword cConstant HUGE_VAL CLOCKS_PER_SEC NULL
<br> syn keyword cConstant LC_ALL LC_COLLATE LC_CTYPE LC_MONETARY
<br> syn keyword cConstant LC_NUMERIC LC_TIME
<br> syn keyword cConstant SIG_DFL SIG_ERR SIG_IGN
<br> syn keyword cConstant SIGABRT SIGFPE SIGILL SIGHUP SIGINT SIGSEGV SIGTERM
<br> " Add POSIX signals as well...
<br> syn keyword cConstant SIGABRT SIGALRM SIGCHLD SIGCONT SIGFPE SIGHUP
<br> syn keyword cConstant SIGILL SIGINT SIGKILL SIGPIPE SIGQUIT SIGSEGV
<br> syn keyword cConstant SIGSTOP SIGTERM SIGTRAP SIGTSTP SIGTTIN SIGTTOU
<br> syn keyword cConstant SIGUSR1 SIGUSR2
<br> syn keyword cConstant _IOFBF _IOLBF _IONBF BUFSIZ EOF WEOF
<br> syn keyword cConstant FOPEN_MAX FILENAME_MAX L_tmpnam
<br> syn keyword cConstant SEEK_CUR SEEK_END SEEK_SET
<br> syn keyword cConstant TMP_MAX stderr stdin stdout
<br> syn keyword cConstant EXIT_FAILURE EXIT_SUCCESS RAND_MAX
<br> " Add POSIX errors as well
<br> syn keyword cConstant E2BIG EACCES EAGAIN EBADF EBADMSG EBUSY
<br> syn keyword cConstant ECANCELED ECHILD EDEADLK EDOM EEXIST EFAULT
<br> syn keyword cConstant EFBIG EILSEQ EINPROGRESS EINTR EINVAL EIO EISDIR
<br> syn keyword cConstant EMFILE EMLINK EMSGSIZE ENAMETOOLONG ENFILE ENODEV
<br> syn keyword cConstant ENOENT ENOEXEC ENOLCK ENOMEM ENOSPC ENOSYS
<br> syn keyword cConstant ENOTDIR ENOTEMPTY ENOTSUP ENOTTY ENXIO EPERM
<br> syn keyword cConstant EPIPE ERANGE EROFS ESPIPE ESRCH ETIMEDOUT EXDEV
<br> " math.h
<br> syn keyword cConstant M_E M_LOG2E M_LOG10E M_LN2 M_LN10 M_PI M_PI_2 M_PI_4
<br> syn keyword cConstant M_1_PI M_2_PI M_2_SQRTPI M_SQRT2 M_SQRT1_2
<br>endif
<br>if !exists("c_no_c99") " ISO C99
<br> syn keyword cConstant true false
<br>endif
<br><br>" Accept %: for # (C99)
<br>syn region cPreCondit start="^\s*\(%:\|#\)\s*\(if\|ifdef\|ifndef\|elif\)\>" skip="\\$" end="$" end="//"me=s-1 contains=cComment,cCppString,cCharacter,cCppParen,cParenError,cNumbers,cCommentError,cSpaceError
<br>syn match cPreCondit display "^\s*\(%:\|#\)\s*\(else\|endif\)\>"
<br>if !exists("c_no_if0")
<br> if !exists("c_no_if0_fold")
<br> syn region cCppOut start="^\s*\(%:\|#\)\s*if\s\+0\+\>" end=".\@=\|$" contains=cCppOut2 fold
<br> else
<br> syn region cCppOut start="^\s*\(%:\|#\)\s*if\s\+0\+\>" end=".\@=\|$" contains=cCppOut2
<br> endif
<br> syn region cCppOut2 contained start="0" end="^\s*\(%:\|#\)\s*\(endif\>\|else\>\|elif\>\)" contains=cSpaceError,cCppSkip
<br> syn region cCppSkip contained start="^\s*\(%:\|#\)\s*\(if\>\|ifdef\>\|ifndef\>\)" skip="\\$" end="^\s*\(%:\|#\)\s*endif\>" contains=cSpaceError,cCppSkip
<br>endif
<br>syn region cIncluded display contained start=+"+ skip=+\\\\\|\\"+ end=+"+
<br>syn match cIncluded display contained "<[^>]*>"
<br>syn match cInclude display "^\s*\(%:\|#\)\s*include\>\s*["<]" contains=cIncluded
<br>"syn match cLineSkip "\\$"
<br>syn cluster cPreProcGroup contains=cPreCondit,cIncluded,cInclude,cDefine,cErrInParen,cErrInBracket,cUserLabel,cSpecial,cOctalZero,cCppOut,cCppOut2,cCppSkip,cFormat,cNumber,cFloat,cOctal,cOctalError,cNumbersCom,cString,cCommentSkip,cCommentString,cComment2String,@cCommentGroup,cCommentStartError,cParen,cBracket,cMulti
<br>syn region cDefine start="^\s*\(%:\|#\)\s*\(define\|undef\)\>" skip="\\$" end="$" end="//"me=s-1 keepend contains=ALLBUT,@cPreProcGroup,@Spell
<br>syn region cPreProc start="^\s*\(%:\|#\)\s*\(pragma\>\|line\>\|warning\>\|warn\>\|error\>\)" skip="\\$" end="$" keepend contains=ALLBUT,@cPreProcGroup,@Spell
<br><br>" Highlight User Labels
<br>syn cluster cMultiGroup contains=cIncluded,cSpecial,cCommentSkip,cCommentString,cComment2String,@cCommentGroup,cCommentStartError,cUserCont,cUserLabel,cBitField,cOctalZero,cCppOut,cCppOut2,cCppSkip,cFormat,cNumber,cFloat,cOctal,cOctalError,cNumbersCom,cCppParen,cCppBracket,cCppString
<br>" syn region cMulti transparent start='?' skip='::' end=':' contains=ALLBUT,@cMultiGroup,@Spell
<br>" Avoid matching foo::bar() in C++ by requiring that the next char is not ':'
<br>syn cluster cLabelGroup contains=cUserLabel
<br>syn match cUserCont display "^\s*\I\i*\s*:$" contains=@cLabelGroup
<br>syn match cUserCont display ";\s*\I\i*\s*:$" contains=@cLabelGroup
<br>syn match cUserCont display "^\s*\I\i*\s*:[^:]"me=e-1 contains=@cLabelGroup
<br>syn match cUserCont display ";\s*\I\i*\s*:[^:]"me=e-1 contains=@cLabelGroup
<br><br>syn match cUserLabel display "\I\i*" contained
<br><br>" Avoid recognizing most bitfields as labels
<br>syn match cBitField display "^\s*\I\i*\s*:\s*[1-9]"me=e-1 contains=cType
<br>syn match cBitField display ";\s*\I\i*\s*:\s*[1-9]"me=e-1 contains=cType
<br><br>if exists("c_minlines")
<br> let b:c_minlines = c_minlines
<br>else
<br> if !exists("c_no_if0")
<br> let b:c_minlines = 50 " #if 0 constructs can be long
<br> else
<br> let b:c_minlines = 15 " mostly for () constructs
<br> endif
<br>endif
<br>exec "syn sync ccomment cComment minlines=" . b:c_minlines
<br><br>" Define the default highlighting.
<br>" Only used when an item doesn't have highlighting yet
<br>hi def link cFormat cSpecial
<br>hi def link cCppString cString
<br>hi def link cCommentL cComment
<br>hi def link cCommentStart cComment
<br>hi def link cLabel Label
<br>hi def link cUserLabel Label
<br>hi def link cConditional Conditional
<br>hi def link cRepeat Repeat
<br>hi def link cCharacter Character
<br>hi def link cSpecialCharacter cSpecial
<br>hi def link cNumber Number
<br>hi def link cOctal Number
<br>hi def link cOctalZero PreProc " link this to Error if you want
<br>hi def link cFloat Float
<br>hi def link cOctalError cError
<br>hi def link cParenError cError
<br>hi def link cErrInParen cError
<br>hi def link cErrInBracket cError
<br>hi def link cCommentError cError
<br>hi def link cCommentStartError cError
<br>hi def link cSpaceError cError
<br>hi def link cSpecialError cError
<br>hi def link cOperator Operator
<br>hi def link cStructure Structure
<br>hi def link cStorageClass StorageClass
<br>hi def link cInclude Include
<br>hi def link cPreProc PreProc
<br>hi def link cDefine Macro
<br>hi def link cIncluded cString
<br>hi def link cError Error
<br>hi def link cStatement Statement
<br>hi def link cPreCondit PreCondit
<br>hi def link cType Type
<br>hi def link cConstant Constant
<br>hi def link cCommentString cString
<br>hi def link cComment2String cString
<br>hi def link cCommentSkip cComment
<br>hi def link cString String
<br>hi def link cComment Comment
<br>hi def link cSpecial SpecialChar
<br>hi def link cTodo Todo
<br>hi def link cCppSkip cCppOut
<br>hi def link cCppOut2 cCppOut
<br>hi def link cCppOut Comment
<br><br>let b:current_syntax = "c"
<br><br>" vim: ts=8
<br><br />--
<br>cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=16421330&i=1" target="_top" rel="nofollow">cyclone-l@...</a>
<br><a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a>tag:www.nabble.com,2006:post-16412680Re: Functional Programming in Cyclone2008-03-31T15:26:13Z2008-03-31T15:26:13ZMichael HicksThe fn.cyc module encodes closures using existential types, following
<br>an encoding proposed by Minamide et al. a while back. If you want to
<br>create a closure from a function and its environment you call make_fn
<br>(func,env). If you want to convert a straight function pointer into
<br>a closure, you call fp2fn(func). To call a closure on some argument
<br>x, you call apply(closure,x). The remaining functions are to support
<br>composing to fn_t's, currying them, etc.
<br><br>This syntax is pretty heavyweight, obviously, so doing functional
<br>programming in Cyclone should be the exception rather than the norm.
<br><br>That said, Cyclone has a functional programming feel, in that it
<br>supports local type inference (e.g., you can do let x =
<br>someexpression rather than having to declare x's type), and pattern
<br>matching on tagged unions and datatypes. The latter feature is very
<br>useful. I end up using C-style loops rather than tail-recursion, but
<br>ML-style type inference and pattern matching.
<br><br>-Mike
<br><br>On Mar 30, 2008, at 4:36 PM, Sol wrote:
<div class='shrinkable-quote'><br>> Hello List,
<br>> I'm evaluating how suitable Cyclone is for functional programming. I
<br>> realized that there is fn.cyc/fn.h, is there a minimal example or
<br>> documentation for it? Are there other resources that may be useful
<br>> for fp in
<br>> cyclone?
<br>>
<br>> Thx,
<br>>
<br>> Simon.
<br>>
<br>> --
<br>> cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=16412680&i=0" target="_top" rel="nofollow">cyclone-l@...</a>
<br>> <a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a></div><br><br>--
<br>cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=16412680&i=1" target="_top" rel="nofollow">cyclone-l@...</a>
<br><a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a><br>tag:www.nabble.com,2006:post-16412681Re: cyclone and vim2008-03-31T15:20:28Z2008-03-31T15:20:28ZMichael HicksI've only ever used emacs with Cyclone. Don't know if Vim bindings
<br>are out there ...
<br><br>-Mike
<br><br>On Mar 30, 2008, at 4:41 PM, Sol wrote:
<div class='shrinkable-quote'><br>> While editing cyclone files in vim I realized that the c/cpp syntax
<br>> highlighting gets confused by cyclones use of "?". Is there some
<br>> vim file
<br>> type support for cyclone around?
<br>>
<br>> Or is this my chance to give emacs a try?;)
<br>>
<br>> Thx,
<br>>
<br>> Simon.
<br>>
<br>> --
<br>> cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=16412681&i=0" target="_top" rel="nofollow">cyclone-l@...</a>
<br>> <a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a></div><br><br>--
<br>cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=16412681&i=1" target="_top" rel="nofollow">cyclone-l@...</a>
<br><a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a><br>tag:www.nabble.com,2006:post-16387201cyclone and vim2008-03-30T13:41:43Z2008-03-30T13:41:43ZSol-8While editing cyclone files in vim I realized that the c/cpp syntax
<br>highlighting gets confused by cyclones use of "?". Is there some vim file
<br>type support for cyclone around?
<br><br>Or is this my chance to give emacs a try?;)
<br><br>Thx,
<br><br>Simon.
<br><br>--
<br>cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=16387201&i=0" target="_top" rel="nofollow">cyclone-l@...</a>
<br><a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a><br>tag:www.nabble.com,2006:post-16387135Functional Programming in Cyclone2008-03-30T13:36:24Z2008-03-30T13:36:24ZSol-8Hello List,
<br>I'm evaluating how suitable Cyclone is for functional programming. I
<br>realized that there is fn.cyc/fn.h, is there a minimal example or
<br>documentation for it? Are there other resources that may be useful for fp in
<br>cyclone?
<br><br>Thx,
<br><br>Simon.
<br><br>--
<br>cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=16387135&i=0" target="_top" rel="nofollow">cyclone-l@...</a>
<br><a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a><br>tag:www.nabble.com,2006:post-16385744Re: Website2008-03-30T11:54:33Z2008-03-30T11:54:33ZSol-8> I'm not yet sure why, but it looks like we've got some DNS issues.
<br>That is what I thought. I realized before (like two weeks) that
<br>cyclone.thelanguage.org was not resolved, but thelanguage.org was still
<br>resolved. Then It worked again (both cyclone.thelanguage.org and
<br>thelanguage.ord). And now non of the two are resolved anymore.
<br><br>> In
<br>> the meantime, you can reach the Cyclone site at http://
<br>> macdonald.cs.umd.edu
<br>That helps allot. Thx!
<br><br><br>--
<br>cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=16385744&i=0" target="_top" rel="nofollow">cyclone-l@...</a>
<br><a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a><br>tag:www.nabble.com,2006:post-16385666Re: Website2008-03-30T11:48:43Z2008-03-30T11:48:43ZNikhil SwamyI'm not yet sure why, but it looks like we've got some DNS issues. In
<br>the meantime, you can reach the Cyclone site at http://
<br>macdonald.cs.umd.edu
<br><br>-Nik
<br><br><br>On Mar 30, 2008, at 2:40 PM, Sol wrote:
<br><br>> Hello,
<br>> I can not reach the cyclone website at http://
<br>> cyclone.thelanguage.org/. Is
<br>> it down?
<br>>
<br>> --
<br>> cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=16385666&i=0" target="_top" rel="nofollow">cyclone-l@...</a>
<br>> <a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a><br><br><br>--
<br>cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=16385666&i=1" target="_top" rel="nofollow">cyclone-l@...</a>
<br><a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a><br>tag:www.nabble.com,2006:post-16385571Website2008-03-30T11:40:14Z2008-03-30T11:40:14ZSol-8Hello,
<br>I can not reach the cyclone website at <a href="http://cyclone.thelanguage.org/" target="_top" rel="nofollow">http://cyclone.thelanguage.org/</a>. Is
<br>it down?
<br><br>--
<br>cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=16385571&i=0" target="_top" rel="nofollow">cyclone-l@...</a>
<br><a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a><br>tag:www.nabble.com,2006:post-16084163Re: Building Cyclone with GCC 4.1.32008-03-16T14:12:53Z2008-03-16T14:12:53ZSol-8> Hard to tell from the transcript, but one idea: try
<br>>
<br>> cvs update -d
<br>>
<br>> first because I recently added some directories. Then make clean,
<br>> then make.
<br>That worked, thx!
<br><br>--
<br>cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=16084163&i=0" target="_top" rel="nofollow">cyclone-l@...</a>
<br><a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a><br>tag:www.nabble.com,2006:post-16083048Re: Building Cyclone with GCC 4.1.32008-03-16T12:34:40Z2008-03-16T12:34:40ZTrevor JimHard to tell from the transcript, but one idea: try
<br><br>cvs update -d
<br><br>first because I recently added some directories. Then make clean,
<br>then make.
<br><br>-Trevor
<br><br>On Mar 16, 2008, at 11:04 AM, Sol wrote:
<br><br>> Hallo List,
<br>> when building Cyclone, it does not succeed. I do use the latest CVS.
<br><br><br><br>--
<br>cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=16083048&i=0" target="_top" rel="nofollow">cyclone-l@...</a>
<br><a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a><br>tag:www.nabble.com,2006:post-16079976Building Cyclone with GCC 4.1.32008-03-16T08:04:45Z2008-03-16T08:04:45ZSol-8Hallo List,
<br>when building Cyclone, it does not succeed. I do use the latest CVS.
<br><br>gcc --version yields:
<br><br>gcc (GCC) 4.1.3 20070929 (prerelease) (Ubuntu 4.1.2-16ubuntu2)
<br><br>The last lines of the output are attached.
<br><br>Does anyone know how to remedy this problem?
<br><br>Thx,
<br><br>Simon.
<br><br><br />***Warnings***
<br>termgrammar.cyc:664: pattern not exhaustive.
<br> missing case for NULL
<br>termgrammar.cyc:227: inserted null check due to implicit cast from * to @ type
<br>termgrammar.cyc:898: inserted null check due to implicit cast from * to @ type
<br>**************
<br>/home/sol/sandbox/cyclone/bin/cyclone -I../../include -B/home/sol/sandbox/cyclone/bin/lib/cyc-lib -L/home/sol/sandbox/cyclone/bin/lib --novcgen -DNULL_PLAN_B -c lex.cyc -o lex.o
<br>***Warnings***
<br>lex.cyl:49: implicit cast from char ? to const char @
<br>lex.cyl:60: implicit cast from char ? to const char @
<br>lex.cyl:61: implicit cast from char ? to const char @
<br>lex.cyl:201: implicit cast from char ? to const char @
<br>lex.cyl:49: inserted null check due to implicit cast from *@fat (?) to @ type
<br>lex.cyl:60: inserted null check due to implicit cast from *@fat (?) to @ type
<br>lex.cyl:61: inserted null check due to implicit cast from *@fat (?) to @ type
<br>lex.cyl:201: inserted null check due to implicit cast from *@fat (?) to @ type
<br>**************
<br>/home/sol/sandbox/cyclone/bin/cyclone -I../../include -B/home/sol/sandbox/cyclone/bin/lib/cyc-lib -L/home/sol/sandbox/cyclone/bin/lib --novcgen -DNULL_PLAN_B -c pads.cyc -o pads.o
<br>***Warnings***
<br>pads.cyc:705: inserted null check due to implicit cast from * to @ type
<br>pads.cyc:570: inserted null check due to implicit cast from * to @ type
<br>**************
<br>/home/sol/sandbox/cyclone/bin/cyclone -I../../include -B/home/sol/sandbox/cyclone/bin/lib/cyc-lib -L/home/sol/sandbox/cyclone/bin/lib --novcgen -DNULL_PLAN_B -c parse_tab.cyc -o parse_tab.o
<br>/home/sol/sandbox/cyclone/bin/cyclone -I../../include -B/home/sol/sandbox/cyclone/bin/lib/cyc-lib -L/home/sol/sandbox/cyclone/bin/lib --novcgen -DNULL_PLAN_B -c parsergen.cyc -o parsergen.o
<br>***Warnings***
<br>parsergen.cyc:120: inserted null check due to implicit cast from * to @ type
<br>parsergen.cyc:464: inserted null check due to implicit cast from * to @ type
<br>parsergen.cyc:630: inserted null check due to implicit cast from * to @ type
<br>**************
<br>/home/sol/sandbox/cyclone/bin/cyclone -I../../include -B/home/sol/sandbox/cyclone/bin/lib/cyc-lib -L/home/sol/sandbox/cyclone/bin/lib --novcgen -DNULL_PLAN_B -c crawlergen.cyc -o crawlergen.o
<br>***Warnings***
<br>crawlergen.cyc:282: inserted null check due to implicit cast from * to @ type
<br>crawlergen.cyc:323: inserted null check due to implicit cast from * to @ type
<br>crawlergen.cyc:461: inserted null check due to implicit cast from * to @ type
<br>crawlergen.cyc:69: inserted null check due to implicit cast from * to @ type
<br>crawlergen.cyc:253: inserted null check due to implicit cast from * to @ type
<br>crawlergen.cyc:582: inserted null check due to implicit cast from * to @ type
<br>**************
<br>/home/sol/sandbox/cyclone/bin/cyclone -I../../include -B/home/sol/sandbox/cyclone/bin/lib/cyc-lib -L/home/sol/sandbox/cyclone/bin/lib --novcgen -DNULL_PLAN_B -c pr.cyc -o pr.o
<br>/home/sol/sandbox/cyclone/bin/cyclone -I../../include -B/home/sol/sandbox/cyclone/bin/lib/cyc-lib -L/home/sol/sandbox/cyclone/bin/lib --novcgen -DNULL_PLAN_B -c prose.cyc -o prose.o
<br>make[1]: Leaving directory `/home/sol/sandbox/cyclone/tools/yakker'
<br>make: *** [tools] Error 2
<br><br><br />--
<br>cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=16079976&i=0" target="_top" rel="nofollow">cyclone-l@...</a>
<br><a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a>tag:www.nabble.com,2006:post-15493997ITP: cyclone -- Safe dialect of C2008-02-14T18:48:22Z2008-02-14T18:48:22ZFrançois-Denis Gonthier-3Package: wnpp
<br>Owner: François-Denis Gonthier <<a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=15493997&i=0" target="_top" rel="nofollow">neumann@...</a>>
<br>Severity: wishlist
<br><br>* Package name : cyclone
<br> Version : 1.0/CVS
<br> Upstream Author : Dan Grossman, Trevor Jim, Greg Morrisett et al.
<br>* URL or Web page : <a href="http://cyclone.thelanguage.org" target="_top" rel="nofollow">http://cyclone.thelanguage.org</a><br>* License : GPL (+ BSD alike for some files)
<br> Description : Safe dialect of C
<br><br>Cyclone is a compiler for a language close to the C language. It adds
<br>several feature to improve the safety on the C language. Such features
<br>include:
<br><br>- pattern matching,
<br>- algebraic datatypes
<br>- exceptions
<br>- region-based memory management
<br>- optional garbage collection.
<br><br>One of cyclone aims is to produce programs that are more secure than C
<br>programs by eliminating buffers overflows, double free bugs, dangling
<br>pointers access, etc.
<br><br>For Cyclone-l readers, this is a "Intent To Package" for the Debian
<br>GNU/Linux distribution. It is meant to say that there is somebody
<br>working on packaging a particular software for the distribution.
<br><br>If you have any comments or questions, I'll be happy to answer.
<br><br>F-D
<br><br>--
<br>cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=15493997&i=1" target="_top" rel="nofollow">cyclone-l@...</a>
<br><a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a>tag:www.nabble.com,2006:post-15403563Re: ERROR: cannot build because sizeof(long) == 8 != 42008-02-10T16:21:52Z2008-02-10T16:21:52ZMichael HicksCyclone doesn't work on 64 bit architectures right now, I believe.
<br>There are several places in the code generator and runtime system
<br>that assume 32-bit words. If someone is willing to attempt a 64-bit
<br>port, I suspect the core developers watching this list could provide
<br>some support ...
<br><br>-Mike
<br><br><br>On Feb 10, 2008, at 4:15 PM, Yang Zhang wrote:
<br><div class='shrinkable-quote'><br>> Hi, when I configure on 64-bit Ubuntu Linux + gcc 4.1 I get:
<br>>
<br>> ...
<br>> checking for long... yes
<br>> checking size of long... 8
<br>> ERROR: cannot build because sizeof(long) == 8 != 4
<br>>
<br>> Let me know if any further information would be useful. Thanks in
<br>> advance for any hints.
<br>> --
<br>> Yang Zhang
<br>> <a href="http://www.mit.edu/~y_z/" target="_top" rel="nofollow">http://www.mit.edu/~y_z/</a><br>>
<br>> --
<br>> cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=15403563&i=0" target="_top" rel="nofollow">cyclone-l@...</a>
<br>> <a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a></div><br><br>--
<br>cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=15403563&i=1" target="_top" rel="nofollow">cyclone-l@...</a>
<br><a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a><br>tag:www.nabble.com,2006:post-15401544ERROR: cannot build because sizeof(long) == 8 != 42008-02-10T13:15:20Z2008-02-10T13:15:20ZyangzhangHi, when I configure on 64-bit Ubuntu Linux + gcc 4.1 I get:
<br><br>...
<br>checking for long... yes
<br>checking size of long... 8
<br>ERROR: cannot build because sizeof(long) == 8 != 4
<br><br>Let me know if any further information would be useful. Thanks in
<br>advance for any hints.
<br>--
<br>Yang Zhang
<br><a href="http://www.mit.edu/~y_z/" target="_top" rel="nofollow">http://www.mit.edu/~y_z/</a><br><br>--
<br>cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=15401544&i=0" target="_top" rel="nofollow">cyclone-l@...</a>
<br><a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a><br>tag:www.nabble.com,2006:post-14164465Re: A peculiar problem in lex.cyl2007-12-04T19:16:42Z2007-12-04T19:16:42ZTrevor JimAn exact error message might help. In other words, where is the code
<br>that prints the error?
<br><br>-Trevor
<br><br><br>On Dec 4, 2007, at 7:14 PM, <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=14164465&i=0" target="_top" rel="nofollow">suman@...</a> wrote:
<br><div class='shrinkable-quote'><br>> Hi,
<br>> I am hacking cyclone source code to support compiling a Linux 2.6
<br>> driver
<br>> written in cyclone. I am trying to add a new token called
<br>> ATTRIBUTE_USED
<br>> in lex.cyl in the following manner-
<br>>
<br>> // bool is true when the keyword is a GCC keyword, not just a
<br>> Cyclone keyword
<br>> static $(string_t,short,bool) rw_array[] = {
<br>> ....
<br>> $("__attribute_used__", ATTRIBUTE_USED, true),
<br>> $("__attribute__", ATTRIBUTE, true),
<br>> $("__attribute__", ATTRIBUTE, true),
<br>> $("__attribute", ATTRIBUTE, true),
<br>> ...
<br>> }
<br>>
<br>> I have added the new token in parse.y file as well. It's compiling
<br>> fine. But when cyclone tries to compile a header file containing
<br>> "__attribute_used__" , it's detecting it as an ATTRIBUTE instead of
<br>> ATTRIBUTE_USED and throws up an error saying "found ATTRIBUTE".
<br>>
<br>> Any pointers on what I am missing ? Do I also need to change
<br>> anywhere else.
<br>> Any info will be really helpful.
<br>>
<br>> Thanks in advance,
<br>> Suman
<br>>
<br>> --
<br>> cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=14164465&i=1" target="_top" rel="nofollow">cyclone-l@...</a>
<br>> <a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a></div><br><br>--
<br>cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=14164465&i=2" target="_top" rel="nofollow">cyclone-l@...</a>
<br><a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a><br>tag:www.nabble.com,2006:post-14162585A peculiar problem in lex.cyl2007-12-04T16:14:17Z2007-12-04T16:14:17Zsuman-5Hi,
<br>I am hacking cyclone source code to support compiling a Linux 2.6 driver
<br>written in cyclone. I am trying to add a new token called ATTRIBUTE_USED
<br>in lex.cyl in the following manner-
<br><br>// bool is true when the keyword is a GCC keyword, not just a Cyclone keyword
<br>static $(string_t,short,bool) rw_array[] = {
<br> ....
<br> $("__attribute_used__", ATTRIBUTE_USED, true),
<br> $("__attribute__", ATTRIBUTE, true),
<br> $("__attribute__", ATTRIBUTE, true),
<br> $("__attribute", ATTRIBUTE, true),
<br> ...
<br>}
<br><br>I have added the new token in parse.y file as well. It's compiling
<br>fine. But when cyclone tries to compile a header file containing
<br>"__attribute_used__" , it's detecting it as an ATTRIBUTE instead of
<br>ATTRIBUTE_USED and throws up an error saying "found ATTRIBUTE".
<br><br>Any pointers on what I am missing ? Do I also need to change anywhere else.
<br>Any info will be really helpful.
<br><br>Thanks in advance,
<br>Suman
<br><br>--
<br>cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=14162585&i=0" target="_top" rel="nofollow">cyclone-l@...</a>
<br><a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a><br>tag:www.nabble.com,2006:post-14038575Re: Compilation error in latest CVS code2007-11-29T16:54:56Z2007-11-29T16:54:56ZTrevor JimSorry about this. Something got checked in by mistake and should be
<br>fixed shortly.
<br><br>-Trevor
<br><br>On Nov 29, 2007, at 6:58 PM, <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=14038575&i=0" target="_top" rel="nofollow">suman@...</a> wrote:
<br><div class='shrinkable-quote'><br>> Hi,
<br>> I am getting the following errors while trying to compile the latest
<br>> cyclone source code from CVS.
<br>>
<br>> /proj/xtcp/sumanj/cyclone/bin/cyclone -I../../include
<br>> -B/proj/xtcp/sumanj/cyclone/bin/lib/cyc-lib
<br>> -L/proj/xtcp/sumanj/cyclone/bin/lib analyze.o axarray.o cs.o bnf.o
<br>> extract.o semiring.o fa.o nfa_lazy.o nfa_eager.o leftfactor.o
<br>> flatten.o termgrammar.o lex.o pads.o parse_tab.o parsergen.o
<br>> crawlergen.o pr.o prose.o prose_elim_grm.o string_dfa_engine1.o
<br>> string_dfa_engine2_1.o corerules.o corerules_grm.o util.o namespaces.o
<br>> earley.o abnf-echo-dfa.o earley-backend.o yakker.o -o yakker -lm
<br>> earley-backend.o: In function `Cyc_EarleyBackend_get_bounds':
<br>> earley-backend.c:(.text+0x8f7): undefined reference to
<br>> `Cyc_DFACyc_attributes'
<br>> earley-backend.o: In function `Cyc_EarleyBackend_push_closure':
<br>> earley-backend.c:(.text+0xeb6): undefined reference to
<br>> `Cyc_DFACyc_transitions'
<br>> earley-backend.c:(.text+0x1044): undefined reference to
<br>> `Cyc_DFACyc_transitions'
<br>> earley-backend.c:(.text+0x111e): undefined reference to
<br>> `Cyc_DFACyc_transitions'
<br>> earley-backend.c:(.text+0x13ae): undefined reference to
<br>> `Cyc_DFACyc_transitions'
<br>> earley-backend.c:(.text+0x1861): undefined reference to
<br>> `Cyc_DFACyc_transitions'
<br>> earley-backend.o:earley-backend.c:(.text+0x18fb): more undefined
<br>> references to `Cyc_DFACyc_transitions' follow
<br>> earley-backend.o: In function `Cyc_EarleyBackend_push_closure':
<br>> earley-backend.c:(.text+0x1b50): undefined reference to
<br>> `Cyc_DFACyc_is_final'
<br>> earley-backend.c:(.text+0x1beb): undefined reference to
<br>> `Cyc_DFACyc_is_final'
<br>> earley-backend.c:(.text+0x1c12): undefined reference to
<br>> `Cyc_DFACyc_attributes'
<br>> earley-backend.c:(.text+0x1e17): undefined reference to
<br>> `Cyc_DFACyc_transitions'
<br>> earley-backend.o: In function `Cyc_EarleyBackend_parse':
<br>> earley-backend.c:(.text+0x268f): undefined reference to
<br>> `Cyc_DFACyc_transitions'
<br>> earley-backend.c:(.text+0x2a43): undefined reference to
<br>> `Cyc_DFACyc_attributes'
<br>> collect2: ld returned 1 exit status
<br>> Error: C compiler failed
<br>> make[1]: *** [yakker] Error 1
<br>> make[1]: Leaving directory `/proj/xtcp/sumanj/cyclone/tools/yakker'
<br>> make: *** [tools] Error 2
<br>>
<br>> Can anyone point out what's going wrong ?
<br>>
<br>> Thanks in advance,
<br>> Suman
<br>>
<br>> --
<br>> cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=14038575&i=1" target="_top" rel="nofollow">cyclone-l@...</a>
<br>> <a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a></div><br><br>--
<br>cyclone-l mailing list :: <a href="http://www.nabble.com/user/SendEmail.jtp?type=post&post=14038575&i=2" target="_top" rel="nofollow">cyclone-l@...</a>
<br><a href="https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l" target="_top" rel="nofollow">https://lists.cs.cornell.edu/mailman/listinfo/cyclone-l</a><br>tag:www.nabble.com,2006:post-14037961Compilation error in latest CVS code2007-11-29T15:58:36Z2007-11-29T15:58:36Zsuman-5Hi,
<br>I am getting the following errors while trying to compile the latest
<br>cyclone source code from CVS.
<br><br>/proj/xtcp/sumanj/cyclone/bin/cyclone -I../../include
<br>-B/proj/xtcp/sumanj/cyclone/bin/lib/cyc-lib
<br>-L/proj/xtcp/sumanj/cyclone/bin/lib analyze.o axarray.o cs.o bnf.o
<br>extract.o semiring.o fa.o nfa_lazy.o nfa_eager.o leftfactor.o
<br>flatten.o termgrammar.o lex.o pads.o parse_tab.o parsergen.o
<br>crawlergen.o pr.o prose.o prose_elim_grm.o string_dfa_engine1.o
<br>string_dfa_engine2_1.o corerules.o corerules_grm.o util.o namespaces.o
<br>earley.o abnf-echo-dfa.o earley-backend.o yakker.o -o yakker -lm
<br>earley-backend.o: In function `Cyc_EarleyBackend_get_bounds':
<br>earley-backend.c:(.text+0x8f7): undefined reference to `Cyc_DFACyc_attributes'
<br>earley-backend.o: In function `Cyc_EarleyBackend_push_closure':
<br>earley-backend.c:(.text+0xeb6): undefined reference to
<br>`Cyc_DFACyc_transitions'
<br>earley-backend.c:(.text+0x1044): undefined reference to
<br>`Cyc_DFACyc_transitions'
<br>earley-backend.c:(.text+0x111e): undefined reference to
<br>`Cyc_DFACyc_transitions'
<br>earley-backend.c:(.text+0x13ae): undefined reference to
<br>`Cyc_DFACyc_transitions'
<br>earley-backend.c:(.text+0x1861): undefined reference to
<br>`Cyc_DFACyc_transitions'
<br>earley-backend.o:earley-backend.c:(.text+0x18fb): more undefined
<br>references to `Cyc_DFACyc_transitions' follow
<br>earley-backend.o: In function `Cyc_EarleyBackend_push_closure':
<br>earley-backend.c:(.text+0x1b50): undefined reference to `Cyc_DFACyc_is_final'
<br>earley-backend.c:(.text+0x1beb): undefined reference to `Cyc_DFACyc_is_final'
<br>earley-backend.c:(.text+0x1c12): undefined reference to
<br>`Cyc_DFACyc_attributes'
<br>earley-backend.c:(.text+0x1e17): undefined reference to
<br>`Cyc_DFACyc_transitions'
<br>earley-backend.o: In function `Cyc_EarleyBackend_parse':
<br>earley-backend.c:(.text+0x268f): undefined reference to
<br>`Cyc_DFACyc_transitions'
<br>earley-backend.c:(.text+0x2a43): undefined reference to
<br>`Cyc_DFACyc_attributes'
<br>collect2: ld returned 1 exit status
<br>Error: C compiler failed
<br>make[1]: *** [yakker] Error 1
<br>make[1]: Leaving directory `/proj/xtcp/sumanj/cyclone/tools/yakker'
<br>make: *** [tools] Error 2
<br><br>Can anyone point out what's going wrong ?
<br><br>Thanks in advance,
<br>Suman
<br><br>--
<br>cyclone-l mailing list :: <a href="