Commit 6379c202 authored by Camil Staps's avatar Camil Staps 🍃

The distance measure is a Real now

parent 49a6c636
......@@ -64,7 +64,7 @@ from Text.GenJSON import generic JSONEncode, generic JSONDecode, :: JSONNode
, dcl_line :: Maybe Int //* The line in the definition module of this entry
, icl_line :: Maybe Int //* The line in the implementation module of this entry
, name :: String //* The name of the entry
, distance :: Int //* A distancy measure, lower is more relevant
, distance :: Real //* A distancy measure, lower is more relevant
, builtin :: Maybe Bool //* Whether this is a builtin function
, documentation :: Maybe String //* The CleanDoc description for this result
, langrep_documentation :: Maybe [CleanLangReportLocation] //* Documentation in the Clean language report
......
......@@ -6,6 +6,7 @@ import StdChar
from StdFunc import flip
import StdInt
import StdOverloaded
import StdReal
import StdString
import Data.Error
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment