mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-24 10:22:50 -06:00
add Show instance and remove the Eq and Ord instances for PGF.Expr.Equation and PGF.Expr.Patt
This commit is contained in:
@@ -68,7 +68,7 @@ data Patt =
|
|||||||
| PVar CId -- ^ variable
|
| PVar CId -- ^ variable
|
||||||
| PWild -- ^ wildcard
|
| PWild -- ^ wildcard
|
||||||
| PImplArg Patt -- ^ implicit argument in pattern
|
| PImplArg Patt -- ^ implicit argument in pattern
|
||||||
deriving (Eq,Ord)
|
deriving Show
|
||||||
|
|
||||||
-- | The equation is used to define lambda function as a sequence
|
-- | The equation is used to define lambda function as a sequence
|
||||||
-- of equations with pattern matching. The list of 'Expr' represents
|
-- of equations with pattern matching. The list of 'Expr' represents
|
||||||
@@ -76,7 +76,7 @@ data Patt =
|
|||||||
-- equation.
|
-- equation.
|
||||||
data Equation =
|
data Equation =
|
||||||
Equ [Patt] Expr
|
Equ [Patt] Expr
|
||||||
deriving (Eq,Ord)
|
deriving Show
|
||||||
|
|
||||||
-- | parses 'String' as an expression
|
-- | parses 'String' as an expression
|
||||||
readExpr :: String -> Maybe Expr
|
readExpr :: String -> Maybe Expr
|
||||||
|
|||||||
Reference in New Issue
Block a user