44
55module Unison.Test.Codebase.Upgrade12 (test ) where
66
7- import Data.String.Here.Interpolated (iTrim )
7+ import Data.String.Here.Interpolated (i )
88import EasyTest (Test , scope , tests , io , ok )
99import Shellmet ()
1010import qualified Unison.Test.Ucm as Ucm
@@ -18,102 +18,102 @@ typeAlias :: Test ()
1818typeAlias = scope " typeAlias" do
1919 void $ io do
2020 c1 <- Ucm. initCodebase Ucm. CodebaseFormat1
21- Ucm. runTranscript c1 Ucm. Runtime1 [iTrim |
22- ```ucm
23- .> alias.type ##Nat builtin.Nat
24- ```
21+ Ucm. runTranscript c1 Ucm. Runtime1 [i |
22+ ```ucm
23+ .> alias.type ##Nat builtin.Nat
24+ ```
2525 |]
2626 c2 <- Ucm. upgradeCodebase c1
27- Ucm. runTranscript c2 Ucm. Runtime1 [iTrim |
28- ```unison
29- x : Nat
30- x = 3
31- ```
27+ Ucm. runTranscript c2 Ucm. Runtime1 [i |
28+ ```unison
29+ x : Nat
30+ x = 3
31+ ```
3232 |]
3333 ok
3434
3535topLevelTerm :: Test ()
3636topLevelTerm = scope " topLevelTerm" $ do
3737 void $ io do
3838 c1 <- Ucm. initCodebase Ucm. CodebaseFormat1
39- Ucm. runTranscript c1 Ucm. Runtime1 [iTrim |
40- ```unison:hide
41- y = 3
42- ```
43- ```ucm
44- .> add
45- ```
39+ Ucm. runTranscript c1 Ucm. Runtime1 [i |
40+ ```unison:hide
41+ y = 3
42+ ```
43+ ```ucm
44+ .> add
45+ ```
4646 |]
4747 c2 <- Ucm. upgradeCodebase c1
48- Ucm. runTranscript c2 Ucm. Runtime1 [iTrim |
49- ```ucm
50- .> find
51- ```
52- ```unison
53- > y
54- ```
48+ Ucm. runTranscript c2 Ucm. Runtime1 [i |
49+ ```ucm
50+ .> find
51+ ```
52+ ```unison
53+ > y
54+ ```
5555 |]
5656 ok
5757
5858subNamespace :: Test ()
5959subNamespace = scope " subNamespace" do
6060 void $ io do
6161 c1 <- Ucm. initCodebase Ucm. CodebaseFormat1
62- Ucm. runTranscript c1 Ucm. Runtime1 [iTrim |
63- ```ucm
64- .> alias.type ##Nat builtin.Nat
65- ```
66- ```unison
67- unique type a.b.C = C Nat
68- ```
69- ```ucm
70- .> add
71- ```
62+ Ucm. runTranscript c1 Ucm. Runtime1 [i |
63+ ```ucm
64+ .> alias.type ##Nat builtin.Nat
65+ ```
66+ ```unison
67+ unique type a.b.C = C Nat
68+ ```
69+ ```ucm
70+ .> add
71+ ```
7272 |]
7373 c2 <- Ucm. upgradeCodebase c1
74- Ucm. runTranscript c2 Ucm. Runtime1 [iTrim |
75- ```ucm
76- .> find
77- ```
78- ```unison
79- > a.b.C.C 3
80- ```
74+ Ucm. runTranscript c2 Ucm. Runtime1 [i |
75+ ```ucm
76+ .> find
77+ ```
78+ ```unison
79+ > a.b.C.C 3
80+ ```
8181 |]
8282 ok
8383
8484accessPatch :: Test ()
8585accessPatch = scope " accessPatch" do
8686 void $ io do
8787 c1 <- Ucm. initCodebase Ucm. CodebaseFormat1
88- Ucm. runTranscript c1 Ucm. Runtime1 [iTrim |
89- ```ucm
90- .> alias.type ##Nat builtin.Nat
91- ```
92- ```unison:hide
93- unique type A = A Nat
94- foo = A.A 3
95- ```
96- ```ucm
97- .> debug.file
98- .> add
99- ```
100- ```unison:hide
101- unique type A = A Nat Nat
102- foo = A.A 3 3
103- ```
104- ```ucm
105- .> debug.file
106- .> update
107- ```
108- ```ucm
109- .> view.patch patch
110- ```
88+ Ucm. runTranscript c1 Ucm. Runtime1 [i |
89+ ```ucm
90+ .> alias.type ##Nat builtin.Nat
91+ ```
92+ ```unison:hide
93+ unique type A = A Nat
94+ foo = A.A 3
95+ ```
96+ ```ucm
97+ .> debug.file
98+ .> add
99+ ```
100+ ```unison:hide
101+ unique type A = A Nat Nat
102+ foo = A.A 3 3
103+ ```
104+ ```ucm
105+ .> debug.file
106+ .> update
107+ ```
108+ ```ucm
109+ .> view.patch patch
110+ ```
111111 |]
112112 c2 <- Ucm. upgradeCodebase c1
113- Ucm. runTranscript c2 Ucm. Runtime1 [iTrim |
114- ```ucm
115- .> view.patch patch
116- ```
113+ Ucm. runTranscript c2 Ucm. Runtime1 [i |
114+ ```ucm
115+ .> view.patch patch
116+ ```
117117 |]
118118 ok
119119
@@ -126,27 +126,27 @@ accessHistory :: Test ()
126126accessHistory = scope " history" do
127127 void $ io do
128128 c1 <- Ucm. initCodebase Ucm. CodebaseFormat1
129- Ucm. runTranscript c1 Ucm. Runtime1 [iTrim |
130- ```unison
131- foo = 3
132- ```
133- ```ucm
134- .> add
135- ```
136- ```unison
137- foo = 4
138- ```
139- ```ucm
140- .> update
141- .> history
142- ```
129+ Ucm. runTranscript c1 Ucm. Runtime1 [i |
130+ ```unison
131+ foo = 3
132+ ```
133+ ```ucm
134+ .> add
135+ ```
136+ ```unison
137+ foo = 4
138+ ```
139+ ```ucm
140+ .> update
141+ .> history
142+ ```
143143 |]
144144 c2 <- Ucm. upgradeCodebase c1
145- Ucm. runTranscript c2 Ucm. Runtime1 [iTrim |
146- ```ucm
147- .> history
148- .> reset-root #ls8
149- .> history
150- ```
151- |]
145+ Ucm. runTranscript c2 Ucm. Runtime1 [i |
146+ ```ucm
147+ .> history
148+ .> reset-root #ls8
149+ .> history
150+ ```
151+ |]
152152 ok
0 commit comments