pyret-lang
pyret-lang copied to clipboard
brownplt
The Pyret language.
I've installed the pyret-npm package on Windows 10. When I execute pyret I get the following error: ``` 2021-04-21T14:33:55.182Z Connection error: Error: connect ENOENT /tmp/parley-lulugo/comm.sock. [client] 2021-04-21T14:33:55.182Z You can try...
Hi, I was trying to set up my (doom) emacs with your package. I received the following error. ``` Error (pyret-mode-startup-hook): Error running hook "pyret-smartparens-setup" because: (error Keyword argument nil...
Simple example: ``` check: 1 raises 1 because 1 end ``` This yields the following error: ``` The type checker rejected your program because the object type {check-raises-satisfies :: Bot,...
The following snippet results in a type error where `nothing` is passed to an argument requiring a source location: ``` x = type-let A = Number: 32 end ``` ```...
Simple example: ``` fun one(): 1 where: block: a = 1 one() is 1 end end # Uncommenting this will yield the following error: "The identifier a is unbound" #...
Example: ``` var calls = 0 fun get() block: calls := calls + 1 0 end data A: a(ref x :: Number) end a(1)!{ x: get() } print("Total calls: "...
The testing block is picking up the "wrong b": I expected the 'b in test' message to be 1, but it seems to be picking up the shadow b that...
Hi, As was requested by the core Pyret team, William Sun and I wrote this library containing core linear algebra features. What The Library Does : - Core Linear Algebra...
A simple example: ``` data Foo: | c(ref a :: String) end print(cases(Foo) c("a"): | c(ref x) => x + x end) ``` This prints `"aa"` at runtime, since the...
Running the following script yields an internal error without type checking, or the error `Key atom#NumberT#72 not found` when type checking is enabled: ``` newtype NumberA as NumberT a =...