Boolean type and constants

This patch updates the core/types.h header to ensure that the C99
boolean type and true/false constants are available.

include/libcork/core/types.h

@@ -19,7 +19,7 @@
 /**
  * @addtogroup basic_types Basic types
  *
- * <tt>#%include &lt;libcork/core/types.h&gt;</tt>
+ * <tt>#%include \<libcork/core/types.h\></tt>
  *
  * The types in this section ensure that the C99 integer types are
  * available, regardless of platform.  We also define some preprocessor
@@ -37,6 +37,13 @@
  * just to trick doxygen into generating an entry for them.
  */
 
+/** @brief A boolean. @since 0.0-dev */
+typedef int  bool;
+/** @brief The boolean “true” value. @since 0.0-dev */
+#define true  1
+/** @brief The boolean “false” value. @since 0.0-dev */
+#define false  0
+
 /** @brief A signed 8-bit integer. @since 0.0-dev */
 typedef char  int8_t;
 /** @brief An unsigned 8-bit integer. @since 0.0-dev */
@@ -83,11 +90,12 @@ typedef unsigned long  uintptr_t;
 
 /*
  * For now, we assume that the C99 integer types are available using the
- * standard header.
+ * standard headers.
  */
 
 #include <limits.h>
 #include <inttypes.h>
+#include <stdbool.h>
 #include <stddef.h>
 #include <stdint.h>
 

tests/test-core.c

@@ -22,6 +22,18 @@
  * Core types
  */
 
+START_TEST(test_bool)
+{
+    bool  value;
+
+    value = true;
+    fail_unless(value, "Unexpected true value");
+
+    value = false;
+    fail_if(value, "Unexpected false value");
+}
+END_TEST
+
 START_TEST(test_int_types)
 {
     /*
@@ -158,6 +170,7 @@ test_suite()
     Suite  *s = suite_create("core");
 
     TCase  *tc_core = tcase_create("core");
+    tcase_add_test(tc_core, test_bool);
     tcase_add_test(tc_core, test_int_types);
     tcase_add_test(tc_core, test_int_sizeof);
     tcase_add_test(tc_core, test_endianness);