Erik Arvidsson fd997f7bfa Add IsValueSubtypeOf and IsCommit (#3375) ...

This adds IsValueSubtypeOf which skips computing the type of the value.

Use IsValueSubtypeOf to implement IsCommit which checks if a value is a
commit.

Replace usages of IsSubtype(t, TypeOf(v)) with IsValueSubtypeOf(v, t).

Fixes #3326
Fixes #3348

2017-04-13 10:49:17 -07:00

..

noms

Add IsValueSubtypeOf and IsCommit (#3375)

2017-04-13 10:49:17 -07:00

util

Revert "Introduce noms version 8. Use it to guard type simplification." (#3043)

2017-01-09 16:30:25 -08:00