bedohswe/with99
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Initial commit.

Browse Source
This commit is contained in:
bʰedoh₂ swé 2025-02-02 21:44:30 +05:00
commit 6d6caf5436
2 changed files with 102 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
README.md Normal file
View File

@ -0,0 +1,27 @@
# Metalang99-based library, adding Python-like "with" blocks
```c
#include <stdlib.h>
#include <stdio.h>
#include <with99.h>
#define WITH99_RESOURCE_TYPE_intptr(...) int*
#define WITH99_RESOURCE_INIT_intptr(res, ...) (printf("Allocated to %p\n", res), *res = malloc(sizeof(int)), 0)
#define WITH99_RESOURCE_FREE_intptr(res, ...) (printf("Freed %p at %p\n", res, *res), free(*res))
#define WITH99_RESOURCE_THROWS_intptr(res, ...) 0
#define With WITH99_With
int main(void) {
With(
(intptr, a),
(intptr, b)
) {
*a = 1;
*b = 2;
*a += *b;
printf("%d\n", *a);
}
}
```

75
include/with99.h Normal file
View File

@ -0,0 +1,75 @@
#ifndef WITH99_H
#define WITH99_H
#include <metalang99.h>
#include <metalang99/tuple.h>
#include <metalang99/util.h>
#include <metalang99/lang.h>
#include <metalang99/bool.h>
#if !ML99_VERSION_COMPATIBLE(1, 13, 2)
#error Your Metalang99 is a bit mouldy, update to v1.13.2 or later.
#endif
#define WITH99_VERSION 1
#define WITH99_PRIV_RESTYPE(res, ...) WITH99_RESOURCE_TYPE_ ## res (__VA_ARGS__)
#define WITH99_PRIV_RESINIT(res, ...) WITH99_RESOURCE_INIT_ ## res (__VA_ARGS__)
#define WITH99_PRIV_RESFREE(res, ...) WITH99_RESOURCE_FREE_ ## res (__VA_ARGS__)
#define WITH99_PRIV_RESTHROWS(res, ...) WITH99_RESOURCE_THROWS_ ## res (__VA_ARGS__)
#define WITH99_PRIV_DECLARE_RESOURCE(res, name, ...) WITH99_PRIV_RESTYPE(res, __VA_ARGS__) name
#define WITH99_PRIV_INIT_RESOURCE(res, name, ...) WITH99_PRIV_RESINIT(res, &name, __VA_ARGS__)
#define WITH99_PRIV_FREE_RESOURCE(res, name, ...) WITH99_PRIV_RESFREE(res, &name, __VA_ARGS__)
#define WITH99_PRIV_THROWS_RESOURCE(res, name, ...) WITH99_PRIV_RESTHROWS(res, __VA_ARGS__)
#define WITH99_PRIV_throw_match_0_IMPL(tResNameArgs)\
ML99_appl(ML99_reify(v(ML99_CHAIN_EXPR_STMT)),\
ML99_appl(ML99_reify(v(WITH99_PRIV_INIT_RESOURCE)),\
ML99_untuple(v(tResNameArgs))\
)\
)
#define WITH99_PRIV_IF_ERROR(code)\
if (!code)
#define WITH99_PRIV_throw_match_1_IMPL(tResNameArgs)\
ML99_appl(ML99_reify(v(WITH99_PRIV_IF_ERROR)),\
ML99_appl(ML99_reify(v(WITH99_PRIV_INIT_RESOURCE)),\
ML99_untuple(v(tResNameArgs))\
)\
)
#define WITH99_PRIV_create_stmt_IMPL(tResNameArgs)\
ML99_appl(ML99_reify(v(ML99_INTRODUCE_VAR_TO_STMT)),\
ML99_appl(ML99_reify(v(WITH99_PRIV_DECLARE_RESOURCE)),\
ML99_untuple(v(tResNameArgs))\
)\
),\
ML99_boolMatchWithArgs(\
ML99_appl(\
ML99_reify(\
v(WITH99_PRIV_THROWS_RESOURCE)\
),\
ML99_untuple(v(tResNameArgs))\
),\
v(WITH99_PRIV_throw_match_),\
v(tResNameArgs)\
),\
ML99_appl(ML99_reify(v(ML99_CHAIN_EXPR_STMT_AFTER)),\
ML99_appl(ML99_reify(v(WITH99_PRIV_FREE_RESOURCE)),\
ML99_untuple(v(tResNameArgs))\
)\
)
//#define WITH99_PRIV_create_stmt_IMPL(a) ML99_untuple(v(a))
#define WITH99_PRIV_create_stmt_ARITY 1
#define WITH99_With(...) ML99_EVAL(WITH99_with(__VA_ARGS__))
#define WITH99_with(...) ML99_call(WITH99_with, v(__VA_ARGS__))
#define WITH99_with_IMPL(...) ML99_variadicsForEach(v(WITH99_PRIV_create_stmt), v(__VA_ARGS__))
#endif