search

plum-umd / abstracting-definitional-interpreters

Abstracting Definitional Interpreters
67 stars 2 forks source link

Rename concrete units #5

Closed dvanhorn closed 8 years ago

dvanhorn commented 8 years ago

I'd like to rename the concrete units to drop the -con and -base suffixes. The baseline should look like something you'd write if you never had an abstract interpreter in mind.

So con-ex0.rkt (I don't care about file names, that's fine) should look like

#lang monadic-eval (ev@ monad@ alloc@ delta@) (fix ev)

Also, can we rename delta@ to δ@?

davdar commented 8 years ago

Yeah I agree on all points.

On Mar 9, 2016, at 10:39 AM, David Van Horn notifications@github.com wrote:

I'd like to rename the concrete units to drop the -con and -base suffixes. The baseline should look like something you'd write if you never had an abstract interpreter in mind.

So con-ex0.rkt (I don't care about file names, that's fine) should look like

lang monadic-eval (ev@ monad@ alloc@ delta@) (fix ev)

Also, can we rename delta@ to δ@?

— Reply to this email directly or view it on GitHub.

labichn commented 8 years ago

This just involves changing the #lang racket/unit to #lang racket and naming things by hand, rather than getting the names from the source files. I'll take care of it.

davdar commented 8 years ago

Why not just rename the source files?

dvanhorn commented 8 years ago

Unicode file names are probably not a good idea. On Mar 9, 2016 11:15 AM, "davdar" notifications@github.com wrote:

Why not just rename the source files?

— Reply to this email directly or view it on GitHub https://github.com/dvanhorn/monadic-eval/issues/5#issuecomment-194370578 .

davdar commented 8 years ago

Right. Only do that for the Unicode ones then. Rename the others.

labichn commented 8 years ago

Done in f56a27454c506413a8e6684ac65faf1f5d20fa0f.