Changeset 86bd7c1f for src/examples/prolog.c

Timestamp:

May 27, 2015, 8:33:19 PM (9 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, gc_noraii, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, string, with_gc

Children:

00cc023

Parents:

52ac3b4

Message:

licencing: eighth groups of files

File:

• src/examples/prolog.c (modified) (2 diffs)

src/examples/prolog.c

@@ -1 @@
-// "./cfa prolog.c"
+//
+// Cforall Version 1.0.0 Copyright (C) 2015 University of Waterloo
+//
+// The contents of this file are covered under the licence agreement in the
+// file "LICENCE" distributed with Cforall.
+//
+// prolog.c -- 
+//
+// Author           : Richard C. Bilson
+// Created On       : Wed May 27 17:56:53 2015
+// Last Modified By : Peter A. Buhr
+// Last Modified On : Wed May 27 18:25:52 2015
+// Update Count     : 1
+//
 
 extern "C" { extern int printf( const char *fmt, ... ); }
@@ -13 +26 @@
 
 context ArithmeticType( type T ) {
-    void is_arithmetic( T );
+        void is_arithmetic( T );
 };
 
 context IntegralType( type T | ArithmeticType( T ) ) {
-    void is_integer( T );
+        void is_integer( T );
 };
 
 forall( type T | IntegralType( T ) | { void printResult( T ); } )
 void hornclause( T param ) {
-    printResult( param );
+        printResult( param );
 }
 
 int main() {
-    int x;
-    double x;
-    char * x;
-    hornclause( x );
+        int x;
+        double x;
+        char * x;
+        hornclause( x );
 }
+
+// Local Variables: //
+// tab-width: 4 //
+// compile-command: "cfa prolog.c" //
+// End: //