Skip to content

Instantly share code, notes, and snippets.

@sparverius

sparverius/list_vt_macro_expected_type_error.dats

Created November 25, 2018 08:27
Show Gist options
  • Save sparverius/2264893f13ec5974b11f829f04aa7a8c to your computer and use it in GitHub Desktop.
Save sparverius/2264893f13ec5974b11f829f04aa7a8c to your computer and use it in GitHub Desktop.
Download ZIP
Raw
list_vt_macro_expected_type_error.dats
// results in type error as expected
#include "share/atspre_staload.hats"
implement main0() = {
val x = $list_vt{int}(1)
}
Raw
list_vt_macro_no_typerror.dats
// does not result in type error
#include "share/atspre_staload.hats"
val x = $list_vt{int}(1)
implement main0() = ()
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment