Actions: MahdiBM/enumerator-macro
Actions
Showing runs from all workflows
175 workflow runs
175 workflow runs
filterNoParams
and filterWithParams
to [Case]
tests
#73:
Commit 3694ca8
pushed
by
MahdiBM
removeUnusedArguments
rewriter
tests
#72:
Commit fa7dac5
pushed
by
MahdiBM
isOptional
to EParameter
+ tests
tests
#70:
Commit 1aeb311
pushed
by
MahdiBM
let
s in let .caseName
tests
#67:
Commit f130e0b
pushed
by
MahdiBM
EParameters
store its elements in an EArray
tests
#65:
Commit 05d0cf7
pushed
by
MahdiBM