git.iko.soy/Idris-dev
on master help sign in
javascript: fix for test007
dd1ca20raichoo
src/IRTS/CodegenJavaScript.hs+1−1
compare with master
unifiedsplit
@@ -138,7 +138,7 @@ translateIdentifier =
138
138
139translateNamespace :: Name -> [String]
139translateNamespace :: Name -> [String]
140translateNamespace (UN _) = [idrNamespace]
140translateNamespace (UN _) = [idrNamespace]
141−translateNamespace (NS _ ns) = map translateIdentifier ns
141+translateNamespace (NS _ ns) = idrNamespace : map translateIdentifier ns
142translateNamespace (MN _ _) = [idrNamespace]
142translateNamespace (MN _ _) = [idrNamespace]
143
143
144translateName :: Name -> String
144translateName :: Name -> String