     @scopes = [topScope]
     @savedScopes = []
     @classParams = newMap()
+    @isMalformed = no
 
   macros: ->
     @_macros

  else
    token.tea = toConstrained ctx.freshTypeVariable star
    token.scope = ctx.currentScopeIndex()
    jsNoop()

atomCompile = (ctx, atom) ->

  addMacro: (name, macro) ->
    @_macros[name.symbol] = macro
    name.id = macro.id = @freshId()

  markMalformed: ->
    @isMalformed = yes

  # Creates a deferrable definition to be associated with given pattern
  definePattern: (pattern) ->
