pyret-lang icon indicating copy to clipboard operation
pyret-lang copied to clipboard

Using a type-let as part of a bigger expression results in a type error during compilation

Open molenzwiebel opened this issue 3 years ago • 0 comments

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

molenzwiebel avatar Jun 02 '21 13:06 molenzwiebel