Re: [racket-users] raco pkg install failing inside Virtualbox. OpenSSL issue?

[Ben Greenman]

You can disable El Capitan's "system integrity protection".
http://stackoverflow.com/questions/30768087/restricted-folder-files-in-os-x-el-capitan


On Wed, Oct 19, 2016 at 1:09 PM, David Storrs 
wrote:

> I have it on OSX running on metal. My understanding (possibly wrong) is
> that it's an issue with the libcrypto and libssl 0.9 versions that were
> shipped with OSX 11 (El Capitan), and apparently with your version of
> Ubuntu. If you replace the libraries with 1.0+ versions I would expect it
> to resolve the issue. Do your own due diligence though -- I'd hate to give
> you bad advice and hose your machine. I tried to do it on my box but El
> Capitan does not allow any user, including root, to modify system
> directories.
>
> I'm really sorry I "upgraded" from Snow Leopard (10.6) which had neither
> of these problems and a nicer interface.
>
>
>
> On Wednesday, October 19, 2016, phil jones  wrote:
>
>> If I read correctly then it seems it's an incompatibility between the
>> openssl on Ubuntu and the server which raco is trying to pull from.
>>
>> When you say you have this on MacOS  do you mean on MacOS directly? Or
>> on Virtualbox running Ubuntu on a Mac?
>>
>> I wonder if this is something that I can fix by changing the Ubuntu
>> version in my box. Or whether it's actually something that the people
>> providing the racket package repository need to address on their
>> server?
>>
>> cheers
>>
>> Phil
>>
>>
>> On 19 October 2016 at 13:01, David Storrs  wrote:
>> > Hi Phil,
>> >
>> > Apparently this is an issue with OpenSSL:
>> > https://bugs.launchpad.net/ubuntu/+source/openssl/+bug/861137  I've
>> had the
>> > same issues on OSX.
>> >
>> > Dave
>>
>> >
>> > On Wed, Oct 19, 2016 at 9:36 AM, phil jones 
>> wrote:
>> >>
>> >> Hi,
>> >>
>> >> I'm trying to get my development environments across different machines
>> >> more consistent by running a standard Ubuntu image inside a Vagrant /
>> >> Virtualbox Box.
>> >>
>> >> I'm trying to set up racket inside this environment (on Windows 10),
>> but
>> >> I'm getting the following error trying to install libraries with raco.
>> >>
>> >> ssl-connect: connect failed (error:14077438:SSL
>> >> routines:SSL23_GET_SERVER_HELLO:tlsv1 alert internal error)
>> >>
>> >> context...:
>> >>  /usr/share/racket/collects/openssl/mzssl.rkt:1207:8: loop
>> >>  ... rest of stack trace.
>> >>
>> >> I'm guessing that this is because of some configuration either of the
>> >> Virtual Machine itself or of my new Ubuntu environment.
>> >>
>> >> Anyone got any suggestions?
>> >>
>> >> --
>> >> You received this message because you are subscribed to the Google
>> Groups
>> >> "Racket Users" group.
>> >> To unsubscribe from this group and stop receiving emails from it, send
>> an
>> >> email to racket-users+unsubscr...@googlegroups.com.
>> >> For more options, visit https://groups.google.com/d/optout.
>> >
>> >
>>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] raco pkg install failing inside Virtualbox. OpenSSL issue?

[David Storrs]

I have it on OSX running on metal. My understanding (possibly wrong) is
that it's an issue with the libcrypto and libssl 0.9 versions that were
shipped with OSX 11 (El Capitan), and apparently with your version of
Ubuntu. If you replace the libraries with 1.0+ versions I would expect it
to resolve the issue. Do your own due diligence though -- I'd hate to give
you bad advice and hose your machine. I tried to do it on my box but El
Capitan does not allow any user, including root, to modify system
directories.

I'm really sorry I "upgraded" from Snow Leopard (10.6) which had neither of
these problems and a nicer interface.



On Wednesday, October 19, 2016, phil jones  wrote:

