diff options
author | Csaba Hruska <csaba.hruska@gmail.com> | 2017-09-23 03:07:46 +0100 |
---|---|---|
committer | Csaba Hruska <csaba.hruska@gmail.com> | 2017-09-23 03:07:46 +0100 |
commit | 8e4907fcba393f9712f8b5b0d34b95a603485721 (patch) | |
tree | 7f94f5fa7e529c00f180d4292f714a2a2573a6f1 | |
parent | 2cf8d916e4305a7e77c8577ca85d23afee15700c (diff) |
cleanup
-rw-r--r-- | src/LambdaCube/Compiler/Core.hs | 12 | ||||
-rw-r--r-- | src/LambdaCube/Compiler/DesugaredSource.hs | 2 |
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 |
700 | data ConName = ConName FName Int Type | ||
701 | data TyConName = TyConName FName Int Type [(ConName, Type)] CaseFunName | ||
702 | data FunName = FunName FName Int FunDef Type | ||
703 | data CaseFunName = CaseFunName FName Type Int | ||
704 | data TyCaseFunName = TyCaseFunName FName Type | ||
705 | data FunDef | ||
706 | = DeltaDef !Int (FreeVars -> [Exp] -> Exp) | ||
707 | | NoDef | ||
708 | | ExpDef Exp | ||
709 | -} | ||
710 | 700 | ||
711 | trace :: String -> a -> a | 701 | trace :: String -> a -> a |
712 | trace _ = id | 702 | trace _ = 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 | |||
21 | import Data.Binary | 21 | import Data.Binary |
22 | import GHC.Generics (Generic) | 22 | import GHC.Generics (Generic) |
23 | 23 | ||
24 | --import Data.Text (Text) | ||
24 | import Data.Monoid | 25 | import Data.Monoid |
25 | import Data.Maybe | 26 | import Data.Maybe |
26 | import Data.List | 27 | import 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 | ||
39 | type SName = String | 41 | type SName = String |
40 | 42 | ||
41 | pattern Ticked :: SName -> SName | 43 | pattern Ticked :: SName -> SName |