Mercurial > repo
view interps/lambda/lambda.py @ 7322:48cf67750eb1
<prooftechnique> learn prooftechnique n\xc3\xa9 NihilistDandy He was there some time ago. Maybe he\'ll come back. Maybe he\'s a nihilist, too. (Note from the Editor: He came back, and is a nihilist.)
author | HackBot |
---|---|
date | Wed, 30 Mar 2016 03:31:31 +0000 |
parents | 859f9b4339e6 |
children |
line wrap: on
line source
#!/usr/bin/python import parser, tokenizer, evaluator import sys, pickle sys.setrecursionlimit(65535) # not too big, but hopefully big enough for some stuff try: line = raw_input() except EOFError: raise SystemExit # tokenize try: tokens = tokenizer.tokenize(line) except Exception, line: print "Tokenizer error:", line raise SystemExit # Get a pickled environment try: env = pickle.load(open('lambda/defs.pickle')) except: env = {} # parse try: exp, defs = parser.parse(tokens, env) except Exception, line: print "Parser error:", line raise SystemExit env.update(defs) # evaluate try: if exp != None: evaluator.eval(exp, env) except Exception, line: print "Run-time error:", line raise SystemExit # finally, save the definitions f = open('lambda/defs.pickle', 'w') pickle.dump(env, f)