Skip to content

Commit 9a7c695

Browse files
buzdenbuzden
authored
[ refactor, perf ] Get rid of unnesessary state-related monadic stuff
2 parents 791fe79 + 6a7607d commit 9a7c695

62 files changed

Lines changed: 5375 additions & 5365 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎examples/covering-seq/tests/gens/print/expected‎

Lines changed: 340 additions & 340 deletions
Large diffs are not rendered by default.

‎examples/sorted-list-so-comp/tests/gens/print/expected‎

Lines changed: 95 additions & 95 deletions
Large diffs are not rendered by default.

‎examples/sorted-list-so-full/tests/gens/print/expected‎

Lines changed: 45 additions & 45 deletions
Original file line numberDiff line numberDiff line change
@@ -15,10 +15,13 @@ LOG deptycheck.derive.least-effort:7: Prelude.Types.Nat[] S - used final order:
1515
, opts = []
1616
, type =
1717
mkTy
18-
{ name = "<Data.List.Sorted.SortedList>[]"
18+
{ name = "<Data.So.So>[0]"
1919
, type =
2020
MkArg MW ExplicitArg Nothing (var "Data.Fuel.Fuel")
21-
.-> var "Test.DepTyCheck.Gen.Gen" .$ var "Test.DepTyCheck.Gen.Emptiness.MaybeEmpty" .$ var "Data.List.Sorted.SortedList"
21+
.-> MkArg MW ExplicitArg (Just "{arg:1}") (var "Prelude.Basics.Bool")
22+
.-> var "Test.DepTyCheck.Gen.Gen"
23+
.$ var "Test.DepTyCheck.Gen.Emptiness.MaybeEmpty"
24+
.$ (var "Data.So.So" .$ var "{arg:1}")
2225
}
2326
})
2427
, IClaim
@@ -28,13 +31,10 @@ LOG deptycheck.derive.least-effort:7: Prelude.Types.Nat[] S - used final order:
2831
, opts = []
2932
, type =
3033
mkTy
31-
{ name = "<Data.So.So>[0]"
34+
{ name = "<Data.List.Sorted.SortedList>[]"
3235
, type =
3336
MkArg MW ExplicitArg Nothing (var "Data.Fuel.Fuel")
34-
.-> MkArg MW ExplicitArg (Just "{arg:1}") (var "Prelude.Basics.Bool")
35-
.-> var "Test.DepTyCheck.Gen.Gen"
36-
.$ var "Test.DepTyCheck.Gen.Emptiness.MaybeEmpty"
37-
.$ (var "Data.So.So" .$ var "{arg:1}")
37+
.-> var "Test.DepTyCheck.Gen.Gen" .$ var "Test.DepTyCheck.Gen.Emptiness.MaybeEmpty" .$ var "Data.List.Sorted.SortedList"
3838
}
3939
})
4040
, IClaim
@@ -50,6 +50,44 @@ LOG deptycheck.derive.least-effort:7: Prelude.Types.Nat[] S - used final order:
5050
.-> var "Test.DepTyCheck.Gen.Gen" .$ var "Test.DepTyCheck.Gen.Emptiness.MaybeEmpty" .$ var "Prelude.Types.Nat"
5151
}
5252
})
53+
, IDef
54+
emptyFC
55+
"<Data.So.So>[0]"
56+
[ var "<Data.So.So>[0]" .$ bindVar "^fuel_arg^" .$ bindVar "inter^<{arg:1}>"
57+
.= local
58+
{ decls =
59+
[ IClaim
60+
(MkIClaimData
61+
{ rig = MW
62+
, vis = Export
63+
, opts = []
64+
, type =
65+
mkTy
66+
{ name = "<<Data.So.Oh>>"
67+
, type =
68+
MkArg MW ExplicitArg Nothing (var "Data.Fuel.Fuel")
69+
.-> MkArg MW ExplicitArg (Just "{arg:1}") (var "Prelude.Basics.Bool")
70+
.-> var "Test.DepTyCheck.Gen.Gen"
71+
.$ var "Test.DepTyCheck.Gen.Emptiness.MaybeEmpty"
72+
.$ (var "Data.So.So" .$ var "{arg:1}")
73+
}
74+
})
75+
, IDef
76+
emptyFC
77+
"<<Data.So.Oh>>"
78+
[ var "<<Data.So.Oh>>" .$ bindVar "^cons_fuel^" .$ var "Prelude.Basics.True"
79+
.= var "Test.DepTyCheck.Gen.label"
80+
.$ (var "fromString" .$ primVal (Str "Data.So.Oh (orders)"))
81+
.$ (var "Prelude.pure" .! ("f", var "Test.DepTyCheck.Gen.Gen" .$ implicitTrue) .$ var "Data.So.Oh")
82+
, var "<<Data.So.Oh>>" .$ implicitTrue .$ implicitTrue .= var "empty"
83+
]
84+
]
85+
, scope =
86+
var "Test.DepTyCheck.Gen.label"
87+
.$ (var "fromString" .$ primVal (Str "Data.So.So[0] (non-spending)"))
88+
.$ (var "<<Data.So.Oh>>" .$ var "^fuel_arg^" .$ var "inter^<{arg:1}>")
89+
}
90+
]
5391
, IDef
5492
emptyFC
5593
"<Data.List.Sorted.SortedList>[]"
@@ -143,44 +181,6 @@ LOG deptycheck.derive.least-effort:7: Prelude.Types.Nat[] S - used final order:
143181
}
144182
}
145183
]
146-
, IDef
147-
emptyFC
148-
"<Data.So.So>[0]"
149-
[ var "<Data.So.So>[0]" .$ bindVar "^fuel_arg^" .$ bindVar "inter^<{arg:1}>"
150-
.= local
151-
{ decls =
152-
[ IClaim
153-
(MkIClaimData
154-
{ rig = MW
155-
, vis = Export
156-
, opts = []
157-
, type =
158-
mkTy
159-
{ name = "<<Data.So.Oh>>"
160-
, type =
161-
MkArg MW ExplicitArg Nothing (var "Data.Fuel.Fuel")
162-
.-> MkArg MW ExplicitArg (Just "{arg:1}") (var "Prelude.Basics.Bool")
163-
.-> var "Test.DepTyCheck.Gen.Gen"
164-
.$ var "Test.DepTyCheck.Gen.Emptiness.MaybeEmpty"
165-
.$ (var "Data.So.So" .$ var "{arg:1}")
166-
}
167-
})
168-
, IDef
169-
emptyFC
170-
"<<Data.So.Oh>>"
171-
[ var "<<Data.So.Oh>>" .$ bindVar "^cons_fuel^" .$ var "Prelude.Basics.True"
172-
.= var "Test.DepTyCheck.Gen.label"
173-
.$ (var "fromString" .$ primVal (Str "Data.So.Oh (orders)"))
174-
.$ (var "Prelude.pure" .! ("f", var "Test.DepTyCheck.Gen.Gen" .$ implicitTrue) .$ var "Data.So.Oh")
175-
, var "<<Data.So.Oh>>" .$ implicitTrue .$ implicitTrue .= var "empty"
176-
]
177-
]
178-
, scope =
179-
var "Test.DepTyCheck.Gen.label"
180-
.$ (var "fromString" .$ primVal (Str "Data.So.So[0] (non-spending)"))
181-
.$ (var "<<Data.So.Oh>>" .$ var "^fuel_arg^" .$ var "inter^<{arg:1}>")
182-
}
183-
]
184184
, IDef
185185
emptyFC
186186
"<Prelude.Types.Nat>[]"

0 commit comments

Comments
 (0)