> If I read correctly then it seems it's an incompatibility between the
> openssl on Ubuntu and the server which raco is trying to pull from.
>
> When you say you have this on MacOS  do you mean on MacOS directly? Or
> on Virtualbox running Ubuntu on a Mac?
>
> I wonder if this is something that I can fix by changing the Ubuntu
> version in my box. Or whether it's actually something that the people
> providing the racket package repository need to address on their
> server?
>
> cheers
>
> Phil
>
>
> On 19 October 2016 at 13:01, David Storrs  > wrote:
> > Hi Phil,
> >
> > Apparently this is an issue with OpenSSL:
> > https://bugs.launchpad.net/ubuntu/+source/openssl/+bug/861137  I've had
> the
> > same issues on OSX.
> >
> > Dave
> >
> > On Wed, Oct 19, 2016 at 9:36 AM, phil jones  > wrote:
> >>
> >> Hi,
> >>
> >> I'm trying to get my development environments across different machines
> >> more consistent by running a standard Ubuntu image inside a Vagrant /
> >> Virtualbox Box.
> >>
> >> I'm trying to set up racket inside this environment (on Windows 10), but
> >> I'm getting the following error trying to install libraries with raco.
> >>
> >> ssl-connect: connect failed (error:14077438:SSL
> >> routines:SSL23_GET_SERVER_HELLO:tlsv1 alert internal error)
> >>
> >> context...:
> >>  /usr/share/racket/collects/openssl/mzssl.rkt:1207:8: loop
> >>  ... rest of stack trace.
> >>
> >> I'm guessing that this is because of some configuration either of the
> >> Virtual Machine itself or of my new Ubuntu environment.
> >>
> >> Anyone got any suggestions?
> >>
> >> --
> >> You received this message because you are subscribed to the Google
> Groups
> >> "Racket Users" group.
> >> To unsubscribe from this group and stop receiving emails from it, send
> an
> >> email to racket-users+unsubscr...@googlegroups.com .
> >> For more options, visit https://groups.google.com/d/optout.
> >
> >
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] Drawing arbitrary binding arrows with Check Syntax

[Alex Knauth]

> On Oct 19, 2016, at 12:26 PM, Alexis King  wrote:
> 
>> On Oct 19, 2016, at 4:06 AM, Robby Findler  
>> wrote:
>> 
>> That's the best approach we currently have. Of course, we could support a 
>> new property that was "connect srclocs" or something. 
> 
> Do you think it would make sense to have a property that uses
> bound-identifier=? rather than free-identifier=? to connect
> identifiers? Managing scopes seems a bit more feasible to do
> procedurally than managing bindings (since you can use
> make-syntax-introducer to explicitly add them), but I’m not sure
> if that would be much better than a “connect srclocs” option.

This is weird, because when 'disappeared-use is used with a normal binding it 
makes sense to use free-identifier=? so that it can look through 
rename-transformers. But when used with 'disappeared-binding, I would want it 
to go by the scopes (bound-identifier=?), because there is no binding to look 
at. 

For most of the macros I've made using this, I have wanted it to use 
free-identifier=? if there is a binding, but bound-identifier=? otherwise. Is 
that the behavior that makes sense for check-syntax arrows?

Alex Knauth

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] Drawing arbitrary binding arrows with Check Syntax

[Alexis King]

> On Oct 19, 2016, at 4:06 AM, Robby Findler  
> wrote:
> 
> That's the best approach we currently have. Of course, we could support a new 
> property that was "connect srclocs" or something. 

Do you think it would make sense to have a property that uses
bound-identifier=? rather than free-identifier=? to connect
identifiers? Managing scopes seems a bit more feasible to do
procedurally than managing bindings (since you can use
make-syntax-introducer to explicitly add them), but I’m not sure
if that would be much better than a “connect srclocs” option.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[racket-users] Re: demande d'aide

[Masto Fine]

