esolangs
/
type-unlambda
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Update README

This commit is contained in:
CismonX 2020-11-06 20:08:09 +08:00
parent 656a039a30
commit 60d64d6917
Signed by: cismonx
GPG Key ID: 3094873E29A482FB
3 changed files with 6 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
README.md
View File

@ -9,6 +9,7 @@ type-unlambda - [Unlambda](http://www.madore.org/~david/programs/unlambda) inter
Installation: Installation:
```sh ```sh
npm install --save-dev typescript@next
npm install --save-dev @esolangs/type-unlambda npm install --save-dev @esolangs/type-unlambda
``` ```
@ -28,7 +29,7 @@ Screenshots:
## Notes ## Notes
You're lilely to get the following error when trying to run a program with type-unlambda: You're likely to get the following error when trying to run a program with type-unlambda:
> Type instantiation is excessively deep and possibly infinite.ts(2589). > Type instantiation is excessively deep and possibly infinite.ts(2589).
@ -43,6 +44,6 @@ if (instantiationDepth === 50 || instantiationCount >= 5000000) {
} }
``` ```
You may expect that there is an option somewhere where this limit can be configured, like `-ftemplate-depth=n` in gcc/clang. Unfortuanately, there isn't, [and it's likely to stay that way](https://github.com/microsoft/TypeScript/pull/29602). You may expect that there is an option somewhere where this limit can be configured, like `-ftemplate-depth=n` in gcc/clang. Unfortunately, there isn't, [and it's likely to stay that way](https://github.com/microsoft/TypeScript/pull/29602).
To workaround this limitation, we modify the code of `tsserver` or `tsc` and loosen these limits until the error no longer applies. Changing `instantiationDepth` to `1000` is sufficient to run the example above. To workaround this limitation, we modify the code of `tsserver` or `tsc` in `node_modules` to loosen these limits until the error no longer applies. Changing `instantiationDepth` to `1000` is sufficient to run the example above.

2
package-lock.json generated
View File

@ -1,6 +1,6 @@
{ {
"name": "@esolangs/type-unlambda", "name": "@esolangs/type-unlambda",
"version": "0.1.1", "version": "0.1.2",
"lockfileVersion": 1, "lockfileVersion": 1,
"requires": true, "requires": true,
"dependencies": { "dependencies": {

2
package.json
View File

@ -1,6 +1,6 @@
{ {
"name": "@esolangs/type-unlambda", "name": "@esolangs/type-unlambda",
"version": "0.1.1", "version": "0.1.2",
"description": "Unlambda interpreter implemented in TypeScript's type system", "description": "Unlambda interpreter implemented in TypeScript's type system",
"keywords": [ "keywords": [
"Unlambda", "Unlambda",