diff options
| author | Juan J. Martinez <jjm@usebox.net> | 2022-09-04 14:00:27 +0100 |
|---|---|---|
| committer | Juan J. Martinez <jjm@usebox.net> | 2022-09-04 14:00:27 +0100 |
| commit | a86031403d792792b41d8ae3795e3281b8876c63 (patch) | |
| tree | d8ec50b5041d603f0cbeec7e26c8a29295b0117b /.gitignore | |
| parent | 72dc8f0490a26c2438b5eff9fe29a3197036d6e5 (diff) | |
| download | micro-lang-hs-a86031403d792792b41d8ae3795e3281b8876c63.tar.gz micro-lang-hs-a86031403d792792b41d8ae3795e3281b8876c63.zip | |
Revert "Unneeded (duplicated) case"
It is actually needed because when we resolve the parameters it is
possible some of them are wrong and we may end with a number of "right"
that is less than the number of parameters we had initially.
This reverts commit 72dc8f0490a26c2438b5eff9fe29a3197036d6e5.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions