Commit 0ced31dd authored by Finn Teegen's avatar Finn Teegen
Browse files

Refactor code

parent fa9120dd
......@@ -783,10 +783,8 @@ instance DictTrans Decl where
VariablePattern pty@(PredType ps _) v | not (Set.null ps) ->
dictTrans $ FunctionDecl p pty v [Equation p (FunLhs v []) rhs]
_ -> withLocalDictEnv $ PatternDecl p <$> dictTrans t <*> dictTrans rhs
dictTrans (FreeDecl p vs) =
return $ FreeDecl p $ map (fmap unpredType) vs
dictTrans (ExternalDecl p vs) =
return $ ExternalDecl p $ map (fmap unpredType) vs
dictTrans d@(FreeDecl _ _) = return $ fmap unpredType d
dictTrans d@(ExternalDecl _ _) = return $ fmap unpredType d
dictTrans d =
internalError $ "Dictionary.dictTrans: " ++ show d
......
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