separated by commas. Using the mapIt() procedure imported from the SEQUTILS module and the fmt() macro from the STRFORMAT module, we may write that in functional programming style in this way: from style myStr.len.[16] The powerful AST-based hygienic macro system offers nearly unlimited possibilities for the advanced programmer. This macro and meta- programming system allows compiler-guided code creates a temporary copy, which may not be optimal for performance. Since Nim version 1.2, a dup() macro is available from the SUGAR module that creates copies of variables and then applies one or more

separated by commas. Using the mapIt() procedure imported from the SEQUTILS module and the fmt() macro from the STRFORMAT module, we may write that in functional programming style in this way: from style myStr.len.[16] The powerful AST-based hygienic macro system offers nearly unlimited possibilities for the advanced programmer. This macro and meta- programming system allows compiler-guided code creates a temporary copy, which may not be optimal for performance. Since Nim version 1.2, a dup() macro is available from the SUGAR module that creates copies of variables and then applies one or more

constructor data eta- equality field forall hiding import in inductive infix infixl infixr instance let macro module mutual no-eta-equality open overlap pattern postulate primitive private public quote quoteContext sequence of statements and is started by one of the layout keywords: abstract field instance let macro mutual postulate primitive private where The first token after the layout keyword decides the indentation Replaces 'primNameDefinition'. getDefinition : Name → TC Definition -- Check if a name refers to a macro isMacro : Name → TC Bool -- Change the behaviour of inferType, checkType, quoteTC, getContext

constructor data eta- equality field forall hiding import in inductive infix infixl infixr instance let macro module mutual no-eta-equality open overlap pattern postulate primitive private public quote quoteContext sequence of statements and is started by one of the layout keywords: abstract field instance let macro mutual postulate primitive private where The first token after the layout keyword decides the indentation Replaces 'primNameDefinition'. getDefinition : Name → TC Definition -- Check if a name refers to a macro isMacro : Name → TC Bool -- Change the behaviour of inferType, checkType, quoteTC, getContext

constructor data do eta-equality field forall hiding import in inductive infix infixl infixr instance let macro module mutual no-eta-equality open overlap pattern postulate primitive private public quote quoteContext sequence of statements and is started by one of the layout keywords: abstract do field instance let macro mutual postulate primitive private where The first token after the layout keyword decides the indentation Replaces 'primNameDefinition'. getDefinition : Name → TC Definition -- Check if a name refers to a macro isMacro : Name → TC Bool -- Change the behaviour of inferType, checkType, quoteTC, getContext

constructor data do eta-equality field forall hiding import in inductive infix infixl infixr instance let macro module mutual no-eta-equality open overlap pattern postulate primitive private public quote quoteContext sequence of statements and is started by one of the layout keywords: abstract do field instance let macro mutual postulate primitive private where The first token after the layout keyword decides the indentation Replaces 'primNameDefinition'. getDefinition : Name → TC Definition -- Check if a name refers to a macro isMacro : Name → TC Bool -- Change the behaviour of inferType, checkType, quoteTC, getContext

constructor data do eta-equality field forall hiding import in inductive infix infixl infixr instance let macro module mutual no-eta-equality open overlap pattern postulate primitive private public quote quoteContext sequence of statements and is started by one of the layout keywords: abstract do field instance let macro mutual postulate primitive private where The first token after the layout keyword decides the indentation Replaces 'primNameDefinition'. getDefinition : Name → TC Definition -- Check if a name refers to a macro isMacro : Name → TC Bool -- Change the behaviour of inferType, checkType, quoteTC, getContext

constructor data do eta-equality field forall hiding import in inductive infix infixl infixr instance let macro module mutual no-eta-equality open overlap pattern postulate primitive private public quote quoteContext sequence of statements and is started by one of the layout keywords: abstract do field instance let macro mutual postulate primitive private where The first token after the layout keyword decides the indentation Replaces 'primNameDefinition'. getDefinition : Name → TC Definition -- Check if a name refers to a macro isMacro : Name → TC Bool -- Change the behaviour of inferType, checkType, quoteTC, getContext

constructor data do eta-equality field forall hiding import in inductive infix infixl infixr instance let macro module mutual no-eta-equality open overlap pattern postulate primitive private public quote quoteContext sequence of statements and is started by one of the layout keywords: abstract do field instance let macro mutual postulate primitive private where The first token after the layout keyword decides the indentation Replaces 'primNameDefinition'. getDefinition : Name → TC Definition -- Check if a name refers to a macro isMacro : Name → TC Bool -- Change the behaviour of inferType, checkType, quoteTC, getContext

constructor data do eta-equality field forall hiding import in inductive infix infixl infixr instance let macro module mutual no-eta-equality open overlap pattern postulate primitive private public quote quoteContext sequence of statements and is started by one of the layout keywords: abstract do field instance let macro mutual postulate primitive private where The first token after the layout keyword decides the indentation Replaces 'primNameDefinition'. getDefinition : Name → TC Definition -- Check if a name refers to a macro isMacro : Name → TC Bool -- Change the behaviour of inferType, checkType, quoteTC, getContext