Recent changes to char

WikiPage char modified by Artyom Shalkhakov

Artyom Shalkhakov — Mon, 04 Mar 2013 03:23:33 -0000

--- v6
+++ v7
@@ -8,15 +8,15 @@
 The following list is believed to be exhaustive:

 * C conventions are used for some characters, e.g.:
-    * newline is written as '\n'
-    * carriage return is written as '\r'
-    * to input a single backlash, use two backslashes, '\\'
-    * to input a single colon, use '\''
+    * newline is written as '\\n'
+    * carriage return is written as '\\r'
+    * to input a single backlash, use two backslashes, '\\\\'
+    * to input a single colon, use '\\''
 * additionally, some characters may "clash" with ATS conventions, so they are escaped too:
-    * '\(' for left parenthesis (clashes with boxed tuple type)
-    * '\{' for left brace (clashes with boxed record type)
-    * '\[' for left bracket (clashes with singly-linked list literal)
-* also, it is possible to specify a character in octal notation: '\000' (backlash, then one to three octal digits 0-7), or in hexadecimal notation, with '\0x00' (backlash, then leading zero, then 'x' or 'X', then one or more hexadecimal digit, which is either 0-9 or a-z or A-Z)
+    * '\\(' for left parenthesis (clashes with boxed tuple type)
+    * '\\{' for left brace (clashes with boxed record type)
+    * '\\[' for left bracket (clashes with singly-linked list literal)
+* also, it is possible to specify a character in octal notation: '\\000' (backlash, then one to three octal digits 0-7), or in hexadecimal notation, with '\\0x00' (backlash, then leading zero, then 'x' or 'X', then one or more hexadecimal digit, which is either 0-9 or a-z or A-Z)

 (How do we specify ASCII codes in Hex, Bin, Dec, Oct, etc?)

WikiPage char modified by Artyom Shalkhakov

Artyom Shalkhakov — Mon, 04 Mar 2013 03:22:31 -0000

--- v5
+++ v6
@@ -1,18 +1,31 @@
 ***This page is incomplete, and needs review***

-Characters are demarcated with single quotes, i.e. the character c is written 'c'. Some characters may need an escape character (the back-slash) because the sequence *'char* for the char being discussed has a special meaning in ATS. One such example is '(, so we actually write '\\(' to denote the left parentheses. We note here that strings, in contract, are demarcated with double quotes.  
+Characters are demarcated with single quotes, i.e. the character c is written 'c'. Some characters may need an escape character (the back-slash) because the sequence *'char* for the char being discussed has a special meaning in ATS. One such example is '(, so we actually write '\\(' to denote the left parentheses. We note here that strings, in contrast, are demarcated with double quotes.

-(What is a complete list of characters needing an escape sequence?)
+Escape sequences for characters
+-------------------------------
+The following list is believed to be exhaustive:

+* C conventions are used for some characters, e.g.:
+    * newline is written as '\n'
+    * carriage return is written as '\r'
+    * to input a single backlash, use two backslashes, '\\'
+    * to input a single colon, use '\''
+* additionally, some characters may "clash" with ATS conventions, so they are escaped too:
+    * '\(' for left parenthesis (clashes with boxed tuple type)
+    * '\{' for left brace (clashes with boxed record type)
+    * '\[' for left bracket (clashes with singly-linked list literal)
+* also, it is possible to specify a character in octal notation: '\000' (backlash, then one to three octal digits 0-7), or in hexadecimal notation, with '\0x00' (backlash, then leading zero, then 'x' or 'X', then one or more hexadecimal digit, which is either 0-9 or a-z or A-Z)

 (How do we specify ASCII codes in Hex, Bin, Dec, Oct, etc?)

+*char* and Unicode
+------------------
+Please note that 'char' maps directly to C type 'char', therefore it is the size of 1 byte, and cannot be used to represent any multi-byte encoding, such as UTF-16 or UTF-32. 

-
-
-
-**Conversion functions for char**
+Conversion functions for *char*
+-----------------------------
 (Also see our [Rosetta Stone].)

 **char to string**

WikiPage char modified by Brandon Barker

Brandon Barker — Tue, 19 Feb 2013 16:56:59 -0000

--- v4
+++ v5
@@ -1,7 +1,12 @@
 ***This page is incomplete, and needs review***

-Characters are demarcated with single quotes, i.e. the character c is written 'c'. Some characters may need an escape character (the back-slash) because the sequence *'char* for the char being discussed has a special meaning in ATS. One such example is '(, so we actually write '\\(' to denote the left parentheses. We note here that strings, in contract, are demarcated with double quotes.
+Characters are demarcated with single quotes, i.e. the character c is written 'c'. Some characters may need an escape character (the back-slash) because the sequence *'char* for the char being discussed has a special meaning in ATS. One such example is '(, so we actually write '\\(' to denote the left parentheses. We note here that strings, in contract, are demarcated with double quotes.  
+
+(What is a complete list of characters needing an escape sequence?)
+
+
+(How do we specify ASCII codes in Hex, Bin, Dec, Oct, etc?)

WikiPage char modified by Brandon Barker

Brandon Barker — Tue, 19 Feb 2013 16:55:57 -0000

--- v3
+++ v4
@@ -1,7 +1,7 @@
 ***This page is incomplete, and needs review***

-Character's are demarcated with single quotes, i.e. the character c is written 'c'. Some characters may need an escape character (the back-slash) because they sequence '*char* for the char being discussed has a special meaning in ATS. One such example is '(, so we actually write '\\(' to denote the left parentheses. We note here that strings, in contract, are demarcated with double quotes.
+Characters are demarcated with single quotes, i.e. the character c is written 'c'. Some characters may need an escape character (the back-slash) because the sequence *'char* for the char being discussed has a special meaning in ATS. One such example is '(, so we actually write '\\(' to denote the left parentheses. We note here that strings, in contract, are demarcated with double quotes.

WikiPage char modified by Brandon Barker

Brandon Barker — Tue, 19 Feb 2013 16:54:31 -0000

--- v2
+++ v3
@@ -1,10 +1,14 @@
 ***This page is incomplete, and needs review***
+
+
+Character's are demarcated with single quotes, i.e. the character c is written 'c'. Some characters may need an escape character (the back-slash) because they sequence '*char* for the char being discussed has a special meaning in ATS. One such example is '(, so we actually write '\\(' to denote the left parentheses. We note here that strings, in contract, are demarcated with double quotes.
+

 **Conversion functions for char**
-
+(Also see our [Rosetta Stone].)

 **char to string**

WikiPage char modified by Brandon Barker

Brandon Barker — Mon, 18 Feb 2013 04:33:54 -0000

--- v1
+++ v2
@@ -14,7 +14,7 @@

 fun ***tostrptr_char***
   (c: char): strptr1 = "atspre_tostrptr_char"
-overload tostrptr with tostrptr_char
+overload ***tostrptr*** with tostrptr_char
 fun ***tostring_char***
   (c: char): string (1) = "atspre_tostrptr_char"
-overload tostring with tostring_char
+overload ***tostring*** with tostring_char

WikiPage char modified by Brandon Barker

Brandon Barker — Mon, 18 Feb 2013 04:31:52 -0000

This page is incomplete, and needs review

Conversion functions for char

char to string

// prelude/SATS/char.sats
// stringization
//

fun tostrptr_char
(c: char):<> strptr1 = "atspre_tostrptr_char"
overload tostrptr with tostrptr_char
fun tostring_char
(c: char):<> string (1) = "atspre_tostrptr_char"
overload tostring with tostring_char