diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2020-04-15 20:03:25 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-15 20:03:25 +0200 |
| commit | 3a2697dd731cb8fcfd0d279bb856090eca5028ee (patch) | |
| tree | 971390193c83b0d14045f535a06bfc18071a741b /compiler/ast.nim | |
| parent | 04b6e9cf3e6e1113cb5989a82878e525a7f0891f (diff) | |
| download | Nim-3a2697dd731cb8fcfd0d279bb856090eca5028ee.tar.gz | |
drnim: tiny progress (#13882)
* drnim: tiny progress * refactoring complete * drnim: prove .ensures annotations * Moved code around to avoid code duplication * drnim: first implementation of the 'old' property * drnim: be precise about the assignment statement * first implementation of --assumeUnique * progress on forall/exists handling
Diffstat (limited to 'compiler/ast.nim')
| -rw-r--r-- | compiler/ast.nim | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/ast.nim b/compiler/ast.nim index d7d0ef224..110ee79e3 100644 --- a/compiler/ast.nim +++ b/compiler/ast.nim @@ -218,7 +218,7 @@ type nkEnumFieldDef, # `ident = expr` in an enumeration nkArgList, # argument list nkPattern, # a special pattern; used for matching - nkHiddenTryStmt, # token used for interpretation + nkHiddenTryStmt, # a hidden try statement nkClosure, # (prc, env)-pair (internally used for code gen) nkGotoState, # used for the state machine (for iterators) nkState, # give a label to a code section (for iterators) |