Verified Commit f39dc1de authored by Camil Staps's avatar Camil Staps 🚀

Resolve #120: also add meta-class instances

parent 55456db4
Subproject commit 430646bcaa4342ecca582805700490fc839587bb
Subproject commit 1643295f13b0e2da735975ecfb6abe4ed1579e69
......@@ -92,6 +92,7 @@ Start w
#! db = putTypes predefTypes db
#! db = putFunctions (flatten $ map constructor_functions predefTypes) db
#! db = putFunctions (flatten $ map record_functions predefTypes) db
#! db = syncDb 2 db
#! (ok1,w) = fclose (printStats db stderr) w
#! f = saveDb db f
#! (ok2,w) = fclose f w
......@@ -152,7 +153,7 @@ predefFunctions
, {zero & fe_type=Just $ Func [Type "Bool" [], Var "a", Var "a"] (Var "a") []}
)
, ( Builtin "dynamic"
, {zero & fe_type=Just $ Func [Var "a"] (Type "Dynamic" []) []}
, {zero & fe_type=Just $ Func [Var "a"] (Type "Dynamic" []) [(Class "TC", Var "a")]}
)
]
......
......@@ -229,7 +229,10 @@ function getResults(str, libs, include_builtins, include_core, page) {
locs += makeInstanceUrl(loc);
}
instances += '<td>&nbsp;in ' + locs + '</td></tr>';
if (list[i][locsidx].length == 0)
instances += '<td></td></tr>'
else
instances += '<td>&nbsp;in ' + locs + '</td></tr>';
}
instances += '</table>';
......
Markdown is supported
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