search

wilbowma / cur

A less devious proof assistant
BSD 2-Clause "Simplified" License
222 stars 18 forks source link

collection not found for module path: turnstile/lang/lang/reader #96

Closed sorawee closed 5 years ago

sorawee commented 5 years ago

When I tried raco pkg install https://github.com/wilbowma/cur.git\#turnstile-core, I get 

standard-module-name-resolver: collection not found
  for module path: turnstile/lang/lang/reader
  collection: "turnstile/lang/lang"

Turnstile should be added to info.rkt in turnstile-core branch.

sorawee commented 5 years ago

There are also more errors even after installing turnstile. Most of them is about how ~Type is invalid in syntax-parse. I think I'm gonna give up for now.

wilbowma commented 5 years ago

Weird. Must have broken something in my last refactor. thanks for trying!

-- Sent from my phoneamajig

On Aug 27, 2019, at 21:01, sorawee notifications@github.com wrote:

There are also more errors even after installing turnstile-core. Most of them is about how ~Type is invalid in syntax-parse. I think I'm gonna give up for now.

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or mute the thread.

wilbowma commented 5 years ago

Try the following installation procedure:

> raco pkg install https://github.com/stchang/macrotypes.git?path=macrotypes-lib#cur
> raco pkg install https://github.com/stchang/macrotypes.git?path=turnstile-lib#cur
> raco pkg install https://github.com/wilbowma/cur.git?path=cur-lib#turnstile-core

turnstile-lib is already in info.rkt, so not sure how you got that first error. My guess would be something isn't up-to-date in the documentation. I can't reproduce the second error.

I've confirmed that issue #95 is fixed in that branch.

stchang commented 5 years ago

not sure how you got that first error

You cant raco pkg install from the repository root since it's not a package. You'd have to target the cur directory, eg https://github.com/stchang/cur/tree/turnstile-core/cur

stchang commented 5 years ago

Oops, replace stchang with wilbowma in the link above.

stchang commented 5 years ago

Actually, forget what I wrote. It still wont work bc cur-lib will still fetch from master. You have to manually install like in https://github.com/wilbowma/cur/issues/96#issuecomment-525850434.

sorawee commented 5 years ago

Yup, it works now! Thanks to both of you :)