functionalscript 0.1.608 → 0.1.609

package/djs/parser/test.f.mjs

@@ -15,243 +15,243 @@ const stringify = djs.stringify(sort)
 export default {
     valid: [
         () => {
-            const tokenList = tokenizeString('module.exports=null')
+            const tokenList = tokenizeString('export default null')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
-            if (result !== '["ok",null]') { throw result }
+            if (result !== '["ok",[[],[null]]]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports=true')
+            const tokenList = tokenizeString('export default true')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
-            if (result !== '["ok",true]') { throw result }
+            if (result !== '["ok",[[],[true]]]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports=false')
+            const tokenList = tokenizeString('export default false')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
-            if (result !== '["ok",false]') { throw result }
+            if (result !== '["ok",[[],[false]]]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports=0.1')
+            const tokenList = tokenizeString('export default 0.1')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
-            if (result !== '["ok",0.1]') { throw result }
+            if (result !== '["ok",[[],[0.1]]]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports=1.1e+2')
+            const tokenList = tokenizeString('export default 1.1e+2')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
-            if (result !== '["ok",110]') { throw result }
+            if (result !== '["ok",[[],[110]]]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports="abc"')
+            const tokenList = tokenizeString('export default "abc"')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
-            if (result !== '["ok","abc"]') { throw result }
+            if (result !== '["ok",[[],["abc"]]]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports=[]')
+            const tokenList = tokenizeString('export default []')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
-            if (result !== '["ok",[]]') { throw result }
+            if (result !== '["ok",[[],[["array",[]]]]]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports=[1]')
+            const tokenList = tokenizeString('export default [1]')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
-            if (result !== '["ok",[1]]') { throw result }
+            if (result !== '["ok",[[],[["array",[1]]]]]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports=[[]]')
+            const tokenList = tokenizeString('export default [[]]')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
-            if (result !== '["ok",[[]]]') { throw result }
+            if (result !== '["ok",[[],[["array",[["array",[]]]]]]]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports=[0,[1,[2,[]]],3]')
+            const tokenList = tokenizeString('export default [0,[1,[2,[]]],3]')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
-            if (result !== '["ok",[0,[1,[2,[]]],3]]') { throw result }
+            if (result !== '["ok",[[],[["array",[0,["array",[1,["array",[2,["array",[]]]]]],3]]]]]') { throw result }            
         },
         () => {
-            const tokenList = tokenizeString('module.exports={}')
+            const tokenList = tokenizeString('export default {}')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
-            if (result !== '["ok",{}]') { throw result }
+            if (result !== '["ok",[[],[{}]]]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports=[{}]')
+            const tokenList = tokenizeString('export default [{}]')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
-            if (result !== '["ok",[{}]]') { throw result }
+            if (result !== '["ok",[[],[["array",[{}]]]]]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports={"a":true,"b":false,"c":null}')
+            const tokenList = tokenizeString('export default {"a":true,"b":false,"c":null}')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
-            if (result !== '["ok",{"a":true,"b":false,"c":null}]') { throw result }
+            if (result !== '["ok",[[],[{"a":true,"b":false,"c":null}]]]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports={"a":{"b":{"c":["d"]}}}')
+            const tokenList = tokenizeString('export default {"a":{"b":{"c":["d"]}}}')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
-            if (result !== '["ok",{"a":{"b":{"c":["d"]}}}]') { throw result }
+            if (result !== '["ok",[[],[{"a":{"b":{"c":["array",["d"]]}}}]]]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports=1234567890n')
+            const tokenList = tokenizeString('export default 1234567890n')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
-            if (result !== '["ok",1234567890n]') { throw result }
+            if (result !== '["ok",[[],[1234567890n]]]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports=[1234567890n]')
+            const tokenList = tokenizeString('export default [1234567890n]')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
-            if (result !== '["ok",[1234567890n]]') { throw result }
+            if (result !== '["ok",[[],[["array",[1234567890n]]]]]') { throw result }
         }
     ],
     invalid: [
         () => {
-            const tokenList = tokenizeString('module.exports=')
+            const tokenList = tokenizeString('export default')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
             if (result !== '["error","unexpected end"]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports="123')
+            const tokenList = tokenizeString('export default "123')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
             if (result !== '["error","unexpected token"]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports=[,]')
+            const tokenList = tokenizeString('export default [,]')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
             if (result !== '["error","unexpected token"]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports=[1 2]')
+            const tokenList = tokenizeString('export default [1 2]')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
             if (result !== '["error","unexpected token"]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports=[1,,2]')
+            const tokenList = tokenizeString('export default [1,,2]')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
             if (result !== '["error","unexpected token"]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports=[]]')
+            const tokenList = tokenizeString('export default []]')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
             if (result !== '["error","unexpected token"]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports=["a"')
+            const tokenList = tokenizeString('export default ["a"')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
             if (result !== '["error","unexpected end"]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports=[1,]')
+            const tokenList = tokenizeString('export default [1,]')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
             if (result !== '["error","unexpected token"]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports=[,1]')
+            const tokenList = tokenizeString('export default [,1]')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
             if (result !== '["error","unexpected token"]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports=[:]')
+            const tokenList = tokenizeString('export default [:]')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
             if (result !== '["error","unexpected token"]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports=]')
+            const tokenList = tokenizeString('export default ]')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
             if (result !== '["error","unexpected token"]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports={,}')
+            const tokenList = tokenizeString('export default {,}')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
             if (result !== '["error","unexpected token"]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports={1:2}')
+            const tokenList = tokenizeString('export default {1:2}')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
             if (result !== '["error","unexpected token"]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports={"1"2}')
+            const tokenList = tokenizeString('export default {"1"2}')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
             if (result !== '["error","unexpected token"]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports={"1"::2}')
+            const tokenList = tokenizeString('export default {"1"::2}')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
             if (result !== '["error","unexpected token"]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports={"1":2,,"3":4')
+            const tokenList = tokenizeString('export default {"1":2,,"3":4')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
             if (result !== '["error","unexpected token"]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports={}}')
+            const tokenList = tokenizeString('export default {}}')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
             if (result !== '["error","unexpected token"]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports={"1":2')
+            const tokenList = tokenizeString('export default {"1":2')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
             if (result !== '["error","unexpected end"]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports={"1":2,}')
+            const tokenList = tokenizeString('export default {"1":2,}')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
             if (result !== '["error","unexpected token"]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports={,"1":2}')
+            const tokenList = tokenizeString('export default {,"1":2}')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
             if (result !== '["error","unexpected token"]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports=}')
+            const tokenList = tokenizeString('export default }')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
             if (result !== '["error","unexpected token"]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports=[{]}')
+            const tokenList = tokenizeString('export default [{]}')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
             if (result !== '["error","unexpected token"]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports={[}]')
+            const tokenList = tokenizeString('export default {[}]')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
             if (result !== '["error","unexpected token"]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports=10-5')
+            const tokenList = tokenizeString('export default 10-5')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
             if (result !== '["error","unexpected token"]') { throw result }
@@ -259,24 +259,24 @@ export default {
     ],
     validWhiteSpaces:[
         () => {
-            const tokenList = tokenizeString('module.exports=[ 0 , 1 , 2 ]')
+            const tokenList = tokenizeString('export default [ 0 , 1 , 2 ]')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
-            if (result !== '["ok",[0,1,2]]') { throw result }
+            if (result !== '["ok",[[],[["array",[0,1,2]]]]]') { throw result }
         },
         () => {
-            const tokenList = tokenizeString('module.exports={ "a" : 0 , "b" : 1 }')
+            const tokenList = tokenizeString('export default { "a" : 0 , "b" : 1 }')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
-            if (result !== '["ok",{"a":0,"b":1}]') { throw result }
+            if (result !== '["ok",[[],[{"a":0,"b":1}]]]') { throw result }
         },
     ],
     validModule:[
         () => {
-            const tokenList = tokenizeString('module.exports = null')
+            const tokenList = tokenizeString('export default null')
             const obj = parser.parse(tokenList)
             const result = stringify(obj)
-            if (result !== '["ok",null]') { throw result }
+            if (result !== '["ok",[[],[null]]]') { throw result }
         },
     ],
     invalidModule:[
@@ -292,5 +292,121 @@ export default {
             const result = stringify(obj)
             if (result !== '["error","unexpected token"]') { throw result }
         },
-    ]
+        () => {
+            const tokenList = tokenizeString('export null')
+            const obj = parser.parse(tokenList)
+            const result = stringify(obj)
+            if (result !== '["error","unexpected token"]') { throw result }
+        },
+        () => {
+            const tokenList = tokenizeString('export default = null')
+            const obj = parser.parse(tokenList)
+            const result = stringify(obj)
+            if (result !== '["error","unexpected token"]') { throw result }
+        },
+    ],
+    validWithConst:[
+        () => {
+            const tokenList = tokenizeString('const a = 1 \n const b = 2 \n export default 3')
+            const obj = parser.parse(tokenList)
+            const result = stringify(obj)
+            if (result !== '["ok",[[],[1,2,3]]]') { throw result }
+        },
+        () => {
+            const tokenList = tokenizeString('const a = 1 \n const b = 2 \n export default b')
+            const obj = parser.parse(tokenList)
+            const result = stringify(obj)
+            if (result !== '["ok",[[],[1,2,["cref",1]]]]') { throw result }
+        },
+        () => {
+            const tokenList = tokenizeString('const a = 1 \n const b = 2 \n export default [b,a,b]')
+            const obj = parser.parse(tokenList)
+            const result = stringify(obj)
+            if (result !== '["ok",[[],[1,2,["array",[["cref",1],["cref",0],["cref",1]]]]]]') { throw result }
+        },
+        () => {
+            const tokenList = tokenizeString('const a = 1 \n const b = 2 \n export default {"1st":b,"2nd":a,"3rd":b}')
+            const obj = parser.parse(tokenList)
+            const result = stringify(obj)
+            if (result !== '["ok",[[],[1,2,{"1st":["cref",1],"2nd":["cref",0],"3rd":["cref",1]}]]]') { throw result }
+        },
+    ],
+    invalidWithConst:[
+        () => {
+            const tokenList = tokenizeString('const a = 1 const b = 2 export default 3')
+            const obj = parser.parse(tokenList)
+            const result = stringify(obj)
+            if (result !== '["error","unexpected token"]') { throw result }
+        },
+        () => {
+            const tokenList = tokenizeString('const = 1 \n const b = 2 \n export default 3')
+            const obj = parser.parse(tokenList)
+            const result = stringify(obj)
+            if (result !== '["error","unexpected token"]') { throw result }
+        },
+        () => {
+            const tokenList = tokenizeString('const a = 1 \n const a = 2 \n export default 3')
+            const obj = parser.parse(tokenList)
+            const result = stringify(obj)
+            if (result !== '["error","duplicate id"]') { throw result }
+        },
+    ],
+    validWithArgs:[
+        () => {
+            const tokenList = tokenizeString('import a from "test/test.f.mjs" \n export default a')
+            const obj = parser.parse(tokenList)
+            const result = stringify(obj)
+            if (result !== '["ok",[["test/test.f.mjs"],[["aref",0]]]]') { throw result }
+        },
+        () => {
+            const tokenList = tokenizeString('import a from "first/test.f.mjs" \n import b from "second/test.f.mjs" \n export default [b, a, b]')
+            const obj = parser.parse(tokenList)
+            const result = stringify(obj)
+            if (result !== '["ok",[["first/test.f.mjs","second/test.f.mjs"],[["array",[["aref",1],["aref",0],["aref",1]]]]]]') { throw result }
+        },
+        () => {
+            const tokenList = tokenizeString('import a from "test/test.f.mjs" \n const b = null \n export default [b, a, b]')
+            const obj = parser.parse(tokenList)
+            const result = stringify(obj)
+            if (result !== '["ok",[["test/test.f.mjs"],[null,["array",[["cref",0],["aref",0],["cref",0]]]]]]') { throw result }
+        },
+    ],
+    invalidWithArgs:[
+        () => {
+            const tokenList = tokenizeString('import a from "test/test.f.mjs" export default a')
+            const obj = parser.parse(tokenList)
+            const result = stringify(obj)
+            if (result !== '["error","unexpected token"]') { throw result }
+        },
+        () => {
+            const tokenList = tokenizeString('import a from \n export default a')
+            const obj = parser.parse(tokenList)
+            const result = stringify(obj)
+            if (result !== '["error","unexpected token"]') { throw result }
+        },
+        () => {
+            const tokenList = tokenizeString('import a "test/test.f.mjs" \n export default a')
+            const obj = parser.parse(tokenList)
+            const result = stringify(obj)
+            if (result !== '["error","unexpected token"]') { throw result }
+        },
+        () => {
+            const tokenList = tokenizeString('import from "test/test.f.mjs" \n export default a')
+            const obj = parser.parse(tokenList)
+            const result = stringify(obj)
+            if (result !== '["error","unexpected token"]') { throw result }
+        },   
+        () => {
+            const tokenList = tokenizeString('import a from "first/test.f.mjs" \n import a from "second/test.f.mjs" \n export default [b, a, b]')
+            const obj = parser.parse(tokenList)
+            const result = stringify(obj)
+            if (result !== '["error","duplicate id"]') { throw result }
+        },
+        () => {
+            const tokenList = tokenizeString('import a from "test/test.f.mjs" \n const a = null \n export default null')
+            const obj = parser.parse(tokenList)
+            const result = stringify(obj)
+            if (result !== '["error","duplicate id"]') { throw result }
+        },
+    ],
 }

package/djs/tokenizer/module.f.d.mts

@@ -6,7 +6,7 @@ export type DjsToken = {
     readonly kind: "true" | "false" | "null";
 } | {
     readonly kind: "{" | "}" | ":" | "," | "[" | "]" | "." | "=";
-} | jsTokenizerT.StringToken | jsTokenizerT.NumberToken | jsTokenizerT.ErrorToken | jsTokenizerT.IdToken | jsTokenizerT.BigIntToken | jsTokenizerT.WhitespaceToken;
+} | jsTokenizerT.StringToken | jsTokenizerT.NumberToken | jsTokenizerT.ErrorToken | jsTokenizerT.IdToken | jsTokenizerT.BigIntToken | jsTokenizerT.WhitespaceToken | jsTokenizerT.NewLineToken;
 export type ScanState = {
     readonly kind: "def" | "-";
 };

