From c85b27f57a11fc37e7ebf73d86bb66a4741948da Mon Sep 17 00:00:00 2001 From: "Chen, Chien-ting" Date: Tue, 15 Jun 2021 23:37:40 +0800 Subject: [PATCH] add TODO docu para --- src/Interpreter/__init__.py | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/Interpreter/__init__.py b/src/Interpreter/__init__.py index f9968b3..07e78c5 100644 --- a/src/Interpreter/__init__.py +++ b/src/Interpreter/__init__.py @@ -363,6 +363,9 @@ class Intepreter: else: return Lambda(sexp[1], sexp[2], self.env) + # TODO: SILE argument: + # + # [docu-para [["pagesize" "a4"]] elif sexp[0]["token"] == "SILE": self.silexml.text = self.interprete_aux(sexp[1]) return ET.tostring(self.silexml, encoding="unicode")