       ctx.addToDeferredNames {name: symbol, type: type}
       nameTranslate ctx, atom, symbol, type
     else
-      console.log "deferring in rhs for #{symbol}"
+      # log "deferring in rhs for #{symbol}", ctx.definitionName()
       ctx.doDefer atom, symbol
       translation: deferredExpression()
 

      rhs = fake_()
    definitionPairCompile ctx, lhs, rhs)

  compiledPairs = join compiledPairs, compileDeferred ctx
  resolveDeferredTypes ctx
  compiledPairs = join compiledPairs, compileDeferred ctx
  resolveDeferredTypes ctx
  deferDeferred ctx

  filter _is, compiledPairs

# Syntax printing to HTML

toHtml = (highlighted) ->
  crawl highlighted, (node, symbol, parent) ->
    colorize(theme[labelOf node, parent], symbol)

print = (ast) ->
  collapse crawl ast, (node, symbol) -> symbol

labelOf = (node, parent) ->
  node.malformed and 'malformed' or
    parent?.malformed and node.symbol in allDelims and 'malformed' or
      node.label or 'normal'

collapse = (nodes) ->
  collapsed = ""
