Commit 9bdb80c4 authored by Björn Peemöller 's avatar Björn Peemöller
Browse files

Refactoring

parent 77ee0644
......@@ -20,7 +20,7 @@ isTypeDecl (TypeDecl _ _ _ _) = True
isTypeDecl _ = False
isTypeSig :: Decl -> Bool
isTypeSig (TypeSig _ _ _) = True
isTypeSig (TypeSig _ _ _ ) = True
isTypeSig (ExternalDecl _ _ _ _ _) = True
isTypeSig _ = False
......@@ -29,11 +29,11 @@ isEvalAnnot (EvalAnnot _ _ _) = True
isEvalAnnot _ = False
isValueDecl :: Decl -> Bool
isValueDecl (FunctionDecl _ _ _) = True
isValueDecl (FunctionDecl _ _ _ ) = True
isValueDecl (ExternalDecl _ _ _ _ _) = True
isValueDecl (FlatExternalDecl _ _) = True
isValueDecl (PatternDecl _ _ _) = True
isValueDecl (ExtraVariables _ _) = True
isValueDecl (FlatExternalDecl _ _ ) = True
isValueDecl (PatternDecl _ _ _ ) = True
isValueDecl (ExtraVariables _ _ ) = True
isValueDecl _ = False
isRecordDecl :: Decl -> Bool
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment