wip

ollef · Jan 7, 2024 · 54f7d3c · 54f7d3c
1 parent 40590a4
commit 54f7d3c
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 5 deletions.
diff --git a/src/ClosureConverted/Context.hs b/src/ClosureConverted/Context.hs
@@ -19,7 +19,6 @@ import Var (Var)
 
 data Context (v :: Data.Kind.Type) = Context
   { indices :: Index.Map v Var
-  , values :: EnumMap Var Domain.Value
   , types :: EnumMap Var Domain.Type
   , glueableBefore :: !(Index (Succ v))
   }
@@ -28,7 +27,6 @@ empty :: Context Void
 empty =
   Context
     { indices = Index.Map.Empty
-    , values = mempty
     , types = mempty
     , glueableBefore = Index.Zero
     }
@@ -49,7 +47,7 @@ toEnvironment
 toEnvironment context =
   Environment
     { indices = indices context
-    , values = values context
+    , values = mempty
     , glueableBefore = glueableBefore context
     }
 

diff --git a/src/Elaboration.hs b/src/Elaboration.hs
@@ -81,7 +81,7 @@ inferTopLevelDefinition definitionKind defName def = do
   (def', type_) <- inferDefinition context def
   postponed <- readIORef context.postponed
   metaVars <- readIORef context.metas
-  errors <- readIORef $ context.errors
+  errors <- readIORef context.errors
   let zonkedDef = ZonkPostponedChecks.zonkDefinition postponed def'
   eagerMetaVars <- Meta.toEagerState metaVars zonkedDef $ Just type_
   pure ((zonkedDef, type_, eagerMetaVars), toList errors)

diff --git a/src/Elaboration/Context.hs b/src/Elaboration/Context.hs
@@ -95,7 +95,7 @@ toEnvironment
 toEnvironment context =
   Environment
     { indices = context.indices
-    , values = context.values
+    , values = mempty
     , glueableBefore = Index.Zero
     }