Exemple #1
0
 def __hrepr__(self, H, hrepr):
     if hrepr.config.short_vars:
         return Var.__hrepr__(self, H, hrepr)
     else:
         self.ensure_tag()
         return H.div['myia-var',
                      'myia-filter-var'](f'{self.tag}: {self.filter}')
Exemple #2
0
 def __hrepr__(self, H, hrepr):
     if hrepr.config.short_vars:
         return Var.__hrepr__(self, H, hrepr)
     else:
         self.ensure_tag()
         return H.div["myia-var",
                      "myia-filter-var"](f"{self.tag}: {self.filter}")