During adding a tech-pack of type #lang plai , Error is showing what is the right process to overcome it.
prog is like : #lang plai <rest> On Thu, Jan 7, 2016 at 1:02 PM, <racket-users@googlegroups.com> wrote: > racket-users@googlegroups.com > <https://groups.google.com/forum/?utm_source=digest&utm_medium=email#!forum/racket-users/topics> > Google > Groups > <https://groups.google.com/forum/?utm_source=digest&utm_medium=email/#!overview> > <https://groups.google.com/forum/?utm_source=digest&utm_medium=email/#!overview> > Today's topic summary > View all topics > <https://groups.google.com/forum/?utm_source=digest&utm_medium=email#!forum/racket-users/topics> > > - HTTPS problem with net/url <#1521b003f2886e38_group_thread_0> - 3 > Updates > - Typed/Untyped cost reduction and experience > <#1521b003f2886e38_group_thread_1> - 6 Updates > - using a different "scribble.tex" <#1521b003f2886e38_group_thread_2> > - 3 Updates > - hot reloading code and html templates for web app development > <#1521b003f2886e38_group_thread_3> - 3 Updates > - Potential Contract Profiler UI Change > <#1521b003f2886e38_group_thread_4> - 1 Update > - typed compilation option again <#1521b003f2886e38_group_thread_5> - 2 > Updates > - Cycle in loading. Units, (sub)modules, files... > <#1521b003f2886e38_group_thread_6> - 1 Update > > HTTPS problem with net/url > <http://groups.google.com/group/racket-users/t/488d37d876f321d5?utm_source=digest&utm_medium=email> > David Storrs <david.sto...@gmail.com>: Jan 06 01:50PM -0800 > > Hi folks, > > tl;dr: How do I make HTTPS calls from within Racket? > > Background: > > I co-write a play-by-post RPG ( ...more > <http://groups.google.com/group/racket-users/msg/9d7602c23336d?utm_source=digest&utm_medium=email> > Matthew Flatt <mfl...@cs.utah.edu>: Jan 06 03:15PM -0700 > > Racket is using the too-old version of "libssl.dylib" that is provided > by the OS. The too-old version doesn't work with some servers. > > For that server, I get the same error in v6.3. ...more > <http://groups.google.com/group/racket-users/msg/9d8ba2d03266b?utm_source=digest&utm_medium=email> > David Storrs <david.sto...@gmail.com>: Jan 06 04:37PM -0800 > > Wow. You're fantastic Matthew, thank you. > > > Thanks for delaying this question until the first day that I know the > answer! > > No problem. I'm nice like that. ;> > > On Wed, Jan 6, 2016 at 2:15 PM, ...more > <http://groups.google.com/group/racket-users/msg/9e078eb8d1a1a?utm_source=digest&utm_medium=email> > Back to top <#1521b003f2886e38_digest_top> > Typed/Untyped cost reduction and experience > <http://groups.google.com/group/racket-users/t/adf33a92855b392f?utm_source=digest&utm_medium=email> > Matthias Felleisen <matth...@ccs.neu.edu>: Jan 06 09:33AM -0500 > > > > * Or maybe it means adding types proactively is just not a recommended > way to go in general, and types should only be added when the code base > reaches certain trigger conditions? > ...more > <http://groups.google.com/group/racket-users/msg/9bf524d20c2b7?utm_source=digest&utm_medium=email> > Matthias Felleisen <matth...@ccs.neu.edu>: Jan 06 09:34AM -0500 > > > >> I don't understand this bullet. Bullet 1 says your code is now > completely typed. Our experience is that completely typed versions are > about as fast and on many occasions (eg., numeric) faster ...more > <http://groups.google.com/group/racket-users/msg/9bf61eff729b8?utm_source=digest&utm_medium=email> > JCG <griffin...@gmail.com>: Jan 06 11:01AM -0800 > > > I will say this as the first Racketeer and Typed Racketeer: if you just > want to program in an explicitly-statically typed language (possibly with > inference), you might wish to broaden your scope of ...more > <http://groups.google.com/group/racket-users/msg/9ce278b360da9?utm_source=digest&utm_medium=email> > Sam Tobin-Hochstadt <sa...@cs.indiana.edu>: Jan 06 02:13PM -0500 > > > > So, two things come to mind, Racket and SBCL because I've used them > before, and the ML family - Haskell, OCaml, and Scala. Having tried Scala, > I like the language but the associated ...more > <http://groups.google.com/group/racket-users/msg/9cec826588af0?utm_source=digest&utm_medium=email> > Emmanuel Oga <emmanuel...@gmail.com>: Jan 06 11:52AM -0800 > > On Wednesday, January 6, 2016 at 11:01:56 AM UTC-8, JCG wrote: > > 5) I've had enough uncaught flaws in Python that I'm now convinced that > I need types. > > 6) It needs pattern matching, otherwise I'm ...more > <http://groups.google.com/group/racket-users/msg/9d0e786ce7866?utm_source=digest&utm_medium=email> > Matthias Felleisen <matth...@ccs.neu.edu>: Jan 06 06:21PM -0500 > > > 2) Lightweight threads > > 3) Reasonable ability to use multiple cores safely. > > 4) Reliable environment generating reliable JavaScript > > > Hmph. > > > > > So, two things come to mind, Racket and ...more > <http://groups.google.com/group/racket-users/msg/9dc4d1b877624?utm_source=digest&utm_medium=email> > Back to top <#1521b003f2886e38_digest_top> > using a different "scribble.tex" > <http://groups.google.com/group/racket-users/t/c9647d249f519239?utm_source=digest&utm_medium=email> > Spencer Florence <spen...@florence.io>: Jan 06 08:44PM > > Hey all, > > I'm currently trying to use a custom tex style file with scribble. > Unfortunately this style file conflicts with the line > "\usepackage[usenames,dvipsnames]{color}" in the "scribble.tex" ...more > <http://groups.google.com/group/racket-users/msg/9d3c6a8d654f1?utm_source=digest&utm_medium=email> > Matthew Flatt <mfl...@cs.utah.edu>: Jan 06 01:53PM -0700 > > There's not currently a simple way to replace "scribble.tex". > > Probably you can hack anything by providing an alternate prefix file > (i.e., replacement for "scribble-prefix.tex"). For example, I bet ...more > <http://groups.google.com/group/racket-users/msg/9d4430fa865da?utm_source=digest&utm_medium=email> > Ben Lerner <bler...@ccs.neu.edu>: Jan 06 05:52PM -0500 > > I've used the invocation scribble --prefix my-prefix.tex with a file > my-prefix.tex that starts off > > \documentclass{book} %% You could use whatever class you need here > ...more > <http://groups.google.com/group/racket-users/msg/9dac066e727a0?utm_source=digest&utm_medium=email> > Back to top <#1521b003f2886e38_digest_top> > hot reloading code and html templates for web app development > <http://groups.google.com/group/racket-users/t/8f3c17d8bfb66f54?utm_source=digest&utm_medium=email> > Matthew Eric Bassett <mebass...@gegn.net>: Jan 06 12:32PM -0700 > > Hi all, > > I often use serve/servlet to launch my webapp. Often from the repl > while I'm developing. > > One major annoyance I have, however, is that I cannot easily hot-swap > code. If I change a ...more > <http://groups.google.com/group/racket-users/msg/9cfd8fb00fc5c?utm_source=digest&utm_medium=email> > Sam Tobin-Hochstadt <sa...@cs.indiana.edu>: Jan 06 02:38PM -0500 > > Matthew, > > There's a nice package for helping with this here: > https://github.com/tonyg/racket-reloadable/ > > It's maybe not quite as automatic as having the templates be > dynamically loaded, so ...more > <http://groups.google.com/group/racket-users/msg/9d031286d4ab9?utm_source=digest&utm_medium=email> > Jay McCarthy <jay.mccar...@gmail.com>: Jan 06 02:39PM -0500 > > Hi Matthew, > > The Web server doesn't do any special to prevent or make possible what > you're talking about. Other orthogonal Racket features will help you > though. The key is dynamic-rerequire. ...more > <http://groups.google.com/group/racket-users/msg/9d036cc63a178?utm_source=digest&utm_medium=email> > Back to top <#1521b003f2886e38_digest_top> > Potential Contract Profiler UI Change > <http://groups.google.com/group/racket-users/t/ba91181260af4618?utm_source=digest&utm_medium=email> > Vincent St-Amour <stamo...@eecs.northwestern.edu>: Jan 06 01:30PM -0600 > > On Tue, 05 Jan 2016 22:50:48 -0600, > Benjamin Greenman wrote: > > > Sounds great! Two suggestions: > > > 1. A `raco contract-profile` command to run the main submodule in a > > file. > ...more > <http://groups.google.com/group/racket-users/msg/9cfb5a7ffc2b1?utm_source=digest&utm_medium=email> > Back to top <#1521b003f2886e38_digest_top> > typed compilation option again > <http://groups.google.com/group/racket-users/t/8c1a4b081c96a64a?utm_source=digest&utm_medium=email> > JCG <griffin...@gmail.com>: Jan 06 09:32AM -0800 > > I alluded to a compilation option to enable/disable types, much in the way > of > > typed/racket > > and > > typed/racket/no-check. > > > In my foray into using Typed Racket, two performance issues ...more > <http://groups.google.com/group/racket-users/msg/9c9425e0d2668?utm_source=digest&utm_medium=email> > Sam Tobin-Hochstadt <sa...@cs.indiana.edu>: Jan 06 01:16PM -0500 > > > > One question that concerns me is whether the following statement is > correct: > > > A typed program that does not have conditions based upon type > predicates, e.g. port? or integer?, should act the ...more > <http://groups.google.com/group/racket-users/msg/9cbabaf8cafc0?utm_source=digest&utm_medium=email> > Back to top <#1521b003f2886e38_digest_top> > Cycle in loading. Units, (sub)modules, files... > <http://groups.google.com/group/racket-users/t/24d822638796c70d?utm_source=digest&utm_medium=email> > Jonas Winje <jonas.wi...@gmail.com>: Jan 06 06:16AM -0800 > > Hello people, > > I've been fumbling around with cyclic dependencies and such and have > started looking at signatures and units. I manage to make the cycles work > out in a couple different ways, but I'm ...more > <http://groups.google.com/group/racket-users/msg/9be948fc76a64?utm_source=digest&utm_medium=email> > Back to top <#1521b003f2886e38_digest_top> > You received this digest because you're subscribed to updates for this > group. You can change your settings on the group membership page > <https://groups.google.com/forum/?utm_source=digest&utm_medium=email#!forum/racket-users/join> > . > To unsubscribe from this group and stop receiving emails from it send an > email to racket-users+unsubscr...@googlegroups.com. > -- 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.
