tests/typing/errors/shadow · dolmen · Tangled

forked from gbury/dolmen

dolmen tests typing errors shadow

16 files

Guillaume Bury · Prevent overlapping of parameters in def-fun in SMT-LIB (#247) · 1y ago

builtin-sort.expected

Better handling of corner cases in models + adjusted err/warn messages

builtin-sort.smt2

Add higher-order type-checking to Dolmen (#66)

builtin-term-const.expected

Better handling of corner cases in models + adjusted err/warn messages

builtin-term-const.smt2

Add higher-order type-checking to Dolmen (#66)

builtin-term-var.expected

Better handling of corner cases in models + adjusted err/warn messages

builtin-term-var.smt2

Add higher-order type-checking to Dolmen (#66)

def_fun_param.expected

Prevent overlapping of parameters in def-fun in SMT-LIB (#247)

def_fun_param.smt2

Prevent overlapping of parameters in def-fun in SMT-LIB (#247)

def_fun_param2.expected

Prevent overlapping of parameters in def-fun in SMT-LIB (#247)

def_fun_param2.smt2

Prevent overlapping of parameters in def-fun in SMT-LIB (#247)

def_fun_rec_param.expected

Prevent overlapping of parameters in def-fun in SMT-LIB (#247)

def_fun_rec_param.smt2

Prevent overlapping of parameters in def-fun in SMT-LIB (#247)

Prevent overlapping of parameters in def-fun in SMT-LIB (#247)

Add higher-order type-checking to Dolmen (#66)

redefinition.expected

redefinition.smt2

Add higher-order type-checking to Dolmen (#66)