From e76b6d967fa61c8574cb055da2d7dc777b882e6b Mon Sep 17 00:00:00 2001 From: Anthony Scemama Date: Wed, 9 Sep 2009 18:30:16 +0200 Subject: [PATCH] Works! but slower than ocaml... Version:1.1.12 --- src/module.py | 2 +- src/preprocessed_text.py | 3 +-- src/variable.py | 1 + src/version.py | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/module.py b/src/module.py index 73d8c3e..866a433 100644 --- a/src/module.py +++ b/src/module.py @@ -171,7 +171,7 @@ class Fmodule(object): if '_needed_modules' not in self.__dict__: buffer = filter(lambda x: x.lstrip().startswith("use "), \ self.generated_text+self.head+self.residual_text) - buffer = map(lambda x: x.split()[1].lower(), buffer) + buffer = map(lambda x: x.split()[1], buffer) self._needed_modules = make_single(buffer) if self.name in self._needed_modules: self._needed_modules.remove(self.name) diff --git a/src/preprocessed_text.py b/src/preprocessed_text.py index fadd775..21cc306 100644 --- a/src/preprocessed_text.py +++ b/src/preprocessed_text.py @@ -507,9 +507,8 @@ def change_includes(text): file = open(filename,'r') file.close() result += create_preprocessed_text(filename) - #result += get_text(file.readlines(), filename) except IOError: - result.append(line) + result.append(Declaration(line.i,line.text,line.filename)) else: result.append(line) return result diff --git a/src/variable.py b/src/variable.py index dc73330..cf0ea6f 100644 --- a/src/variable.py +++ b/src/variable.py @@ -421,6 +421,7 @@ class Variable(object): if isinstance(line,Begin_provider): if line.filename[1] == same_as: inside = True + vars = [] if inside: text.append( (vars,line) ) text += map( lambda x: ([],Simple_line(line.i,x,line.filename)), call_provides(vars) ) diff --git a/src/version.py b/src/version.py index fd6a93d..09e52b8 100644 --- a/src/version.py +++ b/src/version.py @@ -1 +1 @@ -version = "1.1.11" +version = "1.1.12"