package/djs/tokenizer/module.f.mjs

@@ -16,7 +16,8 @@ import jsTokenizer, * as jsTokenizerT from '../../js/tokenizer/module.f.mjs'
 * jsTokenizerT.ErrorToken |
 * jsTokenizerT.IdToken |
 * jsTokenizerT.BigIntToken |
-* jsTokenizerT.WhitespaceToken
+* jsTokenizerT.WhitespaceToken |
+* jsTokenizerT.NewLineToken
 * } DjsToken
 */
 
@@ -53,6 +54,7 @@ const mapToken = input =>
         case 'string':
         case 'number':
         case 'ws':
+        case 'nl':
         case 'error': return [input]
         default: return jsTokenizer.isKeywordToken(input) ? [{ kind: 'id', value: input.kind }] : [{ kind: 'error', message: 'invalid token' }]
     }

package/djs/tokenizer/test.f.mjs

@@ -47,7 +47,7 @@ export default {
         },
         () => {
             const result = stringify(tokenizeString('{ \t\n\r}'))
-            if (result !== '[{"kind":"{"},{"kind":"ws"},{"kind":"}"}]') { throw result }
+            if (result !== '[{"kind":"{"},{"kind":"nl"},{"kind":"}"}]') { throw result }
         },
         () => {
             const result = stringify(tokenizeString('""'))

package/doc/LANGUAGE.md

@@ -1,15 +1,16 @@
 # FunctionalScript Programming Language
 
-Principals:
-- FunctionalScript VM should behaves the same way as a JavaScript VM
+Principles:
+
+- FunctionalScript VM should behaves the same way as a JavaScript VM,
 - Any unsupported feature should be reported at compile-time.
 
 ## 1. Module Ecosystem
 
-FunctionalScript uses [CommonJS](https://en.wikipedia.org/wiki/CommonJS) conventions as a module ecosystem. For example,
+FunctionalScript uses ESM conventions as a module ecosystem. For example,
 
 ```js
-const thirdPartyModule = require('third-party-package/module')
+import thirdPartyModule from 'third-party-package/module'
 
 const result = thirdPartyModule.someFunction('hello')
 ```
@@ -39,10 +40,10 @@ npm install -S github:functionalscript/functionalscript
 
 A module is a file with the `.js` extension. It contains three parts: references to other modules, definitions, and exports. For example
 
-`./first.js`
+`./first.f.mjs`
 ```js
 // 1. references
-const math = require('math')
+import math from 'math'
 
 // 2. definitions
 const myConst = 42
@@ -52,35 +53,35 @@ const add42 = addition(42)
 const _10digitsOfPi = math.calculatePi(10)
 
 // 3. exports
-module.exports = {
+export default {
    addition,
    add42,
    _10digitsOfPi,
 }
 ```
 
-`./second.js`
+`./second.f.mjs`
 ```js
 // 1. references
-const first = require('./first.js')
+import first from './first.f.mjs'
 
 // 2. definitions
 const _42plus7 = first.add42(7)
 
 // 3. exports
-module.exports = {
+export default {
    _42plus7,
 }
 ```
 
 ## 4. References To Other Modules
 
-The format of references is `const ANYNAME = require('PATH_TO_A_MODULE')`. For example,
+The format of references is `import ANYNAME from 'PATH_TO_A_MODULE'`. For example,
 
 ```js
-const math = require('math')
-const algebra = require('math/algebra')
-const localFile = require('../some-directory/some-file.js')
+import math from 'math'
+import algebra from 'math/algebra'
+import localFile from '../some-directory/some-file.f.mjs'
 ```
 
 ## 5. Definitions
@@ -107,11 +108,11 @@ See [Expressions](#7-Expressions).
 
 ### 6. Exports
 
-The format of exports is `module.exports = { A_LIST_OF_EXPORTED_DEFINITIONS }`. There should be only one `module.exports` at
+The format of exports is `export default { A_LIST_OF_EXPORTED_DEFINITIONS }`. There should be only one `export default` at
 the end of a FunctionalScript file. For example,
 
 ```js
-module.exports = {
+export default {
    nestedStructure,
    array,
    structure,