diff options
| -rw-r--r-- | .gitignore | 4 | ||||
| -rw-r--r-- | inc/parse.h | 8 | ||||
| -rw-r--r-- | inc/term.h | 25 | ||||
| -rw-r--r-- | makefile | 40 | ||||
| -rw-r--r-- | readme.md | 3 | ||||
| -rw-r--r-- | src/main.c | 11 | ||||
| -rw-r--r-- | src/parse.c | 36 | ||||
| -rw-r--r-- | src/term.c | 57 |
8 files changed, 184 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..50660f9 --- /dev/null +++ b/.gitignore @@ -0,0 +1,4 @@ +build/ + +tags +compile_commands.json diff --git a/inc/parse.h b/inc/parse.h new file mode 100644 index 0000000..cfd9102 --- /dev/null +++ b/inc/parse.h @@ -0,0 +1,8 @@ +#ifndef PARSE_H +#define PARSE_H + +#include <term.h> + +struct term *parse(const char *term); + +#endif diff --git a/inc/term.h b/inc/term.h new file mode 100644 index 0000000..e750beb --- /dev/null +++ b/inc/term.h @@ -0,0 +1,25 @@ +#ifndef TERM_H +#define TERM_H + +typedef int bruijn; +typedef enum { INV, ABS, APP, VAR } term_type; + +struct term { + term_type type; + union { + struct { + struct term *term; + } abs; + struct { + struct term *lhs; + struct term *rhs; + } app; + bruijn var; + } u; +}; + +struct term *new_term(term_type type); +void print_term(struct term *term); +void free_term(struct term *term); + +#endif diff --git a/makefile b/makefile new file mode 100644 index 0000000..713b3de --- /dev/null +++ b/makefile @@ -0,0 +1,40 @@ +# Copyright (c) 2022, Marvin Borner <dev@marvinborner.de> +# SPDX-License-Identifier: MIT + +CC = gcc +LD = ld +TG = ctags + +BUILD = $(PWD)/build +SRC = ./src +INC = ./inc +SRCS = $(shell find $(SRC) -name '*.c') +OBJS = $(SRCS:%=$(BUILD)/%.o) + +# I need the following on my machine. Look it up though before using it. +# export ASAN_OPTIONS=verify_asan_link_order=0 +CFLAGS_DEBUG = -Wno-error -ggdb3 -Og -Wno-unused -fsanitize=address -fsanitize=undefined -fstack-protector-all +CFLAGS_WARNINGS = -Wall -Wextra -Werror -Wshadow -Wpointer-arith -Wwrite-strings -Wredundant-decls -Wnested-externs -Wformat=2 -Wmissing-declarations -Wstrict-prototypes -Wmissing-prototypes -Wcast-qual -Wswitch-default -Wswitch-enum -Wunreachable-code -Wundef -Wold-style-definition -Wvla -pedantic -Wno-switch-enum +CFLAGS = $(CFLAGS_WARNINGS) -std=c99 -fno-profile-generate -fno-omit-frame-pointer -fno-common -fno-asynchronous-unwind-tables -mno-red-zone -Ofast -D_DEFAULT_SOURCE -I$(INC) $(CFLAGS_DEBUG) + +all: $(BUILD) $(OBJS) $(BUILD)/milcr + +compile: all sync + +clean: + @rm -rf $(BUILD)/* + +sync: # Ugly hack + @$(MAKE) --always-make --dry-run | grep -wE 'gcc' | jq -nR '[inputs|{directory: ".", command: ., file: match(" [^ ]+$$").string[1:]}]' >compile_commands.json & + @$(TG) -R --exclude=.git --exclude=build . & + +$(BUILD)/%.c.o: %.c + @$(CC) -c $(CFLAGS) $< -o $(patsubst $(BUILD)/$(SRC)/%.c.o,$(BUILD)/%.o,$@) + +$(BUILD)/milcr: $(OBJS) + $(CC) $(CFLAGS) $(patsubst $(BUILD)/$(SRC)/%.c.o,$(BUILD)/%.o,$^) -o $@ + +.PHONY: all compile clean sync + +$(BUILD): + @mkdir -p $@ diff --git a/readme.md b/readme.md new file mode 100644 index 0000000..18c38fe --- /dev/null +++ b/readme.md @@ -0,0 +1,3 @@ +# MILCR + +> **M**ultithreaded **I**nteraction net **L**ambda **C**alculus **R**educer diff --git a/src/main.c b/src/main.c new file mode 100644 index 0000000..431d8a5 --- /dev/null +++ b/src/main.c @@ -0,0 +1,11 @@ +#include <stdio.h> +#include <parse.h> +#include <term.h> + +int main(void) +{ + struct term *term = parse("([[((0 1) [(1 0)])]] [0])"); + print_term(term); + free_term(term); + return 0; +} diff --git a/src/parse.c b/src/parse.c new file mode 100644 index 0000000..00fd498 --- /dev/null +++ b/src/parse.c @@ -0,0 +1,36 @@ +// Just for debugging purposes +// -> parses custom bruijn syntax + +#include <parse.h> +#include <term.h> +#include <stdio.h> + +static struct term *rec(const char **term) +{ + struct term *res = 0; + if (!**term) { + fprintf(stderr, "invalid parsing state!\n"); + } else if (**term == '[') { + (*term)++; + res = new_term(ABS); + res->u.abs.term = rec(term); + } else if (**term == '(') { + (*term)++; + res = new_term(APP); + res->u.app.lhs = rec(term); + res->u.app.rhs = rec(term); + } else if (**term >= '0' && **term <= '9') { + res = new_term(VAR); + res->u.var = **term - '0'; + (*term)++; + } else { + (*term)++; + res = rec(term); // this is quite tolerant.. + } + return res; +} + +struct term *parse(const char *term) +{ + return rec(&term); +} diff --git a/src/term.c b/src/term.c new file mode 100644 index 0000000..f288653 --- /dev/null +++ b/src/term.c @@ -0,0 +1,57 @@ +#include <term.h> +#include <stdlib.h> +#include <stdio.h> + +struct term *new_term(term_type type) +{ + struct term *term = calloc(1, sizeof(*term)); + if (!term) { + fprintf(stderr, "Out of memory!\n"); + abort(); + } + term->type = type; + return term; +} + +void free_term(struct term *term) +{ + switch (term->type) { + case ABS: + free_term(term->u.abs.term); + free(term); + break; + case APP: + free_term(term->u.app.lhs); + free_term(term->u.app.rhs); + free(term); + break; + case VAR: + free(term); + break; + default: + fprintf(stderr, "Invalid type %d\n", term->type); + } +} + +void print_term(struct term *term) +{ + switch (term->type) { + case ABS: + printf("["); + print_term(term->u.abs.term); + printf("]"); + break; + case APP: + printf("("); + print_term(term->u.app.lhs); + printf(" "); + print_term(term->u.app.rhs); + printf(")"); + break; + case VAR: + printf("%d", term->u.var); + break; + default: + fprintf(stderr, "Invalid type %d\n", term->type); + } +} |