Giters

LightAndLight / ipso

A functional scripting language.

Home Page:https://ipso.dev

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

`check` command

LightAndLight opened this issue · comments

commented

I want to type check a script without running it. If I run the script incorrectly it might report runtime errors (i.e. if an environment variable is missing). When I want to type check, I don't care about the script's calling convention. Also, I might confuse runtime errors for type errors.

I want to pass a script argument to ipso in a "checking" mode and have a clean "success" output when the script is OK.