diff options
| author | krasimir <krasimir@chalmers.se> | 2008-05-30 09:10:28 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2008-05-30 09:10:28 +0000 |
| commit | 1172539a9544ed999c565053b79cf6a30ec14de4 (patch) | |
| tree | e6b5e023fcede14ae7750e68c63154ac18b68940 /src-3.0/PGF/Data.hs | |
| parent | 1077fa1f30c0714933d02cf4b9c20cbe30fd9876 (diff) | |
change the PGF.Data.Exp type
Diffstat (limited to 'src-3.0/PGF/Data.hs')
| -rw-r--r-- | src-3.0/PGF/Data.hs | 17 |
1 files changed, 7 insertions, 10 deletions
diff --git a/src-3.0/PGF/Data.hs b/src-3.0/PGF/Data.hs index 34c58e5d6..2750cbdfa 100644 --- a/src-3.0/PGF/Data.hs +++ b/src-3.0/PGF/Data.hs @@ -41,19 +41,16 @@ data Type = deriving (Eq,Ord,Show) data Exp = - DTr [CId] Atom [Exp] + EAbs [CId] Exp + | EApp CId [Exp] + | EStr String + | EInt Integer + | EFloat Double + | EMeta Integer + | EVar CId | EEq [Equation] deriving (Eq,Ord,Show) -data Atom = - AC CId - | AS String - | AI Integer - | AF Double - | AM Integer - | AV CId - deriving (Eq,Ord,Show) - data Term = R [Term] | P Term Term |