diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-04-28 21:22:18 +0200 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-04-28 21:22:18 +0200 |
| commit | 56f6e4fb7b8c0fc6545843d467412fbfa8acb277 (patch) | |
| tree | 3ce6802fa90fe0c0d161819f49527ea956969269 /src/LambdaCube/Compiler/CoreToIR.hs | |
| parent | dfb3cf0e71686ab12977b172f0b992414878e63d (diff) | |
refactoring: eliminate custom ESC handling
Diffstat (limited to 'src/LambdaCube/Compiler/CoreToIR.hs')
| -rw-r--r-- | src/LambdaCube/Compiler/CoreToIR.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/LambdaCube/Compiler/CoreToIR.hs b/src/LambdaCube/Compiler/CoreToIR.hs index d9d31d68..0c8b8006 100644 --- a/src/LambdaCube/Compiler/CoreToIR.hs +++ b/src/LambdaCube/Compiler/CoreToIR.hs | |||
| @@ -875,7 +875,7 @@ mkApp (ExpTV (Neut (I.App_ a b)) et vs) = Just (ExpTV (Neut a) t vs, head $ chai | |||
| 875 | mkApp _ = Nothing | 875 | mkApp _ = Nothing |
| 876 | 876 | ||
| 877 | mkFunc r@(ExpTV (I.Func (show -> n) def nt xs) ty vs) | all (supType . tyOf) (r: xs') && n `notElem` ["typeAnn"] && all validChar n | 877 | mkFunc r@(ExpTV (I.Func (show -> n) def nt xs) ty vs) | all (supType . tyOf) (r: xs') && n `notElem` ["typeAnn"] && all validChar n |
| 878 | = Just (untick n +++ intercalate "_" (filter (/="TT") $ map (filter isAlphaNum . removeEscs . ppShow) hs), toExp (foldl app_ def hs, foldl appTy nt hs), tyOf r, xs') | 878 | = Just (untick n +++ intercalate "_" (filter (/="TT") $ map (filter isAlphaNum . plainShow) hs), toExp (foldl app_ def hs, foldl appTy nt hs), tyOf r, xs') |
| 879 | where | 879 | where |
| 880 | a +++ [] = a | 880 | a +++ [] = a |
| 881 | a +++ b = a ++ "_" ++ b | 881 | a +++ b = a ++ "_" ++ b |