← Back to branch summary

~ubuntu-branches/ubuntu/wily/agda/wily-proposed

« back to all changes in this revision

Viewing changes to src/prototyping/trace/Main.hs

  • Committer: Package Import Robot
  • Author(s): Iain Lane
  • Date: 2014-08-05 06:38:12 UTC
  • mfrom: (1.1.6)
  • Revision ID: package-import@ubuntu.com-20140805063812-io8e77niomivhd49
Tags: 2.4.0.2-1
* [6e140ac] Imported Upstream version 2.4.0.2
* [2049fc8] Update Build-Depends to match control
* [93dc4d4] Install the new primitives
* [e48f40f] Fix typo dev→doc

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/prototyping/trace/Main.hs
1
 
 
2
 
module Main where
3
 
 
4
 
import Lambda.Par
5
 
import Lambda.Print
6
 
import Lambda.ErrM
7
 
 
8
 
import TypeChecker
9
 
 
10
 
main = do
11
 
    s <- getContents
12
 
    mapM_ action $ lines s
13
 
 
14
 
action s =
15
 
    case pExp $ myLexer s of
16
 
        Ok e    -> do
17
 
            putStrLn ""
18
 
            putStrLn $ printTree e
19
 
            case runTC $ infer e of
20
 
                Left e  -> do
21
 
                    putStrLn $ "ERROR " ++ displayError e
22
 
                Right t ->
23
 
                    putStrLn $ "OK " ++ printTree t
24
 
        Bad err -> putStrLn err