summaryrefslogtreecommitdiff
path: root/docs/examples/parsing/lambda/Main.scala
diff options
context:
space:
mode:
authorAdriaan Moors <adriaan.moors@typesafe.com>2013-12-10 11:14:46 -0800
committerAdriaan Moors <adriaan.moors@typesafe.com>2013-12-10 11:14:46 -0800
commitf40541788957c257ee8b4035e0063a8a48945c11 (patch)
treedf574bd0aefe1e809fb890e42cdf2bf189659cfa /docs/examples/parsing/lambda/Main.scala
parent0c927046dc5df974e6c39187107cf3548825282b (diff)
parent27a38602decb891399fc9868b4dd7135f6e1ec2c (diff)
downloadscala-f40541788957c257ee8b4035e0063a8a48945c11.tar.gz
scala-f40541788957c257ee8b4035e0063a8a48945c11.tar.bz2
scala-f40541788957c257ee8b4035e0063a8a48945c11.zip
Merge pull request #3248 from adriaanm/dist-cleanup-licenses
Clean up Scala distribution a bit.
Diffstat (limited to 'docs/examples/parsing/lambda/Main.scala')
-rw-r--r--docs/examples/parsing/lambda/Main.scala34
1 files changed, 0 insertions, 34 deletions
diff --git a/docs/examples/parsing/lambda/Main.scala b/docs/examples/parsing/lambda/Main.scala
deleted file mode 100644
index 165e82b670..0000000000
--- a/docs/examples/parsing/lambda/Main.scala
+++ /dev/null
@@ -1,34 +0,0 @@
-package examples.parsing.lambda
-
-import scala.util.parsing.combinator.Parsers
-import scala.util.parsing.input.StreamReader
-
-import java.io.File
-import java.io.FileInputStream
-import java.io.InputStreamReader
-
-/**
- * Parser for an untyped lambda calculus
- *
- * Usage: scala examples.parsing.lambda.Main <file>
- *
- * (example files: see test/ *.kwi)
- *
- * @author Miles Sabin (adapted slightly by Adriaan Moors)
- */
-object Main extends Application with TestParser
-{
- override def main(args: Array[String]) =
- {
- val in = StreamReader(new InputStreamReader(new FileInputStream(new File(args(0))), "ISO-8859-1"))
- parse(in) match
- {
- case Success(term, _) =>
- {
- Console.println("Term: \n"+term)
- }
- case Failure(msg, remainder) => Console.println("Failure: "+msg+"\n"+"Remainder: \n"+remainder.pos.longString)
- case Error(msg, remainder) => Console.println("Error: "+msg+"\n"+"Remainder: \n"+remainder.pos.longString)
- }
- }
-}