@@ -20,9 +20,10 @@ import System.IO
2020import System.Directory
2121
2222idrNamespace :: String
23−idrNamespace = "__IDR__"
24−idrRTNamespace = "__IDRRT__"
25−idrLTNamespace = "__IDRLT__"
23+idrNamespace = "__IDR__"
24+idrRTNamespace = "__IDRRT__"
25+idrLTNamespace = "__IDRLT__"
26+idrCTRNamespace = "__IDRCTR__"
2627
2728
2829data JSTarget = Node | JavaScript deriving Eq
@@ -564,14 +565,14 @@ initConstructors js =
564565 where
565566 replaceHelper :: [Int] -> JS -> JS
566567 replaceHelper tags (JSNew "__IDRRT__Con" [JSNum (JSInt tag), JSArray []])
567− | tag `elem` tags = JSIdent ("__IDRCTR__" ++ show tag)
568+ | tag `elem` tags = JSIdent (idrCTRNamespace ++ show tag)
568569
569570 replaceHelper tags js = transformJS (replaceHelper tags) js
570571
571572
572573 createConstant :: Int -> JS
573574 createConstant tag =
574− JSAlloc ("__IDRCTR__" ++ show tag) (Just (
575+ JSAlloc (idrCTRNamespace ++ show tag) (Just (
575576 JSNew (idrRTNamespace ++ "Con") [JSNum (JSInt tag), JSArray []]
576577 ))
577578