Renamed transfer compiler and interpreter.

transfer/Makefile

@@ -7,8 +7,8 @@ GHCFLAGS=-i$(SRCDIR)
 .PHONY: all bnfc bnfctest doc docclean clean bnfcclean distclean
 
 all:
-	$(GHC) $(GHCFLAGS) --make -o run_core run_core.hs
-	$(GHC) $(GHCFLAGS) --make -o compile_to_core compile_to_core.hs
+	$(GHC) $(GHCFLAGS) --make -o trci trci.hs
+	$(GHC) $(GHCFLAGS) --make -o transferc transferc.hs
 
 bnfc: bnfcclean
 	cd $(SRCDIR) && bnfc -gadt -d -p Transfer Transfer/Core/Core.cf
@@ -38,8 +38,8 @@ docclean:
 clean:
 	-rm -f *.o *.hi
 	find $(SRCDIR)/Transfer -name '*.o' -o -name '*.hi' | xargs rm -f
-	-rm -f run_core	
-	-rm -f compile_to_core
+	-rm -f trci
+	-rm -f transferc
 	-rm -f test_core test_syntax test_layout
 
 bnfcclean: 
@@ -47,4 +47,3 @@ bnfcclean:
 	-rm -f $(SRCDIR)/Transfer/Syntax/{Doc,Lex,Par,Layout,Skel,Print,Test,Abs}.*
 
 distclean: clean bnfcclean
-

transfer/transferc.hs

@@ -22,4 +22,4 @@ main = do
                 cf <- compileFile path f
                 putStrLn $ "Wrote " ++ cf
                 return ()
-         _   -> die "Usage: compile_to_core [-i<path> [-i<path> ... ]] <file>"
+         _   -> die "Usage: transferc [-i<path> [-i<path> ... ]] <file>"

transfer/trci.hs

@@ -28,7 +28,7 @@ main = do args <- getArgs
           let (flags,files) = partition ("-" `isPrefixOf`) args
           env <- case files of
             [f] -> loadFile f
-            _   -> fail "Usage: run_core [-i] <file>"
+            _   -> fail "Usage: trci [-i] <file>"
           when ("-v" `elem` flags) $ do
                                      putStrLn "Top-level environment:"
                                      putStrLn (prEnv env)