summary refs log tree commit diff stats
path: root/drnim
Commit message (Expand)AuthorAgeFilesLines
* [backport] use old style hints in .cfg files (#18917)Miran2021-09-291-1/+1
* merge BuildMode into SuccessX, remove code duplication w drnim, add useful in...Timothee Cour2021-06-141-18/+1
* change `--hint[X] => --hint:X` in nim repo (avoids shell quoting issues) (#18...Timothee Cour2021-05-261-1/+1
* Implement https://forum.nim-lang.org/t/7848#50018 (#17874)c-blake2021-04-291-4/+4
* add `--processing:dots|filenames|off` to customize `hintProcessing` (#17817)Timothee Cour2021-04-231-1/+1
* `--filenames:abs|canonical|legacyRelProj` for filenames in compiler msgs (rep...Timothee Cour2021-04-211-1/+2
* makes DrNim compile again (#17584)Andreas Rumpf2021-03-301-12/+17
* followup #17225: simplify code after removing gc2, generational (#17242)Timothee Cour2021-03-031-1/+1
* cmdline: improve command processing (#16056)Timothee Cour2020-11-261-4/+2
* rename loadConfigsAndRunMainCommand => loadConfigsAndProcessCmdLine, reflect ...Timothee Cour2020-11-201-1/+1
* refactoring: removed cmdlinehelper.mainCommand callbackAndreas Rumpf2020-10-111-6/+5
* * honor --errorMax even for tools (eg drnim, nim doc) (#14546)Timothee Cour2020-06-021-1/+1
* drnim improvements (#14471)Andreas Rumpf2020-05-272-11/+30
* fixes #14001 (#14004)Andreas Rumpf2020-04-191-0/+1
* drnim: phi nodes for 'if' statements (#13990)Andreas Rumpf2020-04-192-15/+172
* drnim: tiny progress (#13882)Andreas Rumpf2020-04-154-140/+655
* DrNim (Nim compiler with Z3 integration) (#13743)Andreas Rumpf2020-03-316-0/+796
# Test basic editing. We replace the 'false' by 'true' to
# see whether then the z field is suggested.

const zField = 0i32

type
  Foo = object
    x, y: int
    when zField == 1i32:
      z: string

proc main(f: Foo) =
  f.#[!]#

# the tester supports the spec section at the bottom of the file and
# this way, the line numbers more often stay the same
discard """
$nimsuggest --tester --maxresults:3 $file
>sug $1
sug;;skField;;x;;int;;$file;;8;;4;;"";;100;;None
sug;;skField;;y;;int;;$file;;8;;7;;"";;100;;None
sug;;skProc;;tdot2.main;;proc (f: Foo);;$file;;12;;5;;"";;100;;None
!edit 0i32 1i32
>sug $1
sug;;skField;;x;;int;;$file;;8;;4;;"";;100;;None
sug;;skField;;y;;int;;$file;;8;;7;;"";;100;;None
sug;;skField;;z;;string;;$file;;10;;6;;"";;100;;None
"""