Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

localize worksheet REPL output #18

Open
bulent2k2 opened this issue Dec 11, 2020 · 3 comments
Open

localize worksheet REPL output #18

bulent2k2 opened this issue Dec 11, 2020 · 3 comments

Comments

@bulent2k2
Copy link
Contributor

In Turkish, a simple example from the scala tutorial is:

val n = new Nokta(3, 4) //> val n: Nokta = Nokta@98f03a4
n.x //> val res1: TurkishAPI.Sayı = 3

It would help readability to remove TurkishAPI. and return only the type alias (type Sayı = Int and Nokta is Turkish for Point) as follows:
p.x //> val res1: Sayı

I hope this is not too involved? Either way, please let me know a few pointers and I can work on it..

@litan
Copy link
Owner

litan commented Dec 11, 2020

This is coming from the scala interpreter. To remove it, we will have to filter the interpreter output text.
How important is this for your use-case?

@bulent2k2
Copy link
Contributor Author

It's cosmetic only. Not urgent. I would like to get to it eventually to reduce the clutter and keep things neat.

@bulent2k2
Copy link
Contributor Author

By the way, even for English, it would be good to filter out the UserCode.this. prefix from the type info we get with control-t (great feature BTW!). E.g.. in tangle, the last example from the tutorial, the type info on a couple of variables shows up as:

[type] p : scala.collection.immutable.Vector[UserCode.this.NodeP]
[type] edges : scala.collection.immutable.Vector[UserCode.this.EdgeP]

It would be nicer to have the simpler:

[type] p : scala.collection.immutable.Vector[NodeP]
[type] edges : scala.collection.immutable.Vector[EdgeP]

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants