Skip to content

add static type checking for function call #1

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
ishwar00 wants to merge 15 commits into
base: master
Choose a base branch
from
Open

add static type checking for function call #1

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
15 commits
Select commit Hold shift + click to select a range
466e593
add static type checking for function call
ishwar00 Oct 17, 2022
b647dcc
bug fix
ishwar00 Oct 18, 2022
8a92941
add type checking for array type
ishwar00 Oct 18, 2022
6a78a13
move col_no to the required nodes
Samyak2 Oct 23, 2022
3fa0f4d
refactor: store lineno in PrimaryExpr and QualifiedIdent
Samyak2 Oct 23, 2022
852e1fa
print parameter declaration along with func call type error
Samyak2 Oct 23, 2022
7e6fd1e
fix wrong pointing of parameters
ishwar00 Oct 24, 2022
1548cbf
remove type_table, add FunctionType
ishwar00 Nov 8, 2022
eb4abbb
refactor: encapsulate type inference code
ishwar00 Nov 10, 2022
71220c0
move infer_expr_typename below Type definition
ishwar00 Nov 10, 2022
592ad00
add type declarations
ishwar00 Nov 11, 2022
220e786
handle error for invalid and undefined types
ishwar00 Nov 12, 2022
34eb8c3
add assignment type checking
ishwar00 Nov 13, 2022
287ace4
remove uncaught exception
ishwar00 Nov 13, 2022
ca4c601
fix typos
ishwar00 Nov 25, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
77 changes: 13 additions & 64 deletions go_lexer.py
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,12 +1,10 @@
import sys

import colorama
from colorama import Fore, Style
import utils

from ply import lex

from symbol_table import SymbolTable, TypeTable
import utils
from colorama import Fore, Style
from symbol_table import SymbolTable
from utils import print_line, print_marker, print_lexer_error

colorama.init()
Expand All @@ -19,9 +17,9 @@


# Find column number of token
def find_column(token):
line_start = input_code.rfind("\n", 0, token.lexpos) + 1
return (token.lexpos - line_start) + 1
def find_column(lexpos: int):
line_start = input_code.rfind("\n", 0, lexpos) + 1
return (lexpos - line_start) + 1


# Lexing states
Expand Down Expand Up @@ -104,34 +102,10 @@ def find_column(token):

# List of types
# types -> (symbol, storage in bytes)
types = {
#For INT
"int": ("INT", 8),
"int8": ("INT8", 1),
"int16": ("INT16", 2),
"int32": ("INT32", 4),
"int64": ("INT64", 8),
#For Float
"float32": ("FLOAT32", 4),
"float64": ("FLOAT64", 8),
#For UINT
"uint": ("UINT", 8),
"uint8": ("UINT8", 1),
"uint16": ("UINT16", 2),
"uint32": ("UINT32", 4),
"uint64": ("UINT64", 8),
#For Complex
"complex64": ("COMPLEX64", 8),
"complex128": ("COMPLEX128", 16),
#For Misc
"string": ("STRING", None),
"byte": ("BYTE", 1),
"bool": ("BOOL", 1),
"rune": ("RUNE", 4)
}
# types = {}

# updating list of tokens with keywords and types
tokens = tokens + tuple(keywords.values()) + tuple(i[0] for i in types.values())
tokens = tokens + tuple(keywords.values())
unused_tokens = {
"AMPERSAND",
"AMP_CARET_EQ",
Expand Down Expand Up @@ -214,28 +188,6 @@ def t_ANY_ignore_MULTI_COMMENT(t):
t_LT_EQ = r"<="
t_GT = r">"
t_GT_EQ = r">="
# INT type
t_INT = r"int"
t_INT8 = r"int8"
t_INT16 = r"int16"
t_INT32 = r"int32"
t_INT64 = r"int64"
#FLOAT Type
t_FLOAT32 = r"float32"
t_FLOAT64 = r"float64"
#UNIT Type
t_UINT = r"uint"
t_UINT8 = r"uint8"
t_UINT16 = r"uint16"
t_UINT32 = r"uint32"
t_UINT64 = r"uint64"
#Complex Type
t_COMPLEX64 = r"complex64"
t_COMPLEX128 = r"complex128"
#MISC Type
t_BOOL = r"bool"
t_RUNE = r"rune"
t_BYTE = r"byte"
t_ELLIPSIS = r"\.\.\."

# tokens with actions
Expand All @@ -247,7 +199,7 @@ def t_ANY_UNCLOSED_MULTI_COMMENT(t):
r"/\*(.|\n)*"

print_lexer_error("Unclosed Multiline comment")
col = find_column(t)
col = find_column(t.lexpos)
print(f"at line {t.lineno}, column {col}")
print(
f"{Fore.GREEN}{t.lineno:>10}:\t{Style.RESET_ALL}",
Expand Down Expand Up @@ -347,7 +299,7 @@ def t_STRING_LIT(t):
if "\n" in t.value:
print_lexer_error("string cannot contain line breaks")
lineno = t.lexer.lineno
pos = find_column(t)
pos = find_column(t.lexpos)
splits = list(t.value.split("\n"))
for i, line_ in enumerate(splits):
print_line(lineno)
Expand Down Expand Up @@ -409,11 +361,9 @@ def t_IDENTIFIER(t):

if t.value in keywords:
t.type = keywords[t.value]
elif t.value in types:
t.type = types[t.value][0]
else:
t.type = "IDENTIFIER"
t.value = ("identifier", t.value, find_column(t))
t.value = ("identifier", t.value, find_column(t.lexpos))

t.lexer.begin('InsertSemi')
return t
Expand All @@ -422,7 +372,7 @@ def t_IDENTIFIER(t):
# Error handling rule for ANY state
def t_ANY_error(t):
print_lexer_error(f"Illegal character {t.value[0]}")
col = find_column(t)
col = find_column(t.lexpos)
print(f"at line {t.lineno}, column {col}")
print(
f"{Fore.GREEN}{t.lineno:>10}:\t{Style.RESET_ALL}",
Expand All @@ -443,8 +393,7 @@ def t_ANY_error(t):
lines = input_code.split("\n")
utils.lines = lines

type_table = TypeTable()
symtab = SymbolTable(type_table)
symtab = SymbolTable()

if __name__ == "__main__":
# Tokenize
Expand Down
Loading