Commit 133b040b authored by Björn Peemöller 's avatar Björn Peemöller
Browse files

Cosmetics

parent 74844cea
Modulübersicht curry-frontend
=============================
Module overview of package `curry-frontend`
===========================================
* `Base`: Grundlegende Typen und Funktionen
* `.CurryTypes` : Konvertierung der Typrepräsentation aus
`Curry.Syntax.Type` in die aus `Base.Types`
* `.Expr` : Typklassem zur Berechnung von freien und gebundenen
Variablen
* `.Messages` : Darstellung von Fehlermeldungen
* `.NestEnv` : Geschachtelte Umgebungen
* `.OldScopeEnv`:
* `.SCC` : Berechnung streng zusammenhängender Komponenten
* `.ScopeEnv` :
* `.Subst` : Implementierung von Substitutionen
* `.TopEnv` : Top-Level Umgebung
* `.Types` : interne Repräsentation von Typen
* `.TypeSubst` : Typsubstitutionen
* `.Typing` : Typberechnung
* `.Utils` : Hilfsfunktionen
* `Base`: Basic types and functions
* `.CurryTypes` : Conversion of the type representation of
`Curry.Syntax.Type` into the representation of
`Base.Types`
* `.Expr` : Type class for computation of free and bound variables
* `.Messages` : Error messages
* `.NestEnv` : Nested environment
* `.OldScopeEnv`: TODO: old stuff
* `.SCC` : Computation of strongly connected components
* `.ScopeEnv` : TODO: old stuff
* `.Subst` : general substitution implementation
* `.TopEnv` : Top level environment
* `.Types` : internal representation of types
* `.TypeSubst` : type substitution
* `.Typing` : Type computation
* `.Utils` : auxiliary functions
* `Checks`: Überprüfungen eines Curry-Moduls
* `.ExportCheck`: Überprüfung der Exports (unbekannte Symbole etc.)
* `.KindCheck` : Überprüfung der Typkonstruktoren, Unterscheidung von
......
......@@ -8,8 +8,8 @@ import Curry.Base.Ident
-- The IdEnv is an environment which stores the level in which an identifier
-- was defined, starting with 0 for the top-level.
type IdEnv = Map.Map IdRep Integer
data IdRep = Name String | Index Integer deriving (Eq, Ord)
type IdEnv = Map.Map IdRep Integer
insertId :: Integer -> Ident -> IdEnv -> IdEnv
insertId level ident = Map.insert (Name (idName ident)) level
......@@ -77,6 +77,8 @@ genIdent name (topleveltab, leveltabs, _) = case leveltabs of
[] -> genId name topleveltab
(lt:_) -> genId name lt
-- OLD STUFF
-- -- Return the declaration level of an identifier if it exists
-- getIdentLevel :: Ident -> ScopeEnv -> Maybe Integer
-- getIdentLevel ident (topleveltab, leveltabs, _) = case leveltabs of
......
......@@ -28,9 +28,9 @@ import Base.CurryTypes (fromQualType)
import Base.Messages
import Base.Types
import Env.OpPrec (PEnv, PrecInfo (..), OpPrec (..), qualLookupP)
import Env.OpPrec (PEnv, PrecInfo (..), OpPrec (..), qualLookupP)
import Env.TypeConstructor (TCEnv, TypeInfo (..), qualLookupTC)
import Env.Value (ValueEnv, ValueInfo (..), qualLookupValue)
import Env.Value (ValueEnv, ValueInfo (..), qualLookupValue)
import CompilerEnv
......
......@@ -84,8 +84,7 @@ isTypeSyn _ = False
genTypeSynDecl :: ModuleIdent -> TCEnv -> Decl -> [IDecl]
genTypeSynDecl mid tcEnv (TypeDecl p i vs ty)
= [ITypeDecl p (qualifyWith mid i) vs (modifyTypeExpr tcEnv ty)]
genTypeSynDecl _ _ _
= []
genTypeSynDecl _ _ _ = []
--
modifyTypeExpr :: TCEnv -> TypeExpr -> TypeExpr
......
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