• Atlanta, GA
  • https://florida.moe
  • moo

    Graduate Student at the Georgia Institute of Technology, School of Physics.

  • Joined on 2025年09月18日
phm opened issue scheme/r7rs#376 2026年07月12日 05:06:44 +02:00
Contradictory definition of integers
phm commented on issue scheme/r7rs#375 2026年07月11日 16:10:21 +02:00
Removing all undefined behaviour from the report

Additionally, it's not possible to excise arbitrary behavior (including crashes or state corruption) from the whole report. You might get rid of it in the Foundations and Batteries, but anything...

phm pushed to main at scheme/r7rs 2026年07月11日 03:40:41 +02:00
8426b5e080 valued: add compat division procedures
dfcc4e6f6b valued: division procedures
c7a63a2142 valued: rational procedures
a357a7b211 valued: finish arithmetic
41fe8cb617 valued: start arithmetic
Compare 8 commits »
phm commented on issue scheme/r7rs#375 2026年07月11日 01:47:06 +02:00
Removing all undefined behaviour from the report

The R6RS exegesis is a bit of a tangent, so I'll try to go back to the main point.

phm commented on issue scheme/r7rs#375 2026年07月10日 23:36:16 +02:00
Removing all undefined behaviour from the report
phm commented on issue scheme/r7rs#375 2026年07月10日 22:56:24 +02:00
Removing all undefined behaviour from the report
phm commented on issue scheme/r7rs#375 2026年07月10日 21:13:07 +02:00
Removing all undefined behaviour from the report
phm commented on issue scheme/r7rs#375 2026年07月10日 14:33:38 +02:00
Removing all undefined behaviour from the report
phm commented on issue scheme/r7rs#71 2026年07月10日 12:45:56 +02:00
Source of random bits
phm commented on issue scheme/r7rs#375 2026年07月10日 12:45:10 +02:00
Removing all undefined behaviour from the report

There is the R6RS-style implied-UB in Procedural: an implementation "should" raise an exception when a letrec family form either assigns or mutates a variable when evaluating a variable RHS,...

phm commented on issue scheme/r7rs#71 2026年07月10日 01:54:47 +02:00
Source of random bits

Personally I would rather an API that returns a single randomly selected object vs. returning a generator. For example (random-normal port mean deviation) instead of `(make-normal-generator port...

phm opened issue scheme/r7rs#374 2026年07月09日 04:43:01 +02:00
Are numbers in library names differentiated from a decimal symbol that reads the same?
phm commented on issue scheme/r7rs#373 2026年07月09日 03:14:03 +02:00
Make mutating literals undefined behavior

Try to formulate precisely where the boundary of acceptable behaviour is.

phm commented on issue scheme/r7rs#373 2026年07月08日 02:49:28 +02:00
Make mutating literals undefined behavior
phm commented on issue scheme/r7rs#373 2026年07月07日 16:53:47 +02:00
Make mutating literals undefined behavior
phm commented on issue scheme/r7rs#329 2026年07月06日 16:37:23 +02:00
Description of "equal?"

I have reverted the text to the R7RS-Small's "into (possibly infinite) trees" instead of "regular trees." I think that referring to them as "regular" is likely to cause confusion than...

phm pushed to main at scheme/r7rs 2026年07月06日 16:34:52 +02:00
118b29f38f valued: eq? and equal?
phm pushed to main at scheme/r7rs 2026年07月06日 16:12:03 +02:00
cd27f02241 single-file-xhtml: don't use <q>
phm commented on issue scheme/r7rs#361 2026年07月06日 04:11:38 +02:00
Behavior of equal? on record types