@tsonic/core 0.1.0 → 0.1.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/package.json +2 -21
- package/dist/types.d.ts +0 -41
- package/dist/types.d.ts.map +0 -1
- package/dist/types.js +0 -26
- package/dist/types.js.map +0 -1
- /package/{src/types.ts → types.d.ts} +0 -0
package/package.json
CHANGED
|
@@ -1,24 +1,8 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@tsonic/core",
|
|
3
|
-
"version": "0.1.
|
|
3
|
+
"version": "0.1.2",
|
|
4
4
|
"description": "Core type definitions for Tsonic - TypeScript to native compiler",
|
|
5
5
|
"type": "module",
|
|
6
|
-
"exports": {
|
|
7
|
-
"./types.js": {
|
|
8
|
-
"types": "./dist/types.d.ts",
|
|
9
|
-
"import": "./dist/types.js"
|
|
10
|
-
}
|
|
11
|
-
},
|
|
12
|
-
"files": [
|
|
13
|
-
"dist",
|
|
14
|
-
"src",
|
|
15
|
-
"README.md",
|
|
16
|
-
"LICENSE"
|
|
17
|
-
],
|
|
18
|
-
"scripts": {
|
|
19
|
-
"build": "tsc",
|
|
20
|
-
"prepublishOnly": "npm run build"
|
|
21
|
-
},
|
|
22
6
|
"keywords": [
|
|
23
7
|
"typescript",
|
|
24
8
|
"dotnet",
|
|
@@ -38,8 +22,5 @@
|
|
|
38
22
|
"bugs": {
|
|
39
23
|
"url": "https://github.com/tsoniclang/core/issues"
|
|
40
24
|
},
|
|
41
|
-
"homepage": "https://github.com/tsoniclang/core#readme"
|
|
42
|
-
"devDependencies": {
|
|
43
|
-
"typescript": "^5.7.2"
|
|
44
|
-
}
|
|
25
|
+
"homepage": "https://github.com/tsoniclang/core#readme"
|
|
45
26
|
}
|
package/dist/types.d.ts
DELETED
|
@@ -1,41 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* @tsonic/core - Type Definitions
|
|
3
|
-
*
|
|
4
|
-
* TypeScript type aliases for CLR/.NET runtime primitives.
|
|
5
|
-
*
|
|
6
|
-
* IMPORTANT: These are simple type aliases with NO runtime enforcement.
|
|
7
|
-
* TypeScript treats all numeric types as `number`, bool as `boolean`, etc.
|
|
8
|
-
* Tsonic enforces semantic correctness at compile time via its proof system.
|
|
9
|
-
*
|
|
10
|
-
* TypeScript will NOT catch type errors between int/byte/long etc.
|
|
11
|
-
* Only Tsonic compilation validates numeric correctness.
|
|
12
|
-
*
|
|
13
|
-
* @example
|
|
14
|
-
* ```typescript
|
|
15
|
-
* import { int, float, bool } from "@tsonic/core/types.js";
|
|
16
|
-
*
|
|
17
|
-
* const age: int = 42 as int; // Tsonic validates 42 fits in Int32
|
|
18
|
-
* const temp: float = 98.6 as float; // Tsonic validates for Single
|
|
19
|
-
* const isActive: bool = true; // bool is just boolean
|
|
20
|
-
* ```
|
|
21
|
-
*/
|
|
22
|
-
export type sbyte = number;
|
|
23
|
-
export type short = number;
|
|
24
|
-
export type int = number;
|
|
25
|
-
export type long = number;
|
|
26
|
-
export type nint = number;
|
|
27
|
-
export type int128 = number;
|
|
28
|
-
export type byte = number;
|
|
29
|
-
export type ushort = number;
|
|
30
|
-
export type uint = number;
|
|
31
|
-
export type ulong = number;
|
|
32
|
-
export type nuint = number;
|
|
33
|
-
export type uint128 = number;
|
|
34
|
-
export type half = number;
|
|
35
|
-
export type float = number;
|
|
36
|
-
export type double = number;
|
|
37
|
-
export type decimal = number;
|
|
38
|
-
export type bool = boolean;
|
|
39
|
-
export type char = string;
|
|
40
|
-
export type ptr<T> = unknown;
|
|
41
|
-
//# sourceMappingURL=types.d.ts.map
|
package/dist/types.d.ts.map
DELETED
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAGH,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC;AAC3B,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC;AAC3B,MAAM,MAAM,GAAG,GAAG,MAAM,CAAC;AACzB,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC;AAC1B,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC;AAC1B,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAG5B,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC;AAC1B,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAC5B,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC;AAC1B,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC;AAC3B,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC;AAC3B,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC;AAG7B,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC;AAC1B,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC;AAC3B,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC;AAC5B,MAAM,MAAM,OAAO,GAAG,MAAM,CAAC;AAG7B,MAAM,MAAM,IAAI,GAAG,OAAO,CAAC;AAC3B,MAAM,MAAM,IAAI,GAAG,MAAM,CAAC;AAM1B,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,OAAO,CAAC"}
|
package/dist/types.js
DELETED
|
@@ -1,26 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* @tsonic/core - Type Definitions
|
|
3
|
-
*
|
|
4
|
-
* TypeScript type aliases for CLR/.NET runtime primitives.
|
|
5
|
-
*
|
|
6
|
-
* IMPORTANT: These are simple type aliases with NO runtime enforcement.
|
|
7
|
-
* TypeScript treats all numeric types as `number`, bool as `boolean`, etc.
|
|
8
|
-
* Tsonic enforces semantic correctness at compile time via its proof system.
|
|
9
|
-
*
|
|
10
|
-
* TypeScript will NOT catch type errors between int/byte/long etc.
|
|
11
|
-
* Only Tsonic compilation validates numeric correctness.
|
|
12
|
-
*
|
|
13
|
-
* @example
|
|
14
|
-
* ```typescript
|
|
15
|
-
* import { int, float, bool } from "@tsonic/core/types.js";
|
|
16
|
-
*
|
|
17
|
-
* const age: int = 42 as int; // Tsonic validates 42 fits in Int32
|
|
18
|
-
* const temp: float = 98.6 as float; // Tsonic validates for Single
|
|
19
|
-
* const isActive: bool = true; // bool is just boolean
|
|
20
|
-
* ```
|
|
21
|
-
*/
|
|
22
|
-
export {};
|
|
23
|
-
// NOTE: ref<T>, out<T>, In<T> have been removed.
|
|
24
|
-
// Parameter modifiers will be expressed via syntax, not types.
|
|
25
|
-
// See spec for forthcoming ref/out/in parameter syntax.
|
|
26
|
-
//# sourceMappingURL=types.js.map
|
package/dist/types.js.map
DELETED
|
@@ -1 +0,0 @@
|
|
|
1
|
-
{"version":3,"file":"types.js","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;;AAkCH,iDAAiD;AACjD,+DAA+D;AAC/D,wDAAwD"}
|
|
File without changes
|