summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorCsaba Hruska <csaba.hruska@gmail.com>2017-09-23 03:07:46 +0100
committerCsaba Hruska <csaba.hruska@gmail.com>2017-09-23 03:07:46 +0100
commit8e4907fcba393f9712f8b5b0d34b95a603485721 (patch)
tree7f94f5fa7e529c00f180d4292f714a2a2573a6f1 /src
parent2cf8d916e4305a7e77c8577ca85d23afee15700c (diff)
cleanup
Diffstat (limited to 'src')
-rw-r--r--src/LambdaCube/Compiler/Core.hs12
-rw-r--r--src/LambdaCube/Compiler/DesugaredSource.hs2
2 files changed, 3 insertions, 11 deletions
diff --git a/src/LambdaCube/Compiler/Core.hs b/src/LambdaCube/Compiler/Core.hs
index 02dd6c50..a03dce77 100644
--- a/src/LambdaCube/Compiler/Core.hs
+++ b/src/LambdaCube/Compiler/Core.hs
@@ -696,17 +696,7 @@ instance NType Lit where
696 LString _ -> TString 696 LString _ -> TString
697 LChar _ -> TChar 697 LChar _ -> TChar
698 698
699{- 699-------------------------------------------------------- exp serialization
700data ConName = ConName FName Int Type
701data TyConName = TyConName FName Int Type [(ConName, Type)] CaseFunName
702data FunName = FunName FName Int FunDef Type
703data CaseFunName = CaseFunName FName Type Int
704data TyCaseFunName = TyCaseFunName FName Type
705data FunDef
706 = DeltaDef !Int (FreeVars -> [Exp] -> Exp)
707 | NoDef
708 | ExpDef Exp
709-}
710 700
711trace :: String -> a -> a 701trace :: String -> a -> a
712trace _ = id 702trace _ = id
diff --git a/src/LambdaCube/Compiler/DesugaredSource.hs b/src/LambdaCube/Compiler/DesugaredSource.hs
index 8d9a38be..4a556c32 100644
--- a/src/LambdaCube/Compiler/DesugaredSource.hs
+++ b/src/LambdaCube/Compiler/DesugaredSource.hs
@@ -21,6 +21,7 @@ import qualified Data.ByteString.Char8 as BS
21import Data.Binary 21import Data.Binary
22import GHC.Generics (Generic) 22import GHC.Generics (Generic)
23 23
24--import Data.Text (Text)
24import Data.Monoid 25import Data.Monoid
25import Data.Maybe 26import Data.Maybe
26import Data.List 27import Data.List
@@ -36,6 +37,7 @@ import LambdaCube.Compiler.Pretty --hiding (braces, parens)
36 37
37-------------------------------------------------------------------------------- simple name 38-------------------------------------------------------------------------------- simple name
38 39
40-- TODO: move to Text
39type SName = String 41type SName = String
40 42
41pattern Ticked :: SName -> SName 43pattern Ticked :: SName -> SName