[ test ] Reduce the need of frequent golden vals updates in one test

idris-lang · Nov 9, 2023 · 9dea3ce · 9dea3ce
1 parent 3b86596
commit 9dea3ce
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/tests/idris2/reflection/reflection025/expected b/tests/idris2/reflection/reflection025/expected
@@ -43,7 +43,7 @@ LOG elab:0: current fn: [< CurrFn.f]
 LOG elab:0: current fn: [< CurrFn.f']
 LOG elab:0: current fn: [< CurrFn.f'']
 LOG elab:0: current fn: [< CurrFn.f''', CurrFn.case block in "f'''"]
-LOG elab:0: current fn: [< CurrFn.n, CurrFn.4808:2662:f]
+LOG elab:0: current fn: [< CurrFn.n, CurrFn.<nums>:<nums>:f]
 LOG elab:0: current fn: [< CurrFn.w, CurrFn.with block in "w"]
 LOG elab:0: current fn: [< CurrFn.w, CurrFn.with block in "w"]
 ------------
@@ -53,7 +53,7 @@ LOG elab:0: === current fn: [< RefDefsDeep.f] ===
 LOG elab:0: === current fn: [< RefDefsDeep.f'] ===
 LOG elab:0: === current fn: [< RefDefsDeep.f''] ===
 LOG elab:0: === current fn: [< RefDefsDeep.f''', RefDefsDeep.case block in "f'''"] ===
-LOG elab:0: === current fn: [< RefDefsDeep.n, RefDefsDeep.4822:2927:f] ===
+LOG elab:0: === current fn: [< RefDefsDeep.n, RefDefsDeep.<nums>:<nums>:f] ===
 LOG elab:0: === current fn: [< RefDefsDeep.w, RefDefsDeep.with block in "w"] ===
 LOG elab:0: === current fn: [< RefDefsDeep.w, RefDefsDeep.with block in "w"] ===
 LOG elab:0: Names `RefDefsDeep.f` refers to:
@@ -174,7 +174,7 @@ LOG elab:0:   - Prelude.Basics.True
 LOG elab:0:   - Prelude.Basics.False
 LOG elab:0:   - Builtin.assert_total
 LOG elab:0:   - Builtin.MkUnit
-LOG elab:0:   - RefDefsDeep.4822:2927:f
+LOG elab:0:   - RefDefsDeep.<nums>:<nums>:f
 LOG elab:0:   - RefDefsDeep.case block in "n,f"
 LOG elab:0: 
 LOG elab:0: Names `RefDefsDeep.w` refers to:

diff --git a/tests/idris2/reflection/reflection025/run b/tests/idris2/reflection/reflection025/run
@@ -1,9 +1,11 @@
 . ../../../testutils.sh
 
+{
 check RefDefs.idr
 echo ------------
 check CurrFn.idr
 echo ------------
 check RefDefsDeep.idr
 echo ------------
 check InspectRec.idr
+} | sed -e 's/\.[0-9]*:[0-9]*:/.<nums>:<nums>:/'