# Copyright 2007-2008 Kevin Reid, under the terms of the MIT X license # found at http://www.opensource.org/licenses/mit-license.html ................ pragma.syntax("0.9") def unsignedIntegerCoding :DeepFrozen := def u64 :DeepFrozen := unsignedIntegerCoding[64] def float64Coding implements DeepFrozen, ExitViaHere { # implements Binary to asType() { return float64 } to writingTo(out) { # , schedule # XXX consult stream's byte size return def writer(n :float64) { throw("Unimplemented") } } to takingFrom(ins, schedule) { # XXX consult stream's byte size return def taker() :float64 { throw("Unimplemented") } } }