Merge branch 'effectfully/builtins/remove-static-built-in-functions' of

https://github.com/effectfully/plutus-prototype into effectfully/builtins/remove-static-built-in-functions
IntersectMBO · Oct 28, 2020 · 98ac60c · 98ac60c
2 parents b159058 + b87eee9
commit 98ac60c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/plutus-core/src/Language/PlutusCore/Constant/Meaning.hs b/plutus-core/src/Language/PlutusCore/Constant/Meaning.hs
@@ -134,7 +134,7 @@ We use two type classes for automatic derivation of type schemes: 'KnownMonotype
 
 'KnownMonotype' and 'KnownPolytype' are responsible for deriving monomorphic and polymorphic types,
 respectively. 'KnownMonotype' turns every argument that the Haskell denotation of a builtin
-receives into a 'TypeSchemeArror'. We extract the arguments from the type of the Haskell denotation
+receives into a 'TypeSchemeArrow'. We extract the arguments from the type of the Haskell denotation
 using the 'GetArgs' type family. 'KnownPolytype' turns every bound variable into a 'TypeSchemeAll'.
 We extract variables from the type of the Haskell denotation using the 'ToBinds' type family
 (in particular, see the @ToBinds (TypeScheme term args res)@ type instances). Variables are

diff --git a/plutus-core/src/Language/PlutusCore/TypeCheck/Internal.hs b/plutus-core/src/Language/PlutusCore/TypeCheck/Internal.hs
@@ -119,7 +119,7 @@ runTypeCheckM config a =
 withTyVar :: TyName -> Kind () -> TypeCheckM uni fun cfg err a -> TypeCheckM uni fun cfg err a
 withTyVar name = local . over tceTyVarKinds . insertByName name
 
--- | Look up th type of a built-in function.
+-- | Look up the type of a built-in function.
 lookupBuiltinM
     :: (AsTypeError err term uni fun ann, HasTypeCheckConfig cfg uni fun, Ix fun)
     => ann -> fun -> TypeCheckM uni fun cfg err (Normalized (Type TyName uni ()))