git.iko.soy/Idris-dev
on master help sign in
javascript: add match on ITChar
42da36fraichoo
src/IRTS/CodegenJavaScript.hs+1
compare with master
unifiedsplit
@@ -138,6 +138,7 @@ translateConstant (AType (ATInt ITNative)) = idrRTNamespace ++ "Int"
138translateConstant StrType = idrRTNamespace ++ "String"
138translateConstant StrType = idrRTNamespace ++ "String"
139translateConstant (AType (ATInt ITBig)) = idrRTNamespace ++ "Integer"
139translateConstant (AType (ATInt ITBig)) = idrRTNamespace ++ "Integer"
140translateConstant (AType ATFloat) = idrRTNamespace ++ "Float"
140translateConstant (AType ATFloat) = idrRTNamespace ++ "Float"
141+translateConstant (AType (ATInt ITChar)) = idrRTNamespace ++ "Char"
141translateConstant PtrType = idrRTNamespace ++ "Ptr"
142translateConstant PtrType = idrRTNamespace ++ "Ptr"
142translateConstant Forgot = idrRTNamespace ++ "Forgot"
143translateConstant Forgot = idrRTNamespace ++ "Forgot"
143translateConstant c =
144translateConstant c =