]> gitweb.factorcode.org Git - factor.git/blobdiff - misc/syntax-test.factor
mason: made build targets into a table and added timestamp on report
[factor.git] / misc / syntax-test.factor
index 6e9223770aef3c52ade67c7daa34e0ff49947907..27f2f4e13bff36230f15f7860be743fa0a407fce 100644 (file)
@@ -2,9 +2,12 @@
 
 ! Comments
 
-    ! Normal comments
+    ! Normal comments ( -- x )
     ! More comments
 
+    ! TODO: something
+    ! XXX: blah
+
     /* C
     style 
     comments */
       2  comment */
      6 /* something else */ 2 +
 
+    ![[this is a weird new string]]
+    ![=[this is a weird new string]=]
+    ![==[this is a weird new string]==]
+    ![===[this is a weird new string]===]
+    ![====[this is a weird new string]====]
+    ![=====[this is a weird new string]=====]
+    ![======[this is a weird new string]======]
+
 ! Imports
 
+    USING: foo ! asdf
+    bar baz
+    ! something
+    qux ;
+
+    USE: ! fasdf
+    foo
+
     USING: vocabularies ... ;
     USE: vocabulary
     UNUSE: vocabulary
     DEFER: word
     FORGET: word
     POSTPONE: word
+    SLOT: name
 
 ! Classes
 
     MIXIN: class
     TUPLE: class slots ... ;
+    TUPLE: foo a b c d e f g h i j ;
+    TUPLE: foo < object { x initial: 0 } ;
+    TUPLE: foo < object { x fixnum initial: 0 } ;
+    TUPLE: foo < fixnum { x read-only } ;
     TUPLE: class < superclass slots ... ;
     BUILTIN: class slots ... ;
+    ERROR: class a b c { x fixnum initial: 12 } ;
     INSTANCE: instance mixin
     SINGLETON: class
     SINGLETONS: words ... ;
 ! Examples
 
     TUPLE: interval-map { array array read-only } ;
+    TUPLE: foo a b c ;
+    TUPLE: foo < bar d e f ;
     BUILTIN: string { length array-capacity read-only initial: 0 } aux ;
 
 ! Definitions
 
-    : word ( x -- ) drop ;
+    : word ( x -- y ) ! foo ;
+    : foo ( x -- y ) 1 + ;
+    1 2 + ;
+
+    : word error drop ;
     : word error drop ;
     :: word ( x -- ) x drop ;
     TYPED: word ( a b: class ... -- x: class y ... ) body ;
+    TYPED: word ( a b: class ... -- x: class y ... ) body ;
     TYPED:: word ( a b: class ... -- x: class y ... ) body ;
-    MACRO: word ( inputs... -- ) definition... ;
-    MACRO:: word ( vars... -- outputs... ) definition... ;
+    MACRO: word ( inputs... -- ) definition... ;
+    MACRO:: word ( vars... -- outputs... ) definition... ;
     M: object explain drop "an object" print ;
     M: class generic definition... ;
     M:: class generic ( vars... -- outputs... ) body... ;
         ( stack -- effect )
     GENERIC: word drop ! 3rd token wrong
     GENERIC: word ! next line wrong
-        drop
+        drop ;
     GENERIC: word
 drop ! wrong
     HOOK: word variable ( stack -- effect )
@@ -80,12 +112,14 @@ drop ! wrong
         1 2 ( stack -- effect )
     GENERIC#: word ! 2nd eff. should be independent of GENERIC#,
         1 ! and 2 & 3 shouldn't GENERIC# highlight
-        ( stack -- effect ) ( independent -- effect ) 2 3
+        ( stack -- effect ) ( independent -- effect ) 2 3 ;
     GENERIC#: word 1 ! comment
         drop ! wrong
     MATH: + ( x y -- z ) foldable flushable
-    SLOT: name
     C: <foo> foo
+    CONSTRUCTOR: <circle> circle ( radius -- obj ) ;
+    CONSTRUCTOR: <circle> circle ( radius -- obj ) definition...  ;
+    PRIMITIVE: word-code ( word -- start end )
 
 ! Private definitions
 
@@ -95,28 +129,39 @@ drop ! wrong
     :: word ( x -- ) x drop ;
     TYPED: word ( a b: class ... -- x: class y ... ) body ;
     TYPED:: word ( a b: class ... -- x: class y ... ) body ;
-    MACRO: word ( inputs... -- ) definition... ;
-    MACRO:: word ( vars... -- outputs... ) definition... ;
+    MACRO: word ( inputs... -- ) definition... ;
+    MACRO:: word ( vars... -- outputs... ) definition... ;
     M: class generic definition... ;
     M:: class generic ( vars... -- outputs... ) body... ;
     GENERIC: word ( stack -- effect )
     HOOK: word variable ( stack -- effect )
     GENERIC#: word 1 ( stack -- effect )
     MATH: + ( x y -- z ) foldable flushable
-    SLOT: name
     C: <foo> foo
+    CONSTRUCTOR: <circle> circle ( radius -- obj ) ;
+    CONSTRUCTOR: <circle> circle ( radius -- obj ) definition...  ;
+    PRIMITIVE: word-code ( word -- start end )
 
 PRIVATE>
 
+! Syntax
+
+    SYNTAX: URL" parse-string >url suffix! ;
+
 ! Alien
 
+    ALIEN: foo
     LIBRARY: name
     TYPEDEF: old new
     ENUM: type words... ;
-    ENUM: type < base-type words...
+    ENUM: type < base-type words... ;
     FUNCTION: return name ( parameters ) ;
     FUNCTION-ALIAS: factor-name return name ( parameters ) ;
 
