From ef7f5d41d2023d459f2a47f16424078fbbfca1bf Mon Sep 17 00:00:00 2001
From: Tim Holy <tim.holy@gmail.com>
Date: Sat, 3 Jan 2015 06:33:35 -0600
Subject: [PATCH] Revert "Add documentation and test for Val{T}"

---
 NEWS.md              |  6 ++----
 doc/manual/types.rst | 31 +------------------------------
 doc/stdlib/base.rst  |  4 ----
 test/core.jl         | 10 ----------
 4 files changed, 3 insertions(+), 48 deletions(-)

diff --git a/NEWS.md b/NEWS.md
index 81f33a5089c5a..9603660785caf 100644
--- a/NEWS.md
+++ b/NEWS.md
@@ -143,7 +143,6 @@ Library improvements
 
   * The `randexp` and `randexp!` functions are exported ([#9144])
 
-  * A new `Val{T}` type allows one to dispatch on bits-type values ([#9452])
 
 Deprecated or removed
 ---------------------
@@ -160,12 +159,12 @@ Deprecated or removed
   `trunc{T<:Integer}(T,x)`, `floor{T<:Integer}(T,x)`, etc.. `trunc` is now
   always bound-checked;`Base.unsafe_trunc` provides the old unchecked `itrunc`
   behaviour ([#9133]).
-
+ 
   * `squeeze` now requires that passed dimension(s) are an `Int` or tuple of `Int`s;
     calling `squeeze` with an arbitrary iterator is deprecated ([#9271]).
     Additionally, passed dimensions must be unique and correspond to extant
     dimensions of the input array.
-
+  
 
 Julia v0.3.0 Release Notes
 ==========================
@@ -1141,4 +1140,3 @@ Too numerous to mention.
 [#9261]: https://github.com/JuliaLang/julia/issues/9261
 [#9271]: https://github.com/JuliaLang/julia/issues/9271
 [#9294]: https://github.com/JuliaLang/julia/issues/9294
-[#9542]: https://github.com/JuliaLang/julia/issues/9542
diff --git a/doc/manual/types.rst b/doc/manual/types.rst
index 6fd22fd129319..92d459ab8b57a 100644
--- a/doc/manual/types.rst
+++ b/doc/manual/types.rst
@@ -692,7 +692,7 @@ surrounded by curly braces::
 This declaration defines a new parametric type, ``Point{T}``, holding
 two "coordinates" of type ``T``. What, one may ask, is ``T``? Well,
 that's precisely the point of parametric types: it can be any type at
-all (or any bits type, actually, although here it's clearly used as a
+all (or an integer, actually, although here it's clearly used as a
 type). ``Point{Float64}`` is a concrete type equivalent to the type
 defined by replacing ``T`` in the definition of ``Point`` with
 :class:`Float64`. Thus, this single declaration actually declares an
@@ -1243,35 +1243,6 @@ If you apply :func:`super` to other type objects (or non-type objects), a
     julia> super((Float64,Int64))
     ERROR: `super` has no method matching super(::Type{(Float64,Int64)})
 
-"Value types"
--------------
-
-As one application of these ideas, Julia includes a parametric type,
-``Val{T}``, designated for dispatching on bits-type *values*.  For
-example, if you pass a boolean to a function, you have to test the
-value at run-time:
-
-.. doctest::
-
-    function firstlast(b::Bool)
-        return b ? "First" : "Last"
-    end
-
-    println(firstlast(true))
-
-You can instead cause the conditional to be evaluated during function
-compilation by using the ``Val`` trick:
-
-.. doctest::
-
-    firstlast(::Val{true}) = "First"
-    firstlast(::Val{false}) = "Last"
-
-    println(firstlast(Val{true}()))
-
-Any legal type parameter (Types, Symbols, Integers, floating-point numbers,
-tuples, etc.) can be passed via ``Val``.
-
 Nullable Types: Representing Missing Values
 -------------------------------------------
 
diff --git a/doc/stdlib/base.rst b/doc/stdlib/base.rst
index 9c38da6157b45..1e3b94dab8dfa 100644
--- a/doc/stdlib/base.rst
+++ b/doc/stdlib/base.rst
@@ -438,10 +438,6 @@ Types
 
    Compute a type that contains the intersection of ``T`` and ``S``. Usually this will be the smallest such type or one close to it.
 
-.. function:: Val{c}()
-
-   Create a "value type" instance out of ``c``, which must be an ``isbits`` value. The intent of this construct is to be able to dispatch on constants, e.g., ``f(Val{false}())`` allows you to dispatch directly to an implementation ``f(::Val{false})``, without having to test the boolean value at runtime.
-
 Generic Functions
 -----------------
 
diff --git a/test/core.jl b/test/core.jl
index 80d0801e403dc..051538412a9b9 100644
--- a/test/core.jl
+++ b/test/core.jl
@@ -502,16 +502,6 @@ begin
     @test is(g(a),a)
 end
 
-# dispatch using Val{T}
-begin
-    local firstlast
-    firstlast(::Val{true}) = "First"
-    firstlast(::Val{false}) = "Last"
-
-    @test firstlast(Val{true}()) == "First"
-    @test firstlast(Val{false}()) == "Last"
-end
-
 # try/finally
 begin
     after = 0