Add foreign module and HTML editor #8

Activity

1. LiamGoodacre commented on Mar 16, 2016

   

   LiamGoodacre

   on Mar 16, 2016

   Member

   More actions

   👍 Can we think of a nice way of having this work in combination with Gists?

   Possibly make both sources have their own gists and have the PureScript one reference the other by a comment on the first line (not necessarily shown in the editor).

   -- foreign GIST_ID_HERE
   module ...
2. paulyoung commented on Aug 1, 2017

   

   paulyoung

   on Aug 1, 2017

   More actions

   I tried creating a gist with a Main.purs and Main.js hoping that would work.

   It would be great if it did, even if it's not the most ideal way to support foreign modules.
3. paf31 commented on Aug 1, 2017

   

   paf31

   on Aug 1, 2017

   ContributorAuthor

   More actions

   The big problem here is security. We don't want unverified foreign code being eval'd on user's machines without their say so.

   👍React with 👍1Reacted by Sudhir Kumar
4. paulyoung commented on Aug 1, 2017

   

   paulyoung

   on Aug 1, 2017

   More actions

   I figured that would be a big factor.
5. paf31 commented on Sep 1, 2017

   

   paf31

   on Sep 1, 2017

   ContributorAuthor

   More actions

   What we could do is to have compile.purescript.org serve the entire HTML page into the iframe. Then the same origin policy would solve things for us. We could even load more packages this way.
6. paf31

   changed the title [-]Add foreign module editor[/-] [+]Add foreign module and HTML editor[/+] on Sep 1, 2017