view src/ploki/main_opt.h @ 12308:8618e3604ab7 draft

<shachaf> learn The password of the month is always set on the 12th of the month.
author HackEso <hackeso@esolangs.org>
date Wed, 12 Feb 2020 01:18:55 +0000
parents ac0403686959
children
line wrap: on
line source

#ifndef MAIN_OPT_H_
#define MAIN_OPT_H_

struct Options {
	int deparse;
	enum {
		DBG_OPS   = 1,
		DBG_HASH  = 2 * DBG_OPS,
		DBG_REGEX = 2 * DBG_HASH
	} debug;
	int unoptimize;
};

extern struct Options Opt;

#endif /* MAIN_OPT_H_ */