+{ ALIEN: 1234 } [ ALIEN: 1234 [ { alien } declare void* <ref> ] compile-call void* deref ] unit-test
+{ ALIEN: 1234 } [ ALIEN: 1234 [ { c-ptr } declare void* <ref> ] compile-call void* deref ] unit-test
+{ f } [ f [ { POSTPONE: f } declare void* <ref> ] compile-call void* deref ] unit-test
+
 ! Symbols and literals
 
     \ foo
@@ -128,7 +173,8 @@ PRIVATE>
     SYMBOL: word
     SYMBOLS: words ... ;
 
-    C: <foo> foo
+    COLOR: red
+    COLOR: #336699
 
 ! Math
 
@@ -145,12 +191,17 @@ PRIVATE>
     >boolean
     <wrapper>
     +@
-    H{ } assoc-empty?
+    [ [ { } ] ?{ } ]
+    H{ ?{ { } } } assoc-empty?
+    ?{ t t f } nth
     5 >bignum
     1 2 pick set-nth
     5 f <array>
     (clone)
 
+    [| a b | ]
+    [let [let { } ] ]
+
 ! Strings
 
     ""
@@ -162,11 +213,16 @@ PRIVATE>
     "\"hello\""
     "\a\b\e\f\n\r\t\s\v\s\0\\\""
     "\x01\xaF\uffffff"
+    "\0123\148"
 
     URL" http://google.com"
     R" asdf"
 
-    """">json""""
+    """>json"""
+
+    "{ 1 2 3 }"
+
+    [[{ 1 2 3 }]]
 
 ! Triple quote strings (old Factor)
 
@@ -177,8 +233,27 @@ PRIVATE>
 
 ! Multiline strings
 
+    [[this is a weird new string]]
     [=[this is a weird new string]=]
+    [==[this is a weird new string]==]
+    [===[this is a weird new string]===]
+    [====[this is a weird new string]====]
+    [=====[this is a weird new string]=====]
+    [======[this is a weird new string]======]
 
+    HEREDOC: END
+    foo
+END
+
+    HEREDOC: foo bar baz
+    foo
+foo bar baz
+
+    STRING: foo
+asdf\f
+;
+
+    drop
 ! Containers
 
     H{ { 1 2 } }
@@ -186,12 +261,16 @@ PRIVATE>
     { 4 5 6 }
     V{ "asdf" 5 }
     ${ 1 foo 3 }
+    ?{ t t f f t }
 
 ! Quotations
 
     [ 2^ * ]
     '[ _ sqrt ]
+    '[ _ @ ]
     $[ 1 2 + ]
+    [let ]
+    [| | ]
 
 ! Tuples
 
@@ -221,22 +300,42 @@ PRIVATE>
     CHAR: a
     CHAR: symbol-for-end-of-transmission
     CHAR: snowman
+    CHAR: ☃
 
     { CHAR: a CHAR: S }
     { CHAR: b CHAR: D }
     { CHAR: c CHAR: H }
     { CHAR: d CHAR: C }
 
-! New number literals:
+! Bin
 
-    0xCAFEBABE
-    0o432
     0b10101
+    0B10101
+
+! Oct
+
+    0o432
+    0O1234567
+    0o1234567
+    0o7
+
+! Hex
+
+    0xCAFEBABE
+    0XCAFEBABE
+    0x1AB4p30
+
+! Dec
+
     1,000
     10,000
+
+! Float
+
     1e10
     -1.5e-5
 
+
 ! Weird numbers
 
     1,234+56/78
@@ -250,17 +349,12 @@ PRIVATE>
     -1.5e30
     1.5e-30
     1,000.1,2
-    0XCAFEBABE
-    0x1AB4p30
-    0B10101
-    0O1234567
     NAN: CAFE1234 0,. ! third token wrong
     0,. ! wrong, next line also wrong
     0,.
     NAN: ! ff 0xff comment
         xCAFE1234 ! wrong
         ff ! shouldn't match as a hex number
-    0o7
     NAN: 0
     drop
     NAN: !
@@ -269,9 +363,13 @@ PRIVATE>
 
     NAN:
 f,
+    NAN: ALKSJDflKJ ! XXX: should error
 
 ! Not numbers
 
+    ,0.1
+    .
+    -.
     1foo
     1.5bar
     +foo
@@ -307,7 +405,7 @@ f,
 
     ( x n -- (x)n )
 
-    ( p:
+    ( p: ! inline comment
 boolean -- q: boolean )
     ( m: integer -- n: float )
     ( :integer -- :float )
@@ -321,8 +419,10 @@ boolean -- q: boolean )
     flushablething
     flushable
     <PRIVATEfoo
-
+    [[asdf]]foo
     "asdf"foo
+    foo"asdf"foo
+    foo"asdf"
 
 << 5 1 + . >> 1
 
@@ -335,7 +435,6 @@ pair?
 tail?
 
 0.1
-,0.1 ! wrong
 10,0.1
 1.23
 .1
@@ -343,8 +442,6 @@ tail?
 -0.1
 -0,1.1
 1.
-.  ! other
--. ! other
 
 ! Numeral comma separator parsing (!: wrong, ~: other):
   ! int
@@ -373,6 +470,9 @@ tail?
 
 ! Regexp is colored wrong (on Github):
 
+R/ foo/
+R/ foo/s
+
 : using-line ( source -- vocabs )
     R/ USING: [^;]* ;/s all-matching-subseqs ?first
     [ { } ] [ " \n" split rest but-last ] if-empty ;