gistfile1.txt

        -- check if is in record with no errors, use the types then
        | isInRecord completionLeadup && (null completionsFromErrors) =  do
            t <- trace "IN RECORD" (return "")
            expr <- loadFile uri
            (welltyped, _) <- case typecheck expr of
              Left _ -> throwE (Log, "Could not typecheck expression to complete, while there should be no errors.")
              Right wt -> return wt
            case typeAt (line,col) welltyped of
              Right (_, typeExpr) -> return $ completeFromRecordType typeExpr
              _ -> return []