   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) ->

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

atomCompile = (ctx, atom) ->

    @scopes = [topScope]
    @savedScopes = []
    @classParams = newMap()
    @isMalformed = no

  macros: ->
    @_macros
