Idris2/support/refc/cBackend.h

#pragma once

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <pthread.h>

#include "datatypes.h"
#include "memoryManagement.h"
#include "mathFunctions.h"
#include "runtime.h"
#include "stringOps.h"
#include "buffer.h"
#include "clock.h"
#include "casts.h"
#include "conCaseHelper.h"
#include "prim.h"
Use pragma once instead of include guard Pragma once is supported by all compilers for the last ten years. Better use it instead of include guards (which use different styles in different files). 2021-06-27 09:32:03 +03:00			`#pragma once`

Initial merge of reference counting C back end Written by Volkmar Frinken (@vfrinken). This is intended as a lightweight (i.e. minimal dependencies) code generator that can be ported to multiple platforms, especially those with memory constraints. It shouldn't be expected to be anywhere near as fast as the Scheme back end, for lots of reasons. The main goal is portability. 2020-10-11 17:05:00 +03:00			`#include <stdio.h>`
			`#include <stdlib.h>`
			`#include <string.h>`
			`#include <pthread.h>`

			`#include "datatypes.h"`
			`#include "memoryManagement.h"`
			`#include "mathFunctions.h"`
			`#include "runtime.h"`
			`#include "stringOps.h"`
Distinguish common C and RefC Buffer functions 2021-06-10 13:19:09 +03:00			`#include "buffer.h"`
Add RefC Clock support 2021-05-17 16:06:12 +03:00			`#include "clock.h"`
Initial merge of reference counting C back end Written by Volkmar Frinken (@vfrinken). This is intended as a lightweight (i.e. minimal dependencies) code generator that can be ported to multiple platforms, especially those with memory constraints. It shouldn't be expected to be anywhere near as fast as the Scheme back end, for lots of reasons. The main goal is portability. 2020-10-11 17:05:00 +03:00			`#include "casts.h"`
			`#include "conCaseHelper.h"`
			`#include "prim.h"`