summary refs log tree commit diff stats
path: root/tests/fields
diff options
context:
space:
mode:
authorMiran <narimiran@users.noreply.github.com>2018-10-13 14:58:31 +0200
committerAndreas Rumpf <rumpf_a@web.de>2018-10-13 14:58:31 +0200
commit3c9fcc4c30dd76becacaab67f2587d88490806b9 (patch)
tree6b79838f8699f0993ac36e89549df94c0bbf7cd6 /tests/fields
parentef820769a47722cd33935dd94642aca9ecc09a8b (diff)
downloadNim-3c9fcc4c30dd76becacaab67f2587d88490806b9.tar.gz
Merge tests into a larger file (part 2 of ∞) (#9335)
* merge controlflow tests

* merge distinct tests

* merge enum tests

* merge fields tests

* merge implicit tests

* merge iter issues tests
Diffstat (limited to 'tests/fields')
-rw-r--r--tests/fields/tfieldindex.nim21
-rw-r--r--tests/fields/tfielditerator.nim106
-rw-r--r--tests/fields/tfielditerator2.nim70
-rw-r--r--tests/fields/tfields.nim108
-rw-r--r--tests/fields/tfields_in_template.nim15
-rw-r--r--tests/fields/tfields_with_break.nim33
-rw-r--r--tests/fields/timplicitfieldswithpartial.nim35
7 files changed, 195 insertions, 193 deletions
diff --git a/tests/fields/tfieldindex.nim b/tests/fields/tfieldindex.nim
deleted file mode 100644
index 6de6d54bd..000000000
--- a/tests/fields/tfieldindex.nim
+++ /dev/null
@@ -1,21 +0,0 @@
-discard """
-  output: "1"
-"""
-
-type
-  TMyTuple = tuple[a, b: int]
-
-proc indexOf*(t: typedesc, name: string): int =
-  ## takes a tuple and looks for the field by name.
-  ## returs index of that field.
-  var
-    d: t
-    i = 0
-  for n, x in fieldPairs(d):
-    if n == name: return i
-    i.inc
-  raise newException(ValueError, "No field " & name & " in type " &
-    astToStr(t))
-
-echo TMyTuple.indexOf("b")
-
diff --git a/tests/fields/tfielditerator.nim b/tests/fields/tfielditerator.nim
index 6d15ea05d..b1c357997 100644
--- a/tests/fields/tfielditerator.nim
+++ b/tests/fields/tfielditerator.nim
@@ -15,32 +15,100 @@ b: b
 x: 5
 y: 6
 z: abc
+a char: true
+a char: false
+an int: 5
+an int: 6
+a string: abc
+a string: I'm root!
+CMP false
+CMP true
+CMP true
+CMP false
+CMP true
+CMP true
+a: a
+b: b
+x: 5
+y: 6
+z: abc
+thaRootMan: I'm root!
+myDisc: enC
+c: Z
+enC
+Z
 '''
 """
 
-type
-  TMyTuple = tuple[a, b: char, x, y: int, z: string]
+block titerator1:
+  type
+    TMyTuple = tuple[a, b: char, x, y: int, z: string]
+
+  proc p(x: char) = echo "a char: ", x <= 'a'
+  proc p(x: int) = echo "an int: ", x
+  proc p(x: string) = echo "a string: ", x
+
+  var x: TMyTuple = ('a', 'b', 5, 6, "abc")
+  var y: TMyTuple = ('A', 'b', 5, 9, "abc")
+
+  for f in fields(x):
+    p f
+
+  for a, b in fields(x, y):
+    echo a == b
+
+  for key, val in fieldPairs(x):
+    echo key, ": ", val
+
+  assert x != y
+  assert x == x
+  assert(not (x < x))
+  assert x <= x
+  assert y < x
+  assert y <= x
+
+
+block titerator2:
+  type
+    SomeRootObj = object of RootObj
+      thaRootMan: string
+    TMyObj = object of SomeRootObj
+      a, b: char
+      x, y: int
+      z: string
+
+    TEnum = enum enA, enB, enC
+    TMyCaseObj = object
+      case myDisc: TEnum
+      of enA: a: int
+      of enB: b: string
+      of enC: c: char
+
+  proc p(x: char) = echo "a char: ", x <= 'a'
+  proc p(x: int) = echo "an int: ", x
+  proc p(x: string) = echo "a string: ", x
 
-proc p(x: char) = echo "a char: ", x <= 'a'
-proc p(x: int) = echo "an int: ", x
-proc p(x: string) = echo "a string: ", x
+  proc myobj(a, b: char, x, y: int, z: string): TMyObj =
+    result.a = a; result.b = b; result.x = x; result.y = y; result.z = z
+    result.thaRootMan = "I'm root!"
 
-var x: TMyTuple = ('a', 'b', 5, 6, "abc")
-var y: TMyTuple = ('A', 'b', 5, 9, "abc")
+  var x = myobj('a', 'b', 5, 6, "abc")
+  var y = myobj('A', 'b', 5, 9, "abc")
 
-for f in fields(x):
-  p f
+  for f in fields(x):
+    p f
 
-for a, b in fields(x, y):
-  echo a == b
+  for a, b in fields(x, y):
+    echo "CMP ", a == b
 
-for key, val in fieldPairs(x):
-  echo key, ": ", val
+  for key, val in fieldPairs(x):
+    echo key, ": ", val
 
-assert x != y
-assert x == x
-assert(not (x < x))
-assert x <= x
-assert y < x
-assert y <= x
+  var co: TMyCaseObj
+  co.myDisc = enC
+  co.c = 'Z'
+  for key, val in fieldPairs(co):
+    echo key, ": ", val
 
+  for val in fields(co):
+    echo val
\ No newline at end of file
diff --git a/tests/fields/tfielditerator2.nim b/tests/fields/tfielditerator2.nim
deleted file mode 100644
index c8e230cf5..000000000
--- a/tests/fields/tfielditerator2.nim
+++ /dev/null
@@ -1,70 +0,0 @@
-discard """
-  output: '''
-a char: true
-a char: false
-an int: 5
-an int: 6
-a string: abc
-a string: I'm root!
-CMP false
-CMP true
-CMP true
-CMP false
-CMP true
-CMP true
-a: a
-b: b
-x: 5
-y: 6
-z: abc
-thaRootMan: I'm root!
-myDisc: enC
-c: Z
-enC
-Z
-'''
-"""
-
-type
-  SomeRootObj = object of RootObj
-    thaRootMan: string
-  TMyObj = object of SomeRootObj
-    a, b: char
-    x, y: int
-    z: string
-
-  TEnum = enum enA, enB, enC
-  TMyCaseObj = object
-    case myDisc: TEnum
-    of enA: a: int
-    of enB: b: string
-    of enC: c: char
-
-proc p(x: char) = echo "a char: ", x <= 'a'
-proc p(x: int) = echo "an int: ", x
-proc p(x: string) = echo "a string: ", x
-
-proc myobj(a, b: char, x, y: int, z: string): TMyObj =
-  result.a = a; result.b = b; result.x = x; result.y = y; result.z = z
-  result.thaRootMan = "I'm root!"
-
-var x = myobj('a', 'b', 5, 6, "abc")
-var y = myobj('A', 'b', 5, 9, "abc")
-
-for f in fields(x):
-  p f
-
-for a, b in fields(x, y):
-  echo "CMP ", a == b
-
-for key, val in fieldPairs(x):
-  echo key, ": ", val
-
-var co: TMyCaseObj
-co.myDisc = enC
-co.c = 'Z'
-for key, val in fieldPairs(co):
-  echo key, ": ", val
-
-for val in fields(co):
-  echo val
diff --git a/tests/fields/tfields.nim b/tests/fields/tfields.nim
new file mode 100644
index 000000000..d52b5e8d2
--- /dev/null
+++ b/tests/fields/tfields.nim
@@ -0,0 +1,108 @@
+discard """
+  output: '''
+n
+n
+(one: 1, two: 2, three: 3)
+1
+2
+3
+(one: 4, two: 5, three: 6)
+4
+(one: 7, two: 8, three: 9)
+7
+8
+9
+(foo: 38, other: "string here")
+43
+100
+90
+'''
+"""
+
+
+block tindex:
+  type
+    TMyTuple = tuple[a, b: int]
+
+  proc indexOf(t: typedesc, name: string): int =
+    ## takes a tuple and looks for the field by name.
+    ## returs index of that field.
+    var
+      d: t
+      i = 0
+    for n, x in fieldPairs(d):
+      if n == name: return i
+      i.inc
+    raise newException(ValueError, "No field " & name & " in type " &
+      astToStr(t))
+
+  doAssert TMyTuple.indexOf("b") == 1
+
+
+
+block ttemplate:
+  # bug #1902
+  # This works.
+  for name, value in (n: "v").fieldPairs:
+    echo name
+
+  template wrapper: typed =
+    for name, value in (n: "v").fieldPairs:
+      echo name
+  wrapper()
+
+
+
+block tbreak:
+  # bug #2134
+  type
+    TestType = object
+      one: int
+      two: int
+      three: int
+
+  var
+    ab = TestType(one:1, two:2, three:3)
+    ac = TestType(one:4, two:5, three:6)
+    ad = TestType(one:7, two:8, three:9)
+    tstSeq = [ab, ac, ad]
+
+  for tstElement in mitems(tstSeq):
+    echo tstElement
+    for tstField in fields(tstElement):
+      #for tstField in [1,2,4,6]:
+      echo tstField
+      if tstField == 4:
+        break
+
+
+
+block timplicit_with_partial:
+  type
+    Base = ref object of RootObj
+    Foo {.partial.} = ref object of Base
+
+  proc my(f: Foo) =
+    #var f.next = f
+    let f.foo = 38
+    let f.other = "string here"
+    echo f[]
+    echo f.foo + 5
+
+  var g: Foo
+  new(g)
+  my(g)
+
+  type
+    FooTask {.partial.} = ref object of RootObj
+
+  proc foo(t: FooTask) {.liftLocals: t.} =
+    var x = 90
+    if true:
+      var x = 10
+      while x < 100:
+        inc x
+      echo x
+    echo x
+
+  foo(FooTask())
\ No newline at end of file
diff --git a/tests/fields/tfields_in_template.nim b/tests/fields/tfields_in_template.nim
deleted file mode 100644
index b7d5d2343..000000000
--- a/tests/fields/tfields_in_template.nim
+++ /dev/null
@@ -1,15 +0,0 @@
-discard """
-  output: '''n
-n'''
-"""
-
-# bug #1902
-# This works.
-for name, value in (n: "v").fieldPairs:
-  echo name
-
-# This doesn't compile - "expression 'name' has no type (or is ambiguous)".
-template wrapper: typed =
-  for name, value in (n: "v").fieldPairs:
-    echo name
-wrapper()
diff --git a/tests/fields/tfields_with_break.nim b/tests/fields/tfields_with_break.nim
deleted file mode 100644
index 1f2632692..000000000
--- a/tests/fields/tfields_with_break.nim
+++ /dev/null
@@ -1,33 +0,0 @@
-discard """
-  output: '''(one: 1, two: 2, three: 3)
-1
-2
-3
-(one: 4, two: 5, three: 6)
-4
-(one: 7, two: 8, three: 9)
-7
-8
-9'''
-"""
-
-# bug #2134
-type
-    TestType = object
-        one: int
-        two: int
-        three: int
-
-var
-    ab = TestType(one:1, two:2, three:3)
-    ac = TestType(one:4, two:5, three:6)
-    ad = TestType(one:7, two:8, three:9)
-    tstSeq = [ab, ac, ad]
-
-for tstElement in mitems(tstSeq):
-    echo tstElement
-    for tstField in fields(tstElement):
-        #for tstField in [1,2,4,6]:
-        echo tstField
-        if tstField == 4:
-            break
diff --git a/tests/fields/timplicitfieldswithpartial.nim b/tests/fields/timplicitfieldswithpartial.nim
deleted file mode 100644
index 937833257..000000000
--- a/tests/fields/timplicitfieldswithpartial.nim
+++ /dev/null
@@ -1,35 +0,0 @@
-discard """
-  output: '''(foo: 38, other: "string here")
-43
-100
-90'''
-"""
-
-type
-  Base = ref object of RootObj
-  Foo {.partial.} = ref object of Base
-
-proc my(f: Foo) =
-  #var f.next = f
-  let f.foo = 38
-  let f.other = "string here"
-  echo f[]
-  echo f.foo + 5
-
-var g: Foo
-new(g)
-my(g)
-
-type
-  FooTask {.partial.} = ref object of RootObj
-
-proc foo(t: FooTask) {.liftLocals: t.} =
-  var x = 90
-  if true:
-    var x = 10
-    while x < 100:
-      inc x
-    echo x
-  echo x
-
-foo(FooTask())
id='n27' href='#n27'>27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111

                                                  



                                                                                                     


                          
 
                            


                                                              
                                    


                                                                                              
                               



                                                                                        
           
                  
                                                             
                                               
           






                                                                                                      
 
                                                     
                           

                                                             
    

                                                             

     







                                             










                                                              
                                            
    
                                        


                                                        
                                                                                    
                                                                  
 

                                                                                                                                              

                                                                                                       
 
                        
                                                                                       
                                                                                                   



                                                                                                                                             
                                                                                       
                                 
                                                      

                        
    
                                                                                                                 
                                                
                                                                                                     
                                  
                                                                








                                                                 
 




                                                           
" Highlighting literate directives in C++ sources.
function! HighlightTangledFile()
  " Tangled comments only make sense in the sources and are stripped out of
  " the generated .cc file. They're highlighted same as regular comments.
  syntax match tangledComment /\/\/:.*/ | highlight link tangledComment Comment
  syntax match tangledSalientComment /\/\/::.*/ | highlight link tangledSalientComment SalientComment
  set comments-=://
  set comments-=n://
  set comments+=n://:,n://

  " Inside tangle scenarios.
  syntax region tangleDirective start=+:(+ skip=+".*"+ end=+)+
  highlight link tangleDirective Delimiter
  syntax match traceContains /^+.*/
  highlight traceContains ctermfg=22
  syntax match traceAbsent /^-.*/
  highlight traceAbsent ctermfg=darkred
  syntax match tangleScenarioSetup /^\s*% .*/ | highlight link tangleScenarioSetup SpecialChar
  highlight Special ctermfg=160

  syntax match subxString %"[^"]*"% | highlight link subxString Constant
  " match globals but not registers like 'EAX'
  syntax match subxGlobal %\<[A-Z][a-z0-9_-]*\>% | highlight link subxGlobal SpecialChar
endfunction
augroup LocalVimrc
  autocmd BufRead,BufNewFile *.cc call HighlightTangledFile()
  autocmd BufRead,BufNewFile *.subx set ft=subx
augroup END

" Scenarios considered:
"   opening or starting vim with a new or existing file without an extension (should interpret as C++)
"   opening or starting vim with a new or existing file with a .mu extension
"   starting vim or opening a buffer without a file name (ok to do nothing)
"   opening a second file in a new or existing window (shouldn't mess up existing highlighting)
"   reloading an existing file (shouldn't mess up existing highlighting)

command! -nargs=1 E call EditMuFile("edit", <f-args>)
if exists("&splitvertical")
  command! -nargs=1 S call EditMuFile("vert split", <f-args>)
  command! -nargs=1 H call EditMuFile("hor split", <f-args>)
else
  command! -nargs=1 S call EditMuFile("vert split", <f-args>)
  command! -nargs=1 H call EditMuFile("split", <f-args>)
endif

function! EditMuFile(cmd, arg)
  let l:full_path = "apps/" . a:arg
  if filereadable(l:full_path . ".mu")
    let l:full_path = l:full_path . ".mu"
  else
    let l:full_path = l:full_path . ".subx"
  endif
  exec "silent! " . a:cmd . " " . l:full_path
endfunction

" we often want to crib lines of machine code from other files
function! GrepSubX(regex)
  " https://github.com/mtth/scratch.vim
  Scratch!
  silent exec "r !grep -h '".a:regex."' *.subx */*.subx"
endfunction
command! -nargs=1 G call GrepSubX(<q-args>)

if exists("&splitvertical")
  command! -nargs=0 P hor split subx_opcodes
else
  command! -nargs=0 P split subx_opcodes
endif

" useful for inspecting just the control flow in a trace
" see https://github.com/akkartik/mu/blob/master/Readme.md#a-few-hints-for-debugging
command! -nargs=0 L exec "%!grep label |grep -v clear-stream:loop"

" show the call stack for the current line in the trace (by temporarily blowing away all earlier lines)
"? command! -nargs=0 C 1,.!awk '$4 == "label"{x[$1] = $0; for(i in x){if(i >= $1){delete x[i]}}} END{for (i in x) {if (i < $1) {print x[i]}}}'
"? command! -nargs=0 C 1,.!awk '$4 == "label"{x[$1] = $0} END{for (i in x) {if (i < $1) {print x[i]}}}'
command! -nargs=0 C 1,.!awk '{x[$1] = $0} END{for (i in x) {if (int(i) < int($1)) {print x[i]}}}'

" run test around cursor
if empty($TMUX) || (system("tmux display-message -p '#{client_control_mode}'") =~ "^1")
  " hack: need to move cursor outside function at start (`{`), but inside function at end (`<C-o>`)
  " this solution is unfortunate, but seems forced:
  "   can't put initial cursor movement inside function because we rely on <C-r><C-w> to grab word at cursor
  "   can't put final cursor movement out of function because that disables the wait for <CR> prompt; function must be final operation of map
  "   can't avoid the function because that disables the wait for <CR> prompt
  noremap <Leader>t {:keeppatterns /^[^ #]<CR>:call RunTestMoveCursor("<C-r><C-w>")<CR>
  function RunTestMoveCursor(arg)
    exec "!./run_one_test ".expand("%")." '".a:arg."'"
    exec "normal \<C-o>"
  endfunction
else
  " we have tmux and are not in control mode; we don't need to show any output in the Vim pane so life is simpler
  " assume the left-most window is for the shell
  noremap <Leader>t {:keeppatterns /^[^ #]<CR>:silent! call RunTestInFirstPane("<C-r><C-w>")<CR><C-o>
  function RunTestInFirstPane(arg)
    call RunInFirstPane("./run_one_test ".expand("%")." ".a:arg)
  endfunction
  function RunInFirstPane(arg)
    exec "!tmux select-pane -t :0.0"
    exec "!tmux send-keys '".a:arg."' C-m"
    exec "!tmux last-pane"
    " for some reason my screen gets messed up, so force a redraw
    exec "!tmux send-keys 'C-l'"
  endfunction
endif

if exists("&splitvertical")
  command! -nargs=0 T badd last_run | sbuffer last_run
else
  command! -nargs=0 T badd last_run | vert sbuffer last_run
endif