Le vendredi 14 octobre 2016 08:12:27 UTC+2, Masto Fine a écrit :
> je commence en drracket et je cherche qqun qui pourrait m'aaider pour l 
> construction de petits programmes ! 
>  j'en suis par exemple a la construction de petits mondes , et je ne 
> comprends pas comment programmer la differences entre une evolution spatiales 
> (avec l'axes des abscisses , ordonnees ) comme dans l'exemple de mon manuel ; 
> et une evolution numerique " en valeur absolue" comme dans l'exercice que je 
> dois realiser : construite une horloge numerique. 
>   l variable mathematiue ne me pose pas de problemes , c'est juste au moment 
> de programmer l'evolution numerique dans l discretisation du monde , ou la 
> programmation monde -monde ou celle monde-image que je peche . 
>   Pouvez vous m'aider.

hi janes, i'm a little lost ! can you write a little program "digital clock" in 
racket in order i understand better , please.

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] demande d'aide

[Masto Fine]

Le vendredi 14 octobre 2016 09:54:52 UTC+2, Jens Axel Søgaard a écrit :
> You need to break down your problem in smaller pieces.
> 
> 
> Here is a suggestion of some helper functions to get you started.
> 
> 
> digit->image  : number -> image
>   Given a digit (0,1,...,9) as input, return an image of that digit.
> 
> 
> number->digits : number -> listof-numbers
>   Given a natural number return a list of the digits
>   Example:  (number->digits 123) evaluates to (list 1 2 3)
> 
> 
> digits->image : list-of-numbers -> image
>   Given a list of numbers return an image where the digit images are glued 
> together horisontally.
> 
> 
> time->image : number number -> image
>   Given two number an hour and a second return an image which shows the two 
> numbers
>   with an : between them.
> 
> 
> 
> 
> /Jens Axel
> 
> 
> 
> 
> 2016-10-14 8:12 GMT+02:00 Masto Fine :
>  je commence en drracket et je cherche qqun qui pourrait m'aaider pour l 
> construction de petits programmes !
> 
>  j'en suis par exemple a la construction de petits mondes , et je ne 
> comprends pas comment programmer la differences entre une evolution spatiales 
> (avec l'axes des abscisses , ordonnees ) comme dans l'exemple de mon manuel ; 
> et une evolution numerique " en valeur absolue" comme dans l'exercice que je 
> dois realiser : construite une horloge numerique.
> 
>   l variable mathematiue ne me pose pas de problemes , c'est juste au moment 
> de programmer l'evolution numerique dans l discretisation du monde , ou la 
> programmation monde -monde ou celle monde-image que je peche .
> 
>   Pouvez vous m'aider.
> 
> 
> 
> --
> 
> You received this message because you are subscribed to the Google Groups 
> "Racket Users" group.
> 
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to racket-users...@googlegroups.com.
> 
> For more options, visit https://groups.google.com/d/optout.
> 
> 
> 
> 
> 
> -- 
> 
> -- 
> Jens Axel Søgaard

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[racket-users] raco pkg install failing inside Virtualbox. OpenSSL issue?

[phil jones]

Hi,

I'm trying to get my development environments across different machines more 
consistent by running a standard Ubuntu image inside a Vagrant / Virtualbox Box.

I'm trying to set up racket inside this environment (on Windows 10), but I'm 
getting the following error trying to install libraries with raco.

ssl-connect: connect failed (error:14077438:SSL 
routines:SSL23_GET_SERVER_HELLO:tlsv1 alert internal error)

context...:
 /usr/share/racket/collects/openssl/mzssl.rkt:1207:8: loop
 ... rest of stack trace.

I'm guessing that this is because of some configuration either of the Virtual 
Machine itself or of my new Ubuntu environment.

Anyone got any suggestions?

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

Re: [racket-users] Drawing arbitrary binding arrows with Check Syntax

[Robby Findler]

That's the best approach we currently have. Of course, we could support a
new property that was "connect srclocs" or something.

One thing to keep in mind is renaming too tho.

I would welcome patches. :)

Robby

On Wednesday, October 19, 2016, Alexis King  wrote:

