pyret-lang
pyret-lang copied to clipboard
brownplt
The Pyret language.
... but import doesn't! `provide-integer.arr`: ``` provide * provide-types * type Integer = Number%(num-is-integer) ``` `importer.arr`: ``` include file("provide-integer.arr") fun foo(n :: Integer): n end foo(10.5) ``` ``` ⤇ make...
Pygments
Several tools, especially Markdown-related, seem to use Pygments for code formatting: https://pygments.org/docs/lexers/ Not sure whether Ben has Pygments support and if so what it takes to upload it here and...
Suppose I have the program: ``` type Integer = Number%(num-is-integer) fun f(n :: Integer): n end ``` I can write ``` check: f(0.5) raises "predicate" f(0.5) raises "num-is-integer" end ```...
Command ``` node build/phaseA/pyret.jarr --build-runnable /home/alex/pyret-examples/example.arr --outfile /home/alex/pyret-examples/example.jarr --builtin-js-dir src/js/trove/ --builtin-arr-dir src/arr/trove --require-config src/scripts/standalone-configA.json ``` Output ``` Gathering dependencies...The run ended in error: Cannot find import dependency("file", [list: "/home/alex/pyret-examples/example.arr"]) Pyret...
Pyret's design explicitly asks for indentation enforcement. It isn't implemented yet.
Opening an issue to track work on measuring performance of Pyret programs and the compiler. This includes three main metrics that I can think of: - Compiled code size -...
Many builltins, like `_divide` and `substring`, are partial, and give contract errors for erroneous inputs. We should turn these errors into meaningful Pyret errors somehow, and avoid paying to much...
The error message for colors just says ``` Expected to get a Color as an argument, but got this instead: "dark pink" ``` It would be so much more user-friendly...
We just had someone write (effectively) examples: the-fun(5) 5 + 10 end The error reasonably flagged that it looked like the person was writing tests, but this wasn't a "testing...
