carp-lang/Carp
1
1
Fork 0
mirror of https://github.com/carp-lang/Carp.git synced 2024-09-11 05:25:28 +03:00
Code Issues Projects Releases Wiki Activity

feat: use ascii type variables in prettify (#1195)

Browse Source
This commit is contained in:
Veit Heller 2021-04-06 11:38:07 +02:00 committed by GitHub
parent 1f8c8765d3
commit 4ec166a6fb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/TypeError.hs
View File

@ -495,10 +495,11 @@ beautifyTy mappings = f
bmappings = beautification mappings
beautification :: TypeMappings -> Map.Map String String
beautification m =
Map.fromList $ zip (map (\(VarTy name) -> name) tys) ((: []) <$> ['a' ..])
Map.fromList $ zip (map (\(VarTy name) -> name) tys) beautList
where
tys = nub $ concat $ typeVariablesInOrderOfAppearance <$> tys'
tys' = snd <$> Map.assocs m
beautList = [c : s | s <- "" : beautList, c <- ['a' .. 'z']]
typeVariablesInOrderOfAppearance :: Ty -> [Ty]
typeVariablesInOrderOfAppearance (FuncTy argTys retTy ltTy) =