Class: Jade::Frontend::SemanticAnalysis::Error::NonTaskPort

Inherits:
Error
  • Object
show all
Defined in:
lib/jade/frontend/semantic_analysis/error/non_task_port.rb

Instance Attribute Summary

Attributes inherited from Error

#entry, #span

Instance Method Summary collapse

Methods inherited from Error

#candidates, #notes, #queried_name, #to_diagnostic

Constructor Details

#initialize(entry, span, fn_name:) ⇒ NonTaskPort

Returns a new instance of NonTaskPort.



6
7
8
9
 
# File 'lib/jade/frontend/semantic_analysis/error/non_task_port.rb', line 6

def initialize(entry, span, fn_name:)
  super(entry:, span:)
  @fn_name = fn_name
end

Instance Method Details

#label ⇒ Object 



15
16
17
 
# File 'lib/jade/frontend/semantic_analysis/error/non_task_port.rb', line 15

def label
  "must return a Task"
end

#message ⇒ Object 



11
12
13
 
# File 'lib/jade/frontend/semantic_analysis/error/non_task_port.rb', line 11

def message
  "Port `#{@fn_name}` must return a Task type, e.g. `#{@fn_name}: Task(Ok, Err)`"
end