Commit fac13d76 authored by Martin Wierich's avatar Martin Wierich
Browse files

minor changes

parent 0dd5ac28
......@@ -23,7 +23,6 @@ where
kind_list_to_string [] = " ?????? "
kind_list_to_string [k] = "* -> *"
kind_list_to_string [k:ks] = "* -> " +++ kind_list_to_string ks
toString ki = "PPPP" //abort ("instance toString KindInfo matcht niet"->>ki)
kindError kind1 kind2 error
......
implementation module convertDynamics
import syntax, transform, utilities, convertcases
// XXX
import RWSDebug
:: *ConversionInfo =
{ ci_predef_symb :: !*PredefinedSymbols
......
......@@ -380,8 +380,6 @@ instance bindInstances Type
= type_var_heap
bindInstances (CV l1 :@: r1) (CV l2 :@: r2) type_var_heap
= bindInstances r1 r2 (bindInstances (TV l1) (TV l2) type_var_heap)
bindInstances a b tvh
= abort ("abort"--->(a,b))
instance bindInstances [a] | bindInstances a
where
......
Supports Markdown
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