don't use map show in type2fields

2026-08-19 10:46:22 -06:00 · 2026-05-06 14:10:50 +02:00
parent 82db897847
commit 96492e698a
1 changed files with 1 additions and 1 deletions
@@ -102,7 +102,7 @@ pmcfgForm g t ctxt ty = do
       in apply (d+1) ms' s' ctxt (App t t2) (params:args)

 type2fields :: SourceGrammar -> Type -> [String]
-type2fields gr = map show . type2fields PP.empty
+type2fields gr = type2fields PP.empty
  where
    type2fields d (Sort s) | s == cStr = [show d]
    type2fields d (RecType lbls) =