From 21ec620c8822fff73204af9af4233022535b52ec Mon Sep 17 00:00:00 2001 From: evancz Date: Tue, 30 Oct 2012 00:47:27 -0700 Subject: [PATCH] Get rid of overriding JavaScript's String class. --- core-js/String.js | 2 -- core-js/cat.bat | 2 +- 2 files changed, 1 insertion(+), 3 deletions(-) diff --git a/core-js/String.js b/core-js/String.js index ba97740..0202723 100644 --- a/core-js/String.js +++ b/core-js/String.js @@ -79,5 +79,3 @@ var String = function() { }; }(); */ - -var String = {toText:Value.toText, properEscape:Value.properEscape}; diff --git a/core-js/cat.bat b/core-js/cat.bat index d65c108..88ca299 100644 --- a/core-js/cat.bat +++ b/core-js/cat.bat @@ -1,4 +1,4 @@ -copy /B Guid.js+foreign\JavaScript.js+foreign\JSON.js+Value.js+List.js+Maybe.js+Dict.js+Set.js+Char.js+String.js+Graphics\Color.js+Graphics\Collage.js+Graphics\Element.js+Text.js+Graphics\Render.js+runtime\Signal.js+runtime\Dispatcher.js+Signal\HTTP.js+Signal\Input.js+Signal\Keyboard.js+Signal\Mouse.js+Signal\Random.js+Signal\Time.js+Signal\Window.js+Prelude.js+Automaton.js ..\elm-mini.js +copy /B Guid.js+foreign\JavaScript.js+foreign\JSON.js+Value.js+List.js+Maybe.js+Dict.js+Set.js+Char.js+Graphics\Color.js+Graphics\Collage.js+Graphics\Element.js+Text.js+Graphics\Render.js+runtime\Signal.js+runtime\Dispatcher.js+Signal\HTTP.js+Signal\Input.js+Signal\Keyboard.js+Signal\Mouse.js+Signal\Random.js+Signal\Time.js+Signal\Window.js+Prelude.js+Automaton.js ..\elm-mini.js cd ..\elm