> I have a macro that does something that approximates binding. It looks
> like this:
>
>   (∀ [α] (→ α α))
>
> Obviously, I’d really like it if the αs had binding arrows drawn to
> them. The trouble, unfortunately, is that ∀ does not expand to a binding
> form at all; it is parsed in a single macro step to a value composed of
> prefab structs, which is then stashed in a preserved syntax property
> somewhere. No identifier with the name α is ever bound.
>
> It seems like the 'disappeared-binding and 'disappeared-use properties
> are for precisely this purpose, but in my initial implementation, I
> found that they had some problems for this use case. To illustrate,
> consider the following macro:
>
>   (define-syntax-parser bind
> [(_ binder:id use:id)
>  (syntax-properties
>   #'(void)
>   (list (cons 'disappeared-binding
>   (syntax-local-introduce #'binder))
> (cons 'disappeared-use
>   (syntax-local-introduce #'use])
>
> (Where syntax-properties is a simple function that attaches multiple
> syntax properties from a dictionary.)
>
> This works okay, since I can now do this:
>
>   (bind α α)
>
> …and DrRacket draws a binding arrow between the two αs. However, there
> is a problem. If I do this:
>
>   (bind α α)
>   (bind α α)
>
> …then DrRacket draws binding arrows between all the αs, not just each
> pair, since they are all free-identifier=?. This is somewhat
> problematic, since I don’t ever actually bind α, and the identifiers
> will almost always be free-identifier=? if they have the same name.
>
> What I really want is a way to draw arrows very deliberately. I want a
> way to say “draw an arrow between these two identifiers, but not any
> other ones”. Unfortunately, all of the syntax properties available
> ('disappeared-use, 'disappeared-binding, and 'sub-range-binders) depend
> on some inspection of identifier bindings, as far as I can tell. To
> solve this problem, I found a way to cheat: I can forge identifiers with
> made-up source locations to get Check Syntax to do what I want:
>
>   (define (binding-arrows-props binders uses)
> (define tmp (generate-temporary))
> (define (mk-tmp id)
>   (propagate-original-for-check-syntax
>id (datum->syntax tmp (syntax-e tmp) id id)))
> (list (cons 'disappeared-binding (map mk-tmp binders))
>   (cons 'disappeared-use (map mk-tmp uses
>
>   (define (binding-arrows stx binders uses)
> (syntax-properties stx (binding-arrows-props binders uses)))
>
> (Where propagate-original-for-check-syntax inspects a syntax object and
> applies the 'original-for-check-syntax syntax property if necessary.)
>
> Using these functions, I can invent identifiers that will “trick” Check
> Syntax into drawing binding arrows between any sets of identifiers that
> I desire. In fact, the endpoints of the arrows don’t even need to be
> identifiers! I can do this:
>
>   (define-syntax-parser bind
> [(_ a b)
>  (binding-arrows
>   #'(void)
>   (list (syntax-local-introduce #'a))
>   (list (syntax-local-introduce #'b)))])
>
> …and Check Syntax will now happily draw arrows between absolutely
> anything at all:
>
>   (bind α α)
>   (bind #s(point 1 2) 75)
>
> This is kind of neat, but it seems like a horrible hack. Is there a
> better way to get the arrows I want even if my macro is a little bit
> naughty and simply emulates binding even when there isn’t any? Are there
> any terrible pitfalls with the approach I’ve taken? For what it’s worth,
> this isn’t hypothetical — this is an actual issue I’ve run into, and
> this has been my kludge of a solution.
>
> If everyone thinks this is a-ok, I’ll keep using it, but if there’s a
> better way, I’d happily switch to something nicer.
>
> (Also, as a final note, my apologies for asking so many questions about
> the Check Syntax arrows on this list, but they’re really, really useful,
> and I try my best to cooperate with them whenever I can.)
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com .
> For more options, visit https://groups.google.com/d/optout.
>

-- 
You received this message because you are subscribed to the Google Groups 
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.