Skip to content
GitLab
Explore
Sign in
clean-compiler-and-rts
compiler
Repository
compiler
frontend
checktypes.icl
Find file
Blame
History
Permalink
only allow universal quantifiers at the root of a function argument type,
· e8ffc580
John van Groningen
authored
May 03, 2011
constructor argument type or field type
e8ffc580