← Back to branch summary

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

« back to all changes in this revision

Viewing changes to src/full/Agda/Interaction/EmacsTop.hs

  • Committer: Package Import Robot
  • Author(s): Iain Lane, d5cf60f
  • Date: 2015-05-20 13:08:33 UTC
  • mfrom: (1.1.7)
  • Revision ID: package-import@ubuntu.com-20150520130833-cdcmhagwsouna237
Tags: 2.4.2.2-2
[d5cf60f] Depend on ${shlibs:Depends}, to get libc (& maybe other) deps

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/full/Agda/Interaction/EmacsTop.hs
1
1
-- {-# LANGUAGE CPP #-}
2
2
{-# LANGUAGE FlexibleInstances #-}
3
 
{-# LANGUAGE ScopedTypeVariables #-}
4
3
 
5
4
module Agda.Interaction.EmacsTop
6
5
    ( mimicGHCi
7
6
    ) where
8
7
import Control.Applicative
9
 
import Control.Monad.Error
10
8
import Control.Monad.State
11
9
 
12
10
import Data.Char
28
26
import Agda.Interaction.EmacsCommand
29
27
import Agda.Interaction.Highlighting.Emacs
30
28
 
 
29
import Agda.Version
31
30
 
32
31
----------------------------------
33
32
 
95
94
                                 ]
96
95
                             ]
97
96
    Info_Intro s -> f (render s) "*Intro*"
 
97
    Info_Version -> f ("Agda version " ++ version) "*Agda Version*"
98
98
  where f content bufname = [ display_info' False bufname content ]
99
99
lispifyResponse Resp_ClearHighlighting = return [ L [ A "agda2-highlight-clear" ] ]
100
100
lispifyResponse Resp_ClearRunningInfo = return [ clearRunningInfo ]