{-# OPTIONS -fglasgow-exts -cpp #-}

#include "../../undefined.h"

{-| Translate Agda names into a variety of GHC names
-}

module Compiler.Agate.TranslateName where

import Data.Char

import Syntax.Internal
import Syntax.Scope
import Syntax.Common

----------------------------------------------------------------

translateNameAsUntypedTerm :: String -> String
translateNameAsUntypedTerm s = 'x':'_':escape s

translateNameAsUntypedConstructor :: String -> String
translateNameAsUntypedConstructor s = 'C':'_':escape s

translateNameAsOptimizedType :: String -> String
translateNameAsOptimizedType s = 'T':'_':escape s

translateNameAsOptimizedTerm :: String -> String
translateNameAsOptimizedTerm s = 'o':'_':escape s

translateNameAsOptimizedConstructor :: String -> String
translateNameAsOptimizedConstructor s = 'D':'_':escape s

----------------------------------------------------------------

escape :: String -> String
escape [] = []
escape (c:s) | isUpper c || isLower c || isDigit c = c:escape s
escape ('_':s) = '_':'_':escape s
escape (c:s)   | ord c >= 256
	       = '_':'u'
                    :intToDigit (ord c `div` 4096)
                    :intToDigit ((ord c `div` 256) `mod` 16)
                    :intToDigit ((ord c `div` 16)  `mod` 16)
                    :intToDigit (ord c `mod` 16):escape s
escape (c:s)   = '_':intToDigit (ord c `div` 16)
                    :intToDigit (ord c `mod` 16):escape s

----------------------------------------------------------------