pyret-lang
pyret-lang copied to clipboard
Using a type-let as part of a bigger expression results in a type error during compilation
The following snippet results in a type error where nothing
is passed to an argument requiring a source location:
x = type-let A = Number:
32
end
The annotation, Srcloc, at file:///home/travis/build/brownplt/code.pyret.org/node_modules/pyret-lang/src/arr/compiler/compile-structs.arr:1109:47-1109:50
was not satisfied by the value
nothing
Interestingly, the following does work properly:
type-let A = Number:
32
end