blob: 75b2817b831ec5e1547df06a9f8640cff08b4865 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
/* __ *\
** ________ ___ / / ___ Scala API **
** / __/ __// _ | / / / _ | (c) 2002-2006, LAMP/EPFL **
** __\ \/ /__/ __ |/ /__/ __ | **
** /____/\___/_/ |_/____/_/ | | **
** |/ **
\* */
// $Id$
namespace scala.runtime {
using System;
[Serializable]
public class CharRef {
public char elem;
public CharRef(char elem) { this.elem = elem; }
override public string ToString() { return elem.ToString(); }
